Rust生命周期报错疑问：两段逻辑合法代码为何触发编译错误？

第一段代码的问题 #

先看代码：

fn main() {
    let mut x = 5;
    let y = &mut x;

    *y += 1;

    println!("{}", x);
}

你遇到的x does not live long enough错误，本质是Rust旧版本借用检查器的限制。在Rust 1.31之前，借用检查器基于词法作用域工作：变量y的作用域从定义处一直延伸到函数末尾，意味着整个过程中x都被这个可变借用独占。虽然人类能看出y在*y += 1之后就没有任何使用了，但旧编译器只会认词法作用域范围，判定此时直接访问x违反了“同一时间不能存在可变借用和原变量访问”的规则，因此报错。

在Rust 1.31及以后，非词法生命周期（NLL） 特性稳定后，这段代码就能正常编译。NLL会分析变量的实际使用位点，而非死板的词法作用域，能识别出y的借用在*y +=1之后就结束了，此时访问x是安全的。

第二段代码的问题 #

代码片段：

let y: &i32;
let x = 5;
y = &x;

println!("{}", y);

这里的核心是Rust的变量销毁顺序规则：变量按照定义顺序的逆序销毁——先定义的变量后销毁，后定义的先销毁。

在这段代码里，y先定义，x后定义，所以x会比y更早被销毁。但y是指向x的引用，这就导致y持有了一个悬垂引用：当println!尝试访问y时，x已经被销毁，内存空间可能被回收或复用，这是严重的安全问题，因此编译器直接拒绝编译。

如果调整变量定义顺序，让x先于y定义：

let x = 5;
let y: &i32;
y = &x;

println!("{}", y);

此时x的生命周期覆盖了y的整个使用周期，引用安全，代码就能正常编译。

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