为何Rust中用slice构建cons列表的代码无法通过借用检查？

原因分析 #

你的循环实现存在两个核心问题，导致借用检查器报错：

1. 变量作用域与所有权错误：
   你在循环体内用let lst = ...创建了新的局部变量，每次迭代的lst都是独立的作用域变量。第一次迭代时，Box::new(lst)会将外部的初始lst（值为Null）移动到堆内存中，此时外部的lst已经失去所有权，变成无效状态。后续迭代再尝试访问这个已失效的外部lst，就会触发借用检查器的错误——Rust不允许使用已经被移动的变量。
2. 逻辑不符合预期：
   循环结束后你返回的还是最初的Null，完全没有用到循环里创建的Item节点，这和你想要构建cons列表的目标完全不符。

而展开后的代码能正常编译，是因为所有let lst = ...都在同一个作用域内：

• 每次Box::new(lst)使用的是前一个被遮蔽的lst（此时它仍拥有所有权），将其移动到Box后，新的lst接管了新Item的所有权。
• 后续语句可以正常使用这个新的lst，不存在重复使用已移动变量的问题，最终返回的也是构建完成的cons列表。

解决方法 #

不要在循环体内创建新的lst变量，而是用mut声明外部可变变量，在循环中直接更新它：

impl<T> List<T> {
    pub fn from_slice(v: &[T]) -> List<T> 
    where T: Copy 
    {
        let mut lst = List::Null;

        for i in (0..v.len()).rev() {
            // 直接更新lst，将旧的lst所有权移动到Box中
            lst = List::Item(v[i], Box::new(lst));
        }

        lst
    }
}

或者更简洁的遍历写法：

impl<T> List<T> {
    pub fn from_slice(v: &[T]) -> List<T> 
    where T: Copy 
    {
        let mut lst = List::Null;

        for &item in v.iter().rev() {
            lst = List::Item(item, Box::new(lst));
        }

        lst
    }
}

修改后：

• lst作为可变变量，每次迭代都会被更新为新的Item节点；
• 每次Box::new(lst)都会将当前lst的所有权移动到堆上，新的Item成为lst的新值，不存在无效引用或重复使用已移动变量的问题；
• 循环结束后，lst就是完整的cons列表，可以正确返回。

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