Vec内结构体无法同时持有不同字段可变与不可变引用的替代方案

通常情况下，持有结构体某一字段的不可变引用时修改另一字段是可行的，但当结构体存储在Vec中时却会触发借用冲突。例如以下代码：

struct Data(String,i32);
fn main(){
    let mut v = vec![Data("id".to_string(), 0)];  // 由Vec拥有的Data实例
    let reference_to_id = &v[0].0 as &str;        // 指向Data第一个字段的引用，将存储到其他地方
    v[0].1 = 1000;                                // 修改Data的第二个字段

    println!("{}", reference_to_id);              // 错误
}

错误信息：

error[E0502]: cannot borrow `v` as mutable because it is also borrowed as immutable
 --> r4.rs:5:5
  |
4 |     let reference_to_id = &v[0].0 as &str;
  |                            - 不可变借用在此处发生
5 |     v[0].1 = 1000;
  |     ^ 可变借用在此处发生
6 |
7 |     println!("{}", reference_to_id);
  |                    --------------- 不可变借用在此处后续被使用

需求是：将大量结构体实例存储在Vec中，结构体的id字段不会改变，且需要在代码其他部分使用该字段的&str引用，但同时希望能修改结构体的其他字段。

解决方案 #

1. 用Rc包裹不可变字段 #

将不可变的id字段用Rc<String>包裹，通过克隆Rc获取独立于Vec元素的引用。Rc的克隆是轻量级的（仅增加引用计数），且指向的堆内存不受Vec元素移动或修改的影响。

use std::rc::Rc;

struct Data(Rc<String>, i32);

fn main() {
    let mut v = vec![Data(Rc::new("id".to_string()), 0)];
    let reference_to_id = Rc::clone(&v[0].0); // 克隆Rc引用，不依赖Vec的借用
    v[0].1 = 1000; // 正常修改第二个字段

    println!("{}", reference_to_id);
}

2. 用Cell实现内部可变性 #

如果可变字段是Copy类型，可以用Cell包装它。这样无需对Vec或结构体实例进行可变借用，就能修改字段值，避免与id的不可变引用冲突。非Copy类型可改用RefCell。

use std::cell::Cell;

struct Data(String, Cell<i32>);

fn main() {
    let mut v = vec![Data("id".to_string(), Cell::new(0))];
    let reference_to_id = &v[0].0;
    v[0].1.set(1000); // 使用Cell的set方法修改，无需可变借用

    println!("{}", reference_to_id);
}

3. 分离不可变与可变数据 #

将不可变的id和可变的数值分别存储在两个并行容器中，通过索引保持对应关系。这种方式适合结构简单的场景，需注意维护索引一致性。

use std::rc::Rc;

fn main() {
    let ids = vec![Rc::new("id".to_string())];
    let mut values = vec![0];

    let reference_to_id = Rc::clone(&ids[0]);
    values[0] = 1000; // 直接修改对应位置的数值

    println!("{}", reference_to_id);
}

冲突原因说明 #

当结构体在Vec中时，&v[0].0会被推断为对整个Vec元素的不可变借用，而修改v[0].1需要获取该元素的可变引用。Rust的借用检查器目前无法对Vec中的结构体字段做细粒度的借用分离，因此触发冲突。而单独的结构体实例支持字段级独立借用，所以不会有这个问题。

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