Rust 团队很高兴宣布 Rust 的新版本 1.42.0。Rust 是一种编程语言,它使每个人都能构建可靠且高效的软件。
如果您之前通过 rustup 安装了 Rust,获取 Rust 1.42.0 就像
$ rustup update stable
如果您还没有,您可以从我们网站上的相应页面获取 rustup
,并查看 GitHub 上的1.42.0 的详细发布说明。
1.42.0 稳定版中的内容
Rust 1.42.0 的亮点包括:在 unwrap
时更实用的恐慌消息、子切片模式、Error::description
的弃用等等。查看详细的发布说明以了解本文未涵盖的其他更改。
Option
和 Result
恐慌消息中的有用行号
在 Rust 1.41.1 中,在 Option::None
值上调用 unwrap()
会产生类似于以下的错误消息
thread 'main' panicked at 'called `Option::unwrap()` on a `None` value', /.../src/libcore/macros/mod.rs:15:40
类似地,由 unwrap_err
、expect
和 expect_err
生成的恐慌消息中的行号,以及 Result
类型上的对应方法,也引用了 core
内部。
在 Rust 1.42.0 中,所有这八个函数都产生提供调用它们的代码行的恐慌消息。新的错误消息看起来像这样
thread 'main' panicked at 'called `Option::unwrap()` on a `None` value', src/main.rs:2:5
这意味着对 unwrap
的无效调用位于 src/main.rs
的第 2 行。
这种行为是通过注释 #[track_caller]
实现的。此注释在稳定版 Rust 中尚不可用;如果您有兴趣在自己的代码中使用它,您可以通过关注此跟踪问题来跟踪其进展。
子切片模式
在 Rust 1.26 中,我们稳定了"切片模式",它允许您对切片进行 match
。它们看起来像这样
fn foo(words: &[&str]) {
match words {
[] => println!("empty slice!"),
[one] => println!("one element: {:?}", one),
[one, two] => println!("two elements: {:?} {:?}", one, two),
_ => println!("I'm not sure how many elements!"),
}
}
这允许您对切片进行匹配,但相当有限。您必须选择要支持的精确大小,并且必须有一个通配符分支来处理您不想支持的大小。
在 Rust 1.42 中,我们扩展了对匹配切片部分的支持
fn foo(words: &[&str]) {
match words {
["Hello", "World", "!", ..] => println!("Hello World!"),
["Foo", "Bar", ..] => println!("Baz"),
rest => println!("{:?}", rest),
}
}
..
被称为“剩余模式”,因为它匹配切片的剩余部分。上面的示例在切片末尾使用了剩余模式,但您也可以以其他方式使用它
fn foo(words: &[&str]) {
match words {
// Ignore everything but the last element, which must be "!".
[.., "!"] => println!("!!!"),
// `start` is a slice of everything except the last element, which must be "z".
[start @ .., "z"] => println!("starts with: {:?}", start),
// `end` is a slice of everything but the first element, which must be "a".
["a", end @ ..] => println!("ends with: {:?}", end),
rest => println!("{:?}", rest),
}
}
如果您有兴趣了解更多信息,我们发布了一篇关于 Inside Rust 博客的文章,讨论了这些更改以及我们将来可能引入稳定版的模式匹配的更多改进!您还可以阅读Thomas Hartmann 的文章,了解更多关于切片模式的信息。
matches!
Rust 的此版本稳定了一个新的宏,matches!
。此宏接受一个表达式和一个模式,如果模式与表达式匹配,则返回 true。换句话说
// Using a match expression:
match self.partial_cmp(other) {
Some(Less) => true,
_ => false,
}
// Using the `matches!` macro:
matches!(self.partial_cmp(other), Some(Less))
您还可以使用 |
模式和 if
保护等功能
let foo = 'f';
assert!(matches!(foo, 'A'..='Z' | 'a'..='z'));
let bar = Some(4);
assert!(matches!(bar, Some(x) if x > 2));
use proc_macro::TokenStream;
现在可以工作了
在 Rust 2018 中,我们删除了对 extern crate
的需求。但是过程宏有点特殊,因此当您编写过程宏时,您仍然需要说 extern crate proc_macro;
。
在此版本中,如果您使用 Cargo,在使用 2018 版时,您不再需要此行;您可以像使用任何其他板条箱一样使用 use
。鉴于大多数项目已经有一行类似于 use proc_macro::TokenStream;
的代码,此更改意味着您可以删除 extern crate proc_macro;
行,并且您的代码仍然可以工作。此更改很小,但使过程宏更接近于普通代码。
库
iter::Empty<T>
现在对任何T
都实现了Send
和Sync
。Pin::{map_unchecked, map_unchecked_mut}
不再要求返回类型实现Sized
。io::Cursor
现在实现了PartialEq
和Eq
。Layout::new
现在是const
。
稳定版 API
CondVar::wait_while
&CondVar::wait_timeout_while
DebugMap::key
&DebugMap::value
ManuallyDrop::take
ptr::slice_from_raw_parts_mut
&ptr::slice_from_raw_parts
其他更改
Rust 1.42.0 版本中还有其他更改:查看Rust、Cargo 和Clippy 中的更改。
兼容性说明
此版本有两个值得注意的兼容性说明:标准库中的弃用以及 32 位 Apple 目标降级为第 3 层。
Error::Description 已弃用
有时会犯错误。Error::description
方法现在被认为是这些错误之一。问题在于它的类型签名
fn description(&self) -> &str
由于 description
返回一个 &str
,因此它不像我们希望的那样有用。这意味着您基本上需要逐字返回 Error
的内容;如果您想使用格式化来生成更好的描述,这是不可能的:您需要返回一个 String
。相反,错误类型应该实现 Display
/Debug
特性以提供错误的描述。
此 API 自 Rust 1.0 以来一直存在。我们一直在努力实现这一目标:早在 Rust 1.27 中,我们"软弃用"了此方法。在实践中,这意味着我们为该函数提供了一个默认实现。这意味着用户在实现 Error
特性时不再被迫实现此方法。在此版本中,我们将其标记为实际弃用,并采取了一些措施来淡化 Error
文档中的此方法。由于我们的稳定性策略,description
永远不会被删除,因此这是我们能做到的极限。
降级 32 位 Apple 目标
Apple 不再支持 32 位目标,因此我们也不支持。它们已被项目降级为第 3 层支持。有关此问题的更多详细信息,请查看这篇 1 月份的文章,其中详细介绍了所有内容。
1.42.0 的贡献者
许多人共同创建了 Rust 1.42.0。没有你们,我们无法做到。感谢!