宣布 Rust 1.59.0

2022 年 2 月 24 日 · Rust 团队

Rust 团队发布了 Rust 的新版本 1.59.0。Rust 是一种编程语言，它赋予每个人构建可靠高效软件的能力。

今天的发布恰逢普京军队突然入侵乌克兰，全世界都在关注这一事件。在详细介绍 Rust 新版本之前，我们想声明我们与乌克兰人民站在一起，并表达我们对受这场冲突影响的所有人的支持。

如果您之前通过 rustup 安装了 Rust 的旧版本，可以使用以下命令获取 1.59.0

$ rustup update stable

如果您还没有安装，可以从我们网站上的相应页面获取 rustup，并查看 GitHub 上的1.59.0 的详细发布说明。

1.59.0 稳定版中的新功能

内联汇编

Rust 语言现在支持内联汇编。这使得许多需要对执行进行非常低级控制或访问专用机器指令的应用程序成为可能。

例如，在为 x86-64 目标编译时，您现在可以编写

use std::arch::asm;

// Multiply x by 6 using shifts and adds
let mut x: u64 = 4;
unsafe {
    asm!(
        "mov {tmp}, {x}",
        "shl {tmp}, 1",
        "shl {x}, 2",
        "add {x}, {tmp}",
        x = inout(reg) x,
        tmp = out(reg) _,
    );
}
assert_eq!(x, 4 * 6);

在 asm! 和 global_asm! 宏中用于命名寄存器的格式字符串语法与 Rust 格式字符串 中使用的语法相同，因此对于 Rust 程序员来说应该很熟悉。

内联汇编中可用的汇编语言和指令因目标架构而异。今天，稳定的 Rust 编译器在以下架构上支持内联汇编

  • x86 和 x86-64
  • ARM
  • AArch64
  • RISC-V

您可以在Rust By Example 中查看更多内联汇编示例，并在参考 中找到更详细的文档。

解构赋值

您现在可以使用元组、切片和结构体模式作为赋值的左侧。

let (a, b, c, d, e);

(a, b) = (1, 2);
[c, .., d, _] = [1, 2, 3, 4, 5];
Struct { e, .. } = Struct { e: 5, f: 3 };

assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);

这使得赋值与 let 绑定更加一致，后者长期以来一直支持相同的功能。请注意，不允许使用 += 等运算符进行解构赋值。

常量泛型默认值和交错

泛型类型现在可以为其常量泛型指定默认值。例如，您现在可以编写以下代码

struct ArrayStorage<T, const N: usize = 2> {
    arr: [T; N],
}

impl<T> ArrayStorage<T> {
    fn new(a: T, b: T) -> ArrayStorage<T> {
        ArrayStorage {
            arr: [a, b],
        }
    }
}

以前，类型参数必须出现在所有常量参数之前。该限制现已放宽，您现在可以将它们交错排列。

fn cartesian_product<
    T, const N: usize,
    U, const M: usize,
    V, F
>(a: [T; N], b: [U; M], f: F) -> [[V; N]; M]
where
    F: FnMut(&T, &U) -> V
{
    // ...
}

未来不兼容警告

有时，Rust 编译器中的错误会导致它接受不应该接受的代码。一个例子是允许在安全代码中借用打包结构体字段。

虽然这种情况很少发生，但当您的项目使用的 crate 包含不再允许的代码时，它可能会造成很大的破坏。事实上，您可能直到您的项目莫名其妙地停止构建时才会注意到！

Cargo 现在会在依赖项被 Rust 的未来版本拒绝时向您显示警告。在运行 cargo build 或 cargo check 后，您可能会看到

warning: the following packages contain code that will be rejected by a future version of Rust: old_dep v0.1.0
note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`

您可以运行警告中提到的 cargo report 命令来查看将被拒绝的代码的完整报告。这使您有时间在依赖项破坏您的构建之前升级它。

创建剥离的二进制文件

从您分发的二进制文件中剥离不必要的调试信息（如调试信息）通常很有用，这可以使它们更小。

虽然一直以来都可以手动在二进制文件创建后执行此操作，但 cargo 和 rustc 现在在链接二进制文件时支持剥离。要启用此功能，请将以下内容添加到您的 Cargo.toml 中

[profile.release]
strip = "debuginfo"

这会导致从发布版二进制文件中剥离调试信息。您也可以提供 "symbols" 或仅 true 来剥离所有支持的符号信息。

标准库通常附带调试符号和行级调试信息，因此在没有启用调试符号的情况下构建的 Rust 二进制文件默认情况下仍然包含来自标准库的调试信息。使用 strip 选项可以删除这些额外的信息，从而生成更小的 Rust 二进制文件。

有关更多详细信息，请参阅Cargo 的文档。

增量编译默认情况下关闭

1.59.0 版本默认情况下禁用了增量编译（除非通过环境变量明确要求：RUSTC_FORCE_INCREMENTAL=1）。这可以减轻已知错误#94124的影响，该错误会导致在启用增量编译的情况下编译时出现反序列化错误（和恐慌）。

针对#94124 的具体修复已完成，目前已包含在 1.60 beta 版中，该版本将在六周后发布。我们目前没有发现其他问题会导致我们决定在 1.60 稳定版中禁用增量编译，如果没有任何问题出现，1.60 稳定版很可能会重新启用增量编译。增量编译在 beta 版和 nightly 版中仍然默认启用。

与往常一样，我们鼓励用户在 nightly 版和 beta 版中进行测试并报告您发现的问题：对于增量错误，这是确保 Rust 团队能够判断是否存在故障以及受影响的用户数量的最佳方式。

稳定化的 API

以下方法和特征实现现在已稳定

以下以前稳定的函数现在是 const

其他更改

Rust 1.59.0 版本中还有其他更改。查看Rust、Cargo 和Clippy 中的更改。

1.59.0 的贡献者

许多人共同创建了 Rust 1.59.0。没有你们，我们不可能做到。 感谢！