Rust中如何在嵌套Vector间移动元素？解决所有权冲突

问题背景 #

使用运行时动态数量的嵌套Vec，定义ItemStruct记录元素的源索引和目标索引，初始化后添加元素正常，但移动元素时触发所有权冲突编译错误。

相关代码 #

结构体定义与初始化：

struct ItemStruct {
    old: usize,
    transfer: usize,
}

// ...

let number_of_vectors = x.len();
let mut ListOfItems = vec![vec![0; 0]; number_of_vectors];

触发错误的元素移动代码：

for item in anotherList.iter() {
    let to_move = ListOfItems[item.old].rchunks(4).next().unwrap();
    ListOfItems[item.transfer].append(&mut to_move.to_owned())
}

编译错误信息 #

error[E0502]: cannot borrow `ListOfItems` as mutable because it is also borrowed as immutable
  --> src\main.rs:53:9
   |
52 |         let to_move = ListOfItems[item.old].rchunks(4).next().unwrap();
   |                       ----------- immutable borrow occurs here
53 |         ListOfItems[item.transfer].append(&mut to_move.to_owned())
   |         ^^^^^^^^^^^ mutable borrow occurs here ----------------- immutable borrow later used here

解决方案 #

问题核心是Rust借用检查器禁止同一变量同时存在活跃的可变与不可变借用：rchunks返回的迭代器持有对源向量的不可变引用，而append需要对整个嵌套Vec进行可变借用，两者冲突。

方案1：克隆片段后操作（适用于Copy类型） #

先克隆目标片段，确保不可变借用提前结束，再执行可变操作：

for item in anotherList.iter() {
    // 克隆要移动的片段，此行结束后不可变借用自动释放
    let to_move = ListOfItems[item.old].rchunks(4).next().unwrap().to_owned();
    // 向目标向量添加克隆后的元素
    ListOfItems[item.transfer].append(&mut to_move.clone());
    
    // 若需从源向量移除该片段，补充以下代码
    let source_len = ListOfItems[item.old].len();
    if source_len >= 4 {
        ListOfItems[item.old].truncate(source_len - 4);
    }
}

方案2：直接移动元素（无复制开销，推荐） #

通过split_off或mem::take直接从源向量取出元素，完成真正的移动操作，避免中间引用：

for item in anotherList.iter() {
    let source_idx = item.old;
    let target_idx = item.transfer;
    
    // 从源向量末尾取出最多4个元素（不足则取全部）
    let mut to_move = if ListOfItems[source_idx].len() >= 4 {
        let split_pos = ListOfItems[source_idx].len() - 4;
        ListOfItems[source_idx].split_off(split_pos)
    } else {
        std::mem::take(&mut ListOfItems[source_idx])
    };
    
    // 将元素移动到目标向量
    ListOfItems[target_idx].append(&mut to_move);
}

方案对比 #

• 方案1逻辑简单，但会产生复制开销，适合小型Copy类型元素；
• 方案2是零复制的移动操作，性能更优，适用于非Copy类型或大型元素场景；
• 两种方案均通过消除同时存在的可变/不可变借用，满足Rust的借用规则。

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