Rust 1.36.0 发布 | Rust 博客

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

如果你之前通过 rustup 安装了 Rust，那么获取 Rust 1.36.0 非常简单，只需运行：

$ rustup update stable

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

1.36.0 稳定版的新特性

此版本带来了许多更改，包括稳定了 Future trait，alloc crate，MaybeUninit<T> 类型，Rust 2015 的 NLL，一个新的 HashMap<K, V> 实现，以及 Cargo 中的 --offline 支持。请继续阅读以了解一些亮点，或查看详细的发布说明以获取更多信息。

`Future` 来了！

在 Rust 1.36.0 中，期待已久的 Future trait 已经稳定了！

通过这次稳定，我们希望让重要的 crate、库和生态系统有时间为 async / .await 做准备，我们将在未来告诉你更多关于它们的信息。

`alloc` crate 是稳定的

在 1.36.0 之前，标准库由 std、core 和 proc_macro crate 组成。core crate 提供了诸如 Iterator 和 Copy 之类的核心功能，并且可以在 #![no_std] 环境中使用，因为它不施加任何要求。同时，std crate 提供了诸如 Box<T> 和操作系统功能之类的类型，但作为回报，它需要全局分配器和其他操作系统功能。

从 Rust 1.36.0 开始，std 中依赖全局分配器的部分，例如 Vec<T>，现在可以在 alloc crate 中使用。然后 std crate 重新导出这些部分。虽然使用 alloc 的 #![no_std] *二进制文件* 仍然需要 nightly Rust，但 #![no_std] *库* crate 可以在稳定的 Rust 中使用 alloc crate。同时，没有 #![no_std] 的普通二进制文件可以依赖于此类库 crate。我们希望这将有助于在稳定支持使用 alloc 的 #![no_std] 二进制文件之前，开发一个 #![no_std] 兼容的库生态系统。

如果你是一个仅依赖于某些分配原语才能运行的库的维护者，请考虑通过在你的 lib.rs 文件顶部使用以下内容，使你的库与 #[no_std] 兼容

#![no_std]

extern crate alloc;

use alloc::vec::Vec;

使用 `MaybeUninit<T>` 而不是 `mem::uninitialized`

在以前版本的 Rust 中，mem::uninitialized 函数允许你通过假装你已经在类型 T 处初始化了一个值而不做任何事情来绕过 Rust 的初始化检查。此函数的主要用途之一是延迟分配数组。

但是，mem::uninitialized 是一种非常危险的操作，基本上不能正确使用，因为 Rust 编译器假设值已正确初始化。例如，调用 mem::uninitialized::<bool>() 会导致*瞬间的**未定义行为**，因为从 Rust 的角度来看，未初始化的位既不是 0（对于 false）也不是 1（对于 true） - bool 仅有的两个允许的位模式。

为了补救这种情况，在 Rust 1.36.0 中，类型 MaybeUninit<T> 已经被稳定了。Rust 编译器将理解它不应假设 MaybeUninit<T> 是一个正确初始化的 T。因此，你可以更安全地进行渐进式初始化，并在你确定 maybe_t: MaybeUninit<T> 包含一个初始化的 T 后最终使用 .assume_init()。

由于 MaybeUninit<T> 是更安全的替代方案，因此从 Rust 1.39 开始，函数 mem::uninitialized 将被弃用。

要了解有关未初始化内存、mem::uninitialized 和 MaybeUninit<T> 的更多信息，请阅读 Alexis Beingessner 的博客文章。标准库还包含有关 MaybeUninit<T> 的大量文档。

Rust 2015 的 NLL

在 Rust 1.31.0 的公告中，我们告诉了你有关 NLL（非词法生命周期）的信息，这是对语言的改进，它使借用检查器更智能、更用户友好。例如，你现在可以编写：

fn main() {
    let mut x = 5;
    let y = &x;
    let z = &mut x; // This was not allowed before 1.31.0.
}

在 1.31.0 中，NLL 仅针对 Rust 2018 稳定，并承诺我们也会将其移植到 Rust 2015。在 Rust 1.36.0 中，我们很高兴地宣布我们已经做到了！NLL 现在可用于 Rust 2015。

在两个版本上都使用 NLL 后，我们更接近于删除旧的借用检查器。但是，旧的借用检查器不幸地接受了一些不健全的代码，它本不应该接受。因此，NLL 目前处于“迁移模式”，如果 NLL 借用检查器拒绝旧的 AST 借用检查器会接受的代码，我们将发出警告而不是错误。请参阅受影响的公共 crate 的此列表。

要了解有关 NLL、MIR、修复健全性漏洞的故事以及如果你收到警告该如何处理的更多信息，请阅读 Felix Klock 的博客文章。

一个新的 `HashMap<K, V>` 实现

在 Rust 1.36.0 中，HashMap<K, V> 的实现已替换为 hashbrown crate 中的实现，该实现基于 SwissTable 设计。虽然接口相同，但现在 HashMap<K, V> 的实现平均更快，并且内存开销更低。请注意，与 hashbrown crate 不同，std 中的实现仍然默认为 SipHash 1-3 哈希算法。

Cargo 中的 `--offline` 支持

在大多数构建过程中，Cargo 不会与网络交互。但是，有时 Cargo 必须这样做。例如，当添加依赖项时，需要下载最新的兼容版本。有时，网络访问不是一种选择，例如在飞机上或在隔离的构建环境中。

在 Rust 1.36 中，稳定了一个新的 Cargo 标志：--offline。该标志会更改 Cargo 的依赖项解析算法，使其仅使用本地缓存的依赖项。当所需的 crate 在离线时不可用，并且需要网络访问时，Cargo 将退出并显示错误。要预先填充本地缓存以准备离线，请使用 cargo fetch 命令，该命令会下载项目所需的所有依赖项。

要了解有关 --offline 和 cargo fetch 的更多信息，请阅读 Nick Cameron 的博客文章。

有关 Cargo 的其他更改的信息，请参阅详细的发布说明。

库更改

dbg! 宏现在支持多个参数。

此外，许多 API 已被设置为 const

新的 API 已变得稳定，包括

其他库更改可在详细的发布说明中找到。

其他更改

详细的 1.36.0 发布说明可用于 Rust，Cargo 和 Clippy。

1.36.0 的贡献者

许多人齐心协力创建了 Rust 1.36.0。没有你们大家，我们不可能做到这一点。谢谢！

1.36.0 稳定版的新特性

Future 来了！

alloc crate 是稳定的

使用 MaybeUninit<T> 而不是 mem::uninitialized