前言
本系列文章为介绍Rust更新的各版本特性。从当前版本开始往后更新。
本期内容是Rust 1.65.0的新版本特新，包括
- 泛型关联类型
- let-else语句
- break标记语法
等内容，当然本次更新还有一个特性，就是差分Linux调试信息，由于我目前还是在Windows环境下进行编程，就不写这部分内容了，如果你感兴趣，可以去更新文档研究研究。
更新Rust
如果你还没有更新rust，那么就运行以下命令来更新你的rust。
rustup update stable
如果你的版本是nightly，那么请运行以下命令进行更新
rustup default nightly
如果你的版本是beta版本，请运行以下命令进行更新
rustup default beta
高于此版本不用更新
一、泛型关联类型
现在可以在关联类型上定义生存期、类型和常量泛型，如下所示：
trait Foo { type Bar<'x>; }
类似生成器的trait，可以从Self借用泛型关联类型
trait LendingIterator { type Item<'a> where Self: 'a; fn next<'a>(&'a mut self) -> Option<Self::Item<'a>>; }
可以在智能指针（如“Rc”或“Arc”）上实现，以便允许在指针类型上使用泛型
trait PointerFamily { type Pointer<T>: Deref<Target = T>; fn new<T>(value: T) -> Self::Pointer<T>; }
允许借用数组。对于类似“NdArray”的类型非常有用，这些类型不必连续存储数据。
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>; }
二、let-else语句
let-else语法格式
let PATTERN: TYPE = EXPRESSION else { DIVERGING_CODE; };
note：
PATTERN：变量名
TYPE：类型
EXPRESSION：表达式
DIVERGING_CODE：代码
正常的语句只能使用静态的、已知的模式来匹配返回的结构、元组等，现在可以在模式不匹配时进行处理
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 (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标记语法
在很多常规代码中，你可能见过使用了一个循环，仅仅是为了获取一个标记，这就使得代码变得很复杂。Rust专门针对这个问题退出了一个语言功能，标记也可以包含一个表达式值，就像循环一样，让多语句块可以提前返回值。
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 };
在之前的Rust中，是支持break指定标记的，用来消除循环中的歧义，如下所示
fn main() { let mut count = 0; 'counting_up: loop { println!("count = {count}"); let mut remaining = 10; loop { println!("remaining = {remaining}"); if remaining == 9 { break; } if count == 2 { break 'counting_up; } remaining -= 1; } count += 1; } println!("End count = {count}"); }
通过有标记的break可以很轻松的消除break在代码中的歧义，否则break的时候就要靠程序员的经验了。
总结
以上内容就是Rust 1.65.0更新的主要内容了，很明显我也是一知半解，所以在这里占个坑，这些知识在用的时候才会起到作用。
