Rust循环中存在多个可变引用为何合法？所有权与生命周期疑问

你提到的这段Rust代码是完全合法的，核心原因可以从三个层面理解：

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

for value in &mut lst {
    *value += 1;
    *x += 1;
    x = value;
}

*x += 1;
println!("{:?}", &lst);

1. 不存在同时生效的多个可变引用 #

你担心的"同时持有两个元素的可变引用"情况并没有发生：

• 每次循环迭代生成的value是当前迭代元素的独占可变引用，当你执行x = value时，x中存储的上一次迭代的旧可变引用会被直接覆盖，生命周期立即结束。
• 任意时刻，整个程序最多只有一个指向lst元素的有效可变引用，完全符合Rust可变引用的别名禁止规则。

2. 可变迭代器的安全保证 #

for value in &mut lst本质是调用Vec的可变迭代器IterMut，Rust标准库的这个迭代器实现本身就经过严格的安全校验，保证每次返回的可变引用都指向不重叠的独立内存区域，不会出现两个可变引用指向同一块内存的情况，借用检查器默认认可这种访问的合法性。

3. 非词法生命周期(NLL)的精准校验 #

在Rust 2018版本引入NLL之前，旧的词法生命周期检查器确实会拒绝这段代码：旧检查器会认为x持有的可变引用生命周期覆盖了整个循环，导致下一次迭代的value和x的引用冲突。
但现在的Rust借用检查器会精准跟踪引用的实际使用范围：当旧的x值被覆盖后，对应的引用就没有任何使用场景，会被标记为失效，不会和后续新生成的引用产生冲突。循环结束后x持有的最后一个元素引用在*x +=1执行后也彻底失效，后续打印时的不可变借用&lst也不会产生冲突。
这段代码的运行结果为[2, 3, 5]，符合预期逻辑。

内容的提问来源于stack exchange，提问作者Kasra