为何在Rust中存储引用的嵌套结构体需指定生命周期？

首先得明确：Inner<'a>是一个带生命周期参数的泛型结构体，不是普通的结构体。就像你用Vec<T>必须指定具体的T类型才能创建实例一样，Inner必须指定具体的生命周期参数'a才能被用作其他结构体的字段类型——这是Rust泛型系统的基本要求。

你可能混淆了两个关键概念：结构体实例的生命周期（这个实例能存活多久）和结构体内部引用的生命周期（它引用的变量能存活多久）。这俩完全是独立的，Rust不会默认把它们绑定在一起，必须显式声明约束关系。

为什么编译器不能自动推断？ #

假设编译器允许你写struct Outer { inner: Inner }，它会面临一个无法解决的问题：Inner里的'a（也就是i的引用生命周期）和Outer实例的生命周期是什么关系？

• 如果默认让Outer的生命周期等于'a，那会允许写出悬垂引用的代码（比如下面这个反例）：

// 假设编译器允许Outer不写生命周期的错误场景
struct Inner<'a> {
    i: &'a i32
}

struct Outer {
    inner: Inner // 假设编译器默认绑定Outer的生命周期到'a
}

fn main() {
    let outer;
    {
        let x = 5;
        let inner = Inner { i: &x };
        outer = Outer { inner }; // outer的生命周期比x长，这里会把Inner的'a绑定到outer的生命周期，但x马上就要销毁了
    }
    println!("{}", outer.inner.i); // 访问已经销毁的x，这是未定义行为
}

• 如果默认让'a比Outer的生命周期更长，那又会限制很多合法场景（比如Outer引用一个和自己同生命周期的变量）。

Rust的设计原则是绝不做不安全的默认假设，所以它要求你必须显式写出Outer<'a> { inner: Inner<'a> }，这样就明确了约束：Outer实例的生命周期必须小于等于'a——也就是说，只要Outer还活着，它内部Inner引用的i就一定是有效的，从根源上避免了悬垂引用。

再理清楚逻辑关系 #

你以为“inner的生命周期和Outer一致，i的生命周期和inner一致”，但实际上：

1. Inner实例的生命周期确实和Outer实例一致（因为它是Outer的字段，Outer销毁时Inner也会销毁）；
2. 但Inner里的&'a i32的生命周期'a，是它引用的外部变量的生命周期，和Inner实例本身的生命周期没有必然联系；
3. 必须通过Outer<'a>把Outer的生命周期和'a绑定，告诉编译器：Outer不能活得比'a长，否则i的引用就会失效。

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