Rust生命周期疑问：重新赋值后为何仍受原变量生命周期约束？

核心原因：Rust数组的所有元素必须共享相同生命周期 #

你的代码问题根源在于Rust对数组类型的生命周期约束：数组中的每一个元素都必须拥有完全相同的生命周期。具体拆解如下：

1. 初始数组的生命周期
   你初始化point时用的是&19、&18这类字面量引用，它们的生命周期是'static（程序运行全程有效），所以此时point的类型是[&'static i32; 3]。

2. 赋值&x导致生命周期收缩
   当你执行point[1] = &x;时，x是块内的局部变量，生命周期仅存在于花括号内部（记为'x）。因为数组元素必须生命周期一致，Rust会自动将整个point的生命周期从'static调整为'x——相当于把数组的“有效期限”缩短到和x一样长。

3. 重新赋值无法恢复生命周期
   哪怕你之后把point[1]改回&10（同样是'static生命周期），但数组的整体生命周期已经被锁定为'x了。数组的类型（包括绑定的生命周期参数）一旦确定，后续赋值操作无法改变这个约束。

4. 块外使用触发错误
   当你在花括号外调用simple_fn(point)时，point的生命周期还是'x，但x已经在块结束时被销毁了。编译器判定你在使用一个引用了已销毁变量的数组，因此抛出E0597错误。

修复方案 #

方案1：不在块内赋值短生命周期的引用

如果不需要使用x的引用，直接去掉相关赋值行即可：

fn simple_fn(point: [&i32; 3]) -> (&i32, &i32) {
    (point[0], point[2])
}

fn main() {
    let mut point: [&i32; 3] = [&19, &18, &17];

    {
        point[1] = &10; // 直接赋值静态生命周期的引用
    }

    let t = simple_fn(point);
    println!("{:?}", t);
}

方案2：延长短生命周期变量的作用域

如果必须使用x的引用，把x的声明移到块外，让它的生命周期覆盖到后续使用point的地方：

fn simple_fn(point: [&i32; 3]) -> (&i32, &i32) {
    (point[0], point[2])
}

fn main() {
    let x = 3; // x的生命周期延长至main函数结束
    let mut point: [&i32; 3] = [&19, &18, &17];

    {
        point[1] = &x;
        point[1] = &10;
    }

    let t = simple_fn(point);
    println!("{:?}", t);
}

方案3：在块内完成短生命周期引用的使用

如果x的引用只需要在块内使用，就在块内完成相关操作，不要把数组带到块外：

fn simple_fn(point: [&i32; 3]) -> (&i32, &i32) {
    (point[0], point[2])
}

fn main() {
    let mut point: [&i32; 3] = [&19, &18, &17];

    {
        let x = 3;
        point[1] = &x;
        println!("块内使用x的引用：{}", point[1]); // 块内使用没问题
        point[1] = &10;
    }

    let t = simple_fn(point);
    println!("{:?}", t);
}

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