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

---

在深入了解新 Rust 版本的细节之前，我们想提请大家注意伊朗宗教道德警察对 玛莎·阿米尼的悲惨死亡 以及对许多其他人的死亡和暴力镇压。有关更多详细信息，请参阅 https://en.wikipedia.org/wiki/Mahsa_Amini_protests。我们与为争取人权而奋斗的伊朗人民站在一起。

---

如果您之前已通过 rustup 安装了 Rust，则可以使用以下命令获取 1.65.0

$ rustup update stable

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

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

1.65.0 稳定版中的内容

泛型关联类型 (GAT)

生命周期、类型和常量泛型现在可以在关联类型上定义，如下所示

trait Foo {
    type Bar<'x>;
}

很难用几句话来概括它们有多有用，所以这里有一些示例特征，让您了解它们的功能

/// An `Iterator`-like trait that can borrow from `Self`
trait LendingIterator {
    type Item<'a> where Self: 'a;

    fn next<'a>(&'a mut self) -> Option<Self::Item<'a>>;
}

/// Can be implemented over smart pointers, like `Rc` or `Arc`,
/// in order to allow being generic over the pointer type
trait PointerFamily {
    type Pointer<T>: Deref<Target = T>;

    fn new<T>(value: T) -> Self::Pointer<T>;
}

/// Allows borrowing an array of items. Useful for
/// `NdArray`-like types that don't necessarily store
/// data contiguously.
trait BorrowArray<T> {
    type Array<'x, const N: usize> where Self: 'x;

    fn borrow_array<'a, const N: usize>(&'a self) -> Self::Array<'a, N>;
}

如您所见，GAT 非常通用，并支持许多目前无法编写的模式。有关更多信息，请查看去年发布的宣布 稳定化推动 的帖子或上周发布的 稳定化公告帖子。前者更深入地介绍了上面几个示例，而后者则讨论了此稳定化的一些已知限制。

您可以在 nightly 参考 中的关联类型部分或 原始 RFC（最初是在 6.5 年前打开的！）中找到更深入的阅读材料。

let-else 语句

这引入了一种新的 let 语句类型，它具有可反驳的模式和一个发散的 else 块，当该模式不匹配时执行。

let PATTERN: TYPE = EXPRESSION else {
    DIVERGING_CODE;
};

普通的 let 语句只能使用不可反驳的模式，这些模式在静态上已知始终匹配。该模式通常只是一个变量绑定，但也可能解包复合类型，如结构体、元组和数组。但是，这对于条件匹配（如从枚举中提取变体）不可用——直到现在！使用 let-else，可反驳的模式可以像普通的 let 一样匹配并绑定周围范围内的变量，或者当模式不匹配时发散（例如 break、return、panic!）。

fn get_count_item(s: &str) -> (u64, &str) {
    let mut it = s.split(' ');
    let (Some(count_str), Some(item)) = (it.next(), it.next()) else {
        panic!("Can't segment count item pair: '{s}'");
    };
    let Ok(count) = u64::from_str(count_str) else {
        panic!("Can't parse integer: '{count_str}'");
    };
    (count, item)
}
assert_eq!(get_count_item("3 chairs"), (3, "chairs"));

名称绑定的范围是使它与 match 或 if let-else 表达式不同的主要因素。以前，您可以通过不幸的重复和外部 let 来近似这些模式

    let (count_str, item) = match (it.next(), it.next()) {
        (Some(count_str), Some(item)) => (count_str, item),
        _ => panic!("Can't segment count item pair: '{s}'"),
    };
    let count = if let Ok(count) = u64::from_str(count_str) {
        count
    } else {
        panic!("Can't parse integer: '{count_str}'");
    };

从带标签的块中 break

普通的块表达式现在可以作为 break 目标进行标记，从而提前终止该块。这听起来可能有点像 goto 语句，但它不是任意跳转，而只是从块内部跳转到其末尾。这在 loop 块中已经可以实现，您可能已经看到人们编写始终只执行一次的循环，只是为了获得带标签的 break。

现在有一个专门用于此的语言特性！带标签的 break 也可能包含一个表达式值，就像循环一样，让多语句块具有一个早期的“返回”值。

let result = 'block: {
    do_thing();
    if condition_not_met() {
        break 'block 1;
    }
    do_next_thing();
    if condition_not_met() {
        break 'block 2;
    }
    do_last_thing();
    3
};

拆分 Linux 调试信息

早在 Rust 1.51 中，编译器团队就添加了对 拆分调试信息 的支持，现在此选项在 Linux 上也已稳定可用。

• -Csplit-debuginfo=unpacked 将调试信息拆分为多个 .dwo DWARF 对象文件。
• -Csplit-debuginfo=packed 将生成一个 .dwp DWARF 包，与您的输出二进制文件一起，其中包含所有打包在一起的调试信息。
• -Csplit-debuginfo=off 仍然是默认行为，它在对象的 .debug_* ELF 部分和最终二进制文件中包含 DWARF 数据。

拆分 DWARF 使链接器能够避免处理调试信息（因为它不再位于正在链接的对象文件中），这可以加快链接时间！

其他目标现在也接受 -Csplit-debuginfo 作为具有其平台特定默认值的稳定选项，但指定其他值仍然不稳定。

稳定化的 API

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

• std::backtrace::Backtrace
• Bound::as_ref
• std::io::read_to_string
• <*const T>::cast_mut
• <*mut T>::cast_const

特别值得注意的是，Backtrace API 允许在任何时候捕获堆栈回溯，使用与通常用于恐慌回溯的相同平台特定实现。这可能对向错误类型添加运行时上下文很有用，例如。

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

• <*const T>::offset_from
• <*mut T>::offset_from

兼容性说明

• 作为 RLS 弃用 的最后一步，此版本已将 RLS 替换为一个显示弃用警告的小型 LSP 服务器，建议用户迁移到 rust-analyzer。

其他更改

Rust 1.65 版本中还有其他更改，包括

• MIR 内联现在已启用，用于优化编译。这为现实世界中的板条箱提供了 3-10% 的编译时间改进。
• 在调度构建时，Cargo 现在对挂起的作业队列进行排序，以提高性能。

查看 Rust、Cargo 和 Clippy 中的所有更改。

1.65.0 的贡献者

许多人共同创建了 Rust 1.65.0。没有你们，我们无法做到。 感谢！