Rust 1.3 發布，新的子字符串匹配算法

Rust 是 Mozilla 的一個新的編程語言，由web語言的領軍人物Brendan Eich（js之父），Dave Herman以及Mozilla公司的Graydon Hoare 合力開發。

創建這個新語言的目的是為了解決一個很頑疾的問題：軟件的演進速度大大低于硬件的演進，軟件在語言級別上無法真正利用多核計算帶來的性能提升。Rust是針對多核體系提出的語言，并且吸收一些其他動態語言的重要特性，比如不需要管理內存，比如不會出現Null指針等等。

特點：

• 零成本的抽象

• 移動語義

• 保證內存安全

• 線程沒有數據競爭

• trait-based泛型

• 模式匹配

• 類型推斷

• 最小運行時

• 高效的C綁定

Rust 1.3 發布，該版本最顯著的變化是 announcement API 的穩定性及性能的提升。此外，還有新的子字符串匹配算法，一個快速的 zero-filling 方法用于初始化和調整向量，提升了 Read::read_to_end 函數的速度（via lwn.net）  。

Rust 1.3發行日志的更新列表如下：

Highlights

• The new object lifetime defaults have been turned on after a cycle of warnings about the change. Now types like &'a Box<Trait> (or &'a Rc<Trait>, etc) will change from being interpreted as &'a Box<Trait+'a> to &'a Box<Trait+'static>.

• The Rustonomicon is a new book in the official documentation that dives into writing unsafe Rust.

• The Duration API, has been stabilized. This basic unit of timekeeping is employed by other std APIs, as well as out-of-tree time crates.

Breaking Changes

• The new object lifetime defaults have been turned on after a cycle of warnings about the change.

• There is a known regression in how object lifetime elision is interpreted, the proper solution for which is undetermined.

• The #[prelude_import] attribute, an internal implementation detail, was accidentally stabilized previously. It has been put behind the prelude_import feature gate. This change is believed to break no existing code.

• The behavior of size_of_val and align_of_val ismore sane for dynamically sized types. Code that relied on the previous behavior is thought to be broken.

• The dropck rules, which checks that destructors can't access destroyed values, have been updated to match theRFC. This fixes some soundness holes, and as such will cause some previously-compiling code to no longer build.

Language

• The new object lifetime defaults have been turned on after a cycle of warnings about the change.

• Semicolons may now follow types and paths in macros.

• The behavior of size_of_val and align_of_val ismore sane for dynamically sized types. Code that relied on the previous behavior is not known to exist, and suspected to be broken.

• 'static variables may now be recursive.

• ref bindings choose between Deref and DerefMutimplementations correctly.

• The dropck rules, which checks that destructors can't access destroyed values, have been updated to match theRFC.

Libraries

• The Duration API, has been stabilized, as well as thestd::time module, which presently contains only Duration.

• Box<str> and Box<[T]> both implement Clone.

• The owned C string, CString, implements Borrow and the borrowed C string, CStr, implements ToOwned. The two of these allow C strings to be borrowed and cloned in generic code.

• CStr implements Debug.

• AtomicPtr implements Debug.

• Error trait objects can be downcast to their concrete typesin many common configurations, using the is, downcast,downcast_ref and downcast_mut methods, similarly to theAny trait.

• Searching for substrings now employs the two-way algorithminstead of doing a naive search. This gives major speedups to a number of methods, including contains, find,rfind, split. starts_with andends_with are also faster.

• The performance of PartialEq for slices is much faster.

• The Hash trait offers the default method, hash_slice, which is overridden and optimized by the implementations for scalars.

• The Hasher trait now has a number of specialized write_*methods for primitive types, for efficiency.

• The I/O-specific error type, std::io::Error, gained a set of methods for accessing the 'inner error', if any: get_ref,get_mut, into_inner. As well, the implementation of std::error::Error::cause also delegates to the inner error.

• process::Child gained the id method, which returns au32 representing the platform-specific process identifier.

• The connect method on slices is deprecated, replaced by the newjoin method (note that both of these are on the unstableSliceConcatExt trait, but through the magic of the prelude are available to stable code anyway).

• The Div operator is implemented for Wrapping types.

• DerefMut is implemented for String.

• Performance of SipHash (the default hasher for HashMap) isbetter for long data.

• AtomicPtr implements Send.

• The read_to_end implementations for Stdin and Fileare now specialized to use uninitalized buffers for increased performance.

• Lifetime parameters of foreign functions are now resolved properly.

Misc

• Rust can now, with some coercion, produce programs that run on Windows XP, though XP is not considered a supported platform.

• Porting Rust on Windows from the GNU toolchain to MSVC continues (1, 2, 3, 4). It is still not recommended for use in 1.3, though should be fully-functional in the 64-bit 1.4 beta.

• On Fedora-based systems installation will properly configure the dynamic linker.

• The compiler gained many new extended error descriptions, which can be accessed with the --explain flag.

• The dropck pass, which checks that destructors can't access destroyed values, has been rewritten. This fixes some soundness holes, and as such will cause some previously-compiling code to no longer build.

• rustc now uses LLVM to write archive files where possible. Eventually this will eliminate the compiler's dependency on the ar utility.

• Rust has preliminary support for i686 FreeBSD (it has long supported FreeBSD on x86_64).

• The unused_mut, unconditional_recursion,improper_ctypes, and negate_unsigned lints are more strict.

• If landing pads are disabled (with -Z no-landing-pads), panic!will kill the process instead of leaking.

更多內容可查看：Rust-1.3。

來自：http://www.oschina.net/news/66299/rust-1-3