宣布 Rust 1.63.0

2022 年 8 月 11 日 · Rust 发布团队

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

如果您通过 rustup 安装了旧版本的 Rust,可以使用以下命令获取 1.63.0

$ rustup update stable

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

如果您想通过测试未来版本来帮助我们,可以考虑更新本地版本以使用 beta 通道 (rustup default beta) 或 nightly 通道 (rustup default nightly)。请报告您遇到的任何错误!

1.63.0 稳定版中的新功能

作用域线程

自 1.0 版本以来,Rust 代码可以使用 std::thread::spawn 启动新线程,但此函数使用 'static 绑定其闭包。大致来说,这意味着线程目前必须拥有传递到其闭包中的任何参数的所有权;您不能将借用数据传递到线程中。在预期线程在函数结束时退出(通过 join())的情况下,这并非严格必要,并且可能需要使用将数据放置在 Arc 中的解决方法。

现在,在 1.63.0 中,标准库添加了作用域线程,这些线程允许从本地堆栈帧中借用数据来生成线程。 std::thread::scope API 提供了必要的保证,即任何生成的线程都将在自身返回之前退出,这允许安全地借用数据。以下是一个示例

let mut a = vec![1, 2, 3];
let mut x = 0;

std::thread::scope(|s| {
    s.spawn(|| {
        println!("hello from the first scoped thread");
        // We can borrow `a` here.
        dbg!(&a);
    });
    s.spawn(|| {
        println!("hello from the second scoped thread");
        // We can even mutably borrow `x` here,
        // because no other threads are using it.
        x += a[0] + a[2];
    });
    println!("hello from the main thread");
});

// After the scope, we can modify and access our variables again:
a.push(4);
assert_eq!(x, a.len());

Rust 对原始文件描述符/句柄的所有权(I/O 安全性)

以前,使用接受原始文件描述符(在类 Unix 平台上)或句柄(在 Windows 上)的平台 API 的 Rust 代码通常会直接使用描述符的平台特定表示(例如,c_int 或别名 RawFd)。对于此类本机 API 的 Rust 绑定,类型系统无法编码 API 是否会获取文件描述符的所有权(例如,close)还是仅仅借用它(例如,dup)。

现在,Rust 提供了包装类型,例如 BorrowedFdOwnedFd,它们被标记为 #[repr(transparent)],这意味着 extern "C" 绑定可以直接使用这些类型来编码所有权语义。有关 1.63 中稳定的包装类型的完整列表,请参阅稳定的 API 部分,目前,它们在 cfg(unix) 平台、Windows 和 WASI 上可用。

我们建议新 API 使用这些类型,而不是以前的类型别名(如 RawFd)。

const Mutex、RwLock、Condvar 初始化

Condvar::newMutex::newRwLock::new 函数现在可以在 const 上下文中调用,这可以避免使用 lazy_static 等箱子来创建具有 MutexRwLockCondvar 值的全局静态变量。这基于1.62 中的工作,以在 Linux 上启用更薄、更快的互斥锁。

带有 impl Trait 的函数中的泛型使用 turbofish

对于像 fn foo<T>(value: T, f: impl Copy) 这样的函数签名,通过 turbofish 指定 T 的具体类型是一个错误:foo::<u32>(3, 3) 会失败,并显示以下错误

error[E0632]: cannot provide explicit generic arguments when `impl Trait` is used in argument position
 --> src/lib.rs:4:11
  |
4 |     foo::<u32>(3, 3);
  |           ^^^ explicit generic argument not allowed
  |
  = note: see issue #83701 <https://github.com/rust-lang/rust/issues/83701> for more information

在 1.63 中,此限制已放宽,并且可以指定泛型的显式类型。但是,impl Trait 参数虽然反糖化为泛型,但仍然是不透明的,不能通过 turbofish 指定。

非词法生命周期迁移完成

正如这篇博文中所述,我们已从 rustc 中完全删除了以前的词法借用检查器,跨所有版本完全启用了非词法的新版本借用检查器。由于借用检查器不会影响 rustc 的输出,因此这不会改变任何程序的行为,但它完成了一个长期运行的迁移(从 NLL 的初始稳定版本开始,用于 2018 版本),以在所有版本的 Rust 中提供新借用检查器的全部优势。对于大多数用户来说,此更改将为某些借用检查错误带来略微更好的诊断,但不会影响他们可以编写的代码。

您可以在2018 版本公告的这一部分中阅读有关非词法生命周期的更多信息。

稳定的 API

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

这些 API 现在可以在 const 上下文中使用

其他更改

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

1.63.0 的贡献者

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