宣布 Rust 1.42.0

2020 年 3 月 12 日 · Rust 发布团队

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 的弃用等等。查看详细的发布说明以了解本文未涵盖的其他更改。

OptionResult 恐慌消息中的有用行号

在 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_errexpectexpect_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; 行,并且您的代码仍然可以工作。此更改很小,但使过程宏更接近于普通代码。

稳定版 API

其他更改

Rust 1.42.0 版本中还有其他更改:查看RustCargoClippy 中的更改。

兼容性说明

此版本有两个值得注意的兼容性说明:标准库中的弃用以及 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。没有你们,我们无法做到。感谢!