Rust迭代构建嵌套树结构时可变变量借用赋值错误求解

我要构建类树结构，用临时变量res收集引用，写的Rust代码如下：

pub enum JSb<'a, Item> {
    Start(Item),
    Move(Jbs<'a, Item>),
}

pub struct Jbs<'a, Item> {
    before: &'a JSb<'a, Item>,
    after: Item,
}

impl<'a, Item> Jbs<'a, Item> {
    pub fn new(before: &'a JSb<'a, Item>, after: Item) -> Self {
        Jbs { before, after }
    }
}

fn hello<'a>() -> JSb<'a, u8> {
    let mut res = JSb::Start(3);

    for i in 1..3 {
        let x = JSb::Move(Jbs::new(&res, i));
        res = x
    }
    res
}

编译时出现以下错误：

error: cannot assign to `res` because it is borrowed
  --> src/lib.rs:22:9
   |
17 | fn hello<'a>() -> JSb<'a, u8> {
   |          -- lifetime `'a` defined here
...
21 |         let x = JSb::Move(Jbs::new(&res, i));
   |                                    ---- `res` is borrowed here
22 |         res = x
   |         ^^^^^^^ `res` is assigned to here but it was already borrowed
23 |     }
24 |     res
   |     --- returning this value requires that `res` is borrowed for `'a`

error: cannot return value referencing local variable `res`
  --> src/lib.rs:24:5
   |
21 |         let x = JSb::Move(Jbs::new(&res, i));
   |                                    ---- `res` is borrowed here
...
24 |     res
   |     ^^^ returns a value referencing data owned by the current function

我不清楚怎么调整代码让它编译通过，可修改结构体定义。

错误原因 #

当前代码的核心问题是引用的生命周期不匹配：

• Jbs持有JSb的引用，但res是函数内的局部变量，每次循环中创建的JSb::Move会引用当前的res，随后res被新值覆盖，旧的res被销毁，导致引用悬空。
• 返回的JSb<'a, u8>要求生命周期'a长于函数本身，但局部变量res的生命周期仅限于函数内部，无法满足这个要求。

修改方案：使用所有权转移代替引用 #

Rust中无法用引用构建这种"链式"的自引用结构，改用Box实现所有权转移，让每个节点持有前一个节点的所有权，而非引用。

修改后的代码如下：

pub enum JSb<Item> {
    Start(Item),
    Move(Jbs<Item>),
}

pub struct Jbs<Item> {
    before: Box<JSb<Item>>,
    after: Item,
}

impl<Item> Jbs<Item> {
    pub fn new(before: Box<JSb<Item>>, after: Item) -> Self {
        Jbs { before, after }
    }
}

fn hello() -> JSb<u8> {
    let mut res = JSb::Start(3);

    for i in 1..3 {
        let x = JSb::Move(Jbs::new(Box::new(res), i));
        res = x;
    }
    res
}

代码说明 #

1. 移除了所有生命周期标注：因为现在用Box持有所有权，不再需要引用的生命周期约束。
2. 将Jbs的before字段从&'a JSb<'a, Item>改为Box<JSb<Item>>：每个Move节点通过Box持有前一个节点的完整所有权，避免了引用悬空问题。
3. 循环中用Box::new(res)将当前res的所有权转移给新的Jbs实例，之后res被赋值为新的JSb节点，整个链式结构的所有权完整且合法。

这样修改后，代码可以正常编译，且实现了你想要的类树链式结构。

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