Rust自引用结构体的借用检查器报错原因咨询

问题场景与代码 #

作为Rust新手，我在练习Advent of Code题目时遇到了借用检查器报错，以下是最小可复现代码：

use std::marker::PhantomData;

struct Foo<'a, 'b: 'a> {
    x: Vec<Thing<'b>>,
    y: Vec<&'a Thing<'b>>,
}

#[derive(Default)]
struct Thing<'b> {
    phantom: PhantomData<&'b Thing<'b>>,
}

impl<'a, 'b> Foo<'a, 'b> {
    fn new() -> Self {
        let thing: Thing = Default::default();
        let x: Vec<Thing> = vec![thing];
        let mut foo = Foo { x, y: vec![] };
        foo.y.push(&foo.x[0]);
        foo
    }
}

我的设计意图是让Foo包含两个向量：一个存储Thing实例，另一个存储指向这些Thing的引用。我设置了生命周期约束'b: 'a，想确保Thing的生命周期长于引用的生命周期，且所有数据生命周期不短于Foo本身，但编译时触发了如下报错：

move out of `foo` occurs here (last line)
returning this value requires that `foo.x` is borrowed for `'a`
error[E0515]: cannot return value referencing local data `foo.x`
...
returns a value referencing data owned by the current function

我的疑问是：既然引用指向Foo自身拥有的Vec<Thing>，那数据是否真的属于当前函数？我知道可以用Rc解决，但觉得这个简单场景下过于繁琐，希望得到本质原因的解释。

报错原因解析 #

核心问题在于Rust的所有权模型不允许直接创建自引用结构体，哪怕引用指向的是结构体自身拥有的数据。

你可能会觉得，y里的引用指向的是x中的Thing，而x是Foo的一部分，整个Foo被返回后，x和y应该一起存在，但借用检查器不认可这种逻辑：

• 当你返回foo时，会发生所有权移动——foo原本是函数内的局部变量，移动到函数外部后，它在内存中的位置可能发生变化（比如Vec的底层存储可能被重新分配，或者整个Foo结构体被拷贝到调用栈的上层）。
• y中的引用是指向foo.x当前内存地址的指针，如果Foo被移动，x的内存地址改变，这些引用就会变成悬垂引用，这是Rust绝对禁止的。
• 你设置的生命周期约束'b: 'a其实没起作用，因为这里的矛盾不是生命周期长短的问题，而是引用的指向会随着结构体移动而失效，生命周期参数无法描述这种“结构体内部引用与自身的绑定关系”。

报错提示“引用了当前函数拥有的数据”，是因为在函数返回前，foo是函数的局部变量，foo.x自然属于函数所有；而你试图返回的foo里包含了指向foo.x的引用，借用检查器认为这个引用的生命周期被限制在函数内部，无法随foo一起存活到外部。

替代方案（无需Rc） #

如果不想用Rc，可以考虑：

• 调整设计，避免自引用：比如让y存储索引而非引用，需要访问时通过x[index]获取，这样就不存在引用失效的问题。
• 使用Pin来固定结构体的内存位置，确保移动时地址不变，但Pin的使用复杂度较高，适合对内存布局有明确控制需求的场景，对于简单场景来说，用索引替代引用往往更直接。

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