宣布 Rust 1.58.0

2022 年 1 月 13 日 · Rust 发布团队

Rust 团队很高兴宣布 Rust 的新版本 1.58.0。Rust 是一种编程语言,它使每个人都能构建可靠高效的软件。

如果您之前已通过 rustup 安装了 Rust,获取 Rust 1.58.0 就像这样简单:

$ rustup update stable

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

1.58.0 稳定版中的内容

Rust 1.58 带来了格式字符串中的捕获标识符,对 Windows 上 Command 搜索路径的更改,标准库中更多 #[must_use] 注释,以及一些新的库稳定化。

格式字符串中的捕获标识符

格式字符串现在可以通过在字符串中写入 {ident} 来简单地捕获参数。格式长期以来一直接受位置参数(可选地按索引)和命名参数,例如

println!("Hello, {}!", get_person());                // implicit position
println!("Hello, {0}!", get_person());               // explicit index
println!("Hello, {person}!", person = get_person()); // named

现在命名参数也可以从周围作用域捕获,例如

let person = get_person();
// ...
println!("Hello, {person}!"); // captures the local `person`

这也可以用于格式化参数

let (width, precision) = get_format();
for (name, score) in get_scores() {
  println!("{name}: {score:width$.precision$}");
}

格式字符串只能捕获普通标识符,不能捕获任意路径或表达式。对于更复杂的参数,请先将它们分配给一个局部名称,或者使用旧的 name = expression 样式的格式化参数。

此功能适用于所有接受格式字符串的宏。但是,一个特例是 2015 和 2018 版本中的 panic! 宏,其中 panic!("{ident}") 仍然被视为未格式化的字符串——编译器会警告此操作没有达到预期效果。由于 2021 版本更新了 panic 宏以实现改进的一致性,因此在 2021 panic! 中按预期工作。

缩减的 Windows Command 搜索路径

在 Windows 目标上,std::process::Command 将不再搜索当前目录以查找可执行文件。这种效果归因于 win32 CreateProcess API 的历史行为,因此 Rust 实际上按以下顺序搜索

  1. (Rust 特定)如果子进程的 PATH 环境变量被显式更改,则列在其中的目录。
  2. 应用程序加载的目录。
  3. 父进程的当前目录。
  4. 32 位 Windows 系统目录。
  5. 16 位 Windows 系统目录。
  6. Windows 目录。
  7. PATH 环境变量中列出的目录。

但是,使用当前目录会导致令人惊讶的结果,甚至在处理不受信任的目录时会导致恶意行为。例如,ripgrep 在了解到他们的子进程可以通过这种方式被拦截后发布了CVE-2021-3013。即使是微软自己的 PowerShell 也记录他们出于安全考虑不使用当前目录。

Rust 现在执行自己的搜索,不包括当前目录,也不包括旧的 16 位目录,因为没有 API 可以发现其位置。因此,Rust 在 Windows 上的新的 Command 搜索顺序为

  1. 子进程的 PATH 环境变量中列出的目录。
  2. 应用程序加载的目录。
  3. 32 位 Windows 系统目录。
  4. Windows 目录。
  5. PATH 环境变量中列出的目录。

非 Windows 目标继续使用其平台特定的行为,通常只考虑子进程或父进程的 PATH 环境变量。

标准库中更多 #[must_use]

当未能显式考虑类型或函数或其输出几乎肯定是一个错误时,可以将 #[must_use] 属性应用于类型或函数。这长期以来一直用于标准库中的类型,例如 Result,它应该检查错误条件。这也有助于发现错误,例如期望函数就地修改值,而实际上它返回了一个新值。

提案 35 于 2021 年 10 月获批,以审核和扩展 #[must_use] 在整个标准库中的应用,涵盖更多主要效果是返回值的函数。这类似于函数纯度的概念,但比真正的语言特性更宽松。其中一些补充内容出现在 1.57.0 版本中,现在在 1.58.0 版本中,这项工作已经完成。

稳定化的 API

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

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

其他更改

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

1.58.0 的贡献者

许多人共同创建了 Rust 1.58.0。没有你们,我们无法做到。 感谢!