为何修改结构体持有的对象内部状态需使用&mut self？

核心原因是Rust的可变借用规则是递归生效的，且不可变引用无法衍生出可变引用——这是Rust保证内存安全的核心约束。

拆解你的场景 #

你定义的Writer持有json::JsonValue，而JsonValue::insert的签名是fn insert(&mut self, ...)，它要求调用者持有JsonValue的可变引用。那问题在于：你怎么拿到self.obj的可变引用？

如果你的方法参数是&self，那么self是一个不可变引用，通过它访问self.obj得到的是&json::JsonValue（不可变引用）。而Rust的规则绝对禁止从不可变引用中生成可变引用——这会直接打破“同一时间只能存在一个可变引用，或多个不可变引用”的内存安全保证。

你可能觉得“我只是修改obj的内部，没改Writer本身”，但在Rust的权限体系里：

• &self意味着整个Writer实例处于不可变借用状态，它的所有字段（包括obj）都只能被不可访问，哪怕字段本身是可变类型。
• 要获取obj的可变引用，必须先拥有Writer的可变引用（也就是&mut self），这样才能递归地获得内部字段的可变操作权限。

关于“冗余”的疑问 #

你提到“JsonValue::insert已经要求可变借用，编译器应该知道这一点”，但问题的关键是你根本没有资格拿到这个可变借用——&self已经把整个Writer实例锁成了不可变，连获取内部字段可变引用的权限都没有，更别说调用它的可变方法了。

举个更直观的例子：

struct Container {
    inner: Vec<i32>
}

impl Container {
    // 必须用&mut self，因为Vec::push需要&mut Vec<i32>
    fn add(&mut self, val: i32) {
        self.inner.push(val);
    }
}

这里push需要&mut Vec<i32>，而只有通过&mut self才能拿到&mut self.inner；如果用&self，self.inner是&Vec<i32>，根本无法调用push。

结合《Rust编程圣经》的说明 #

书中提到“整个实例必须是可变的；Rust不允许仅将某些字段标记为可变”，这里的“可变”指的是借用权限，而非字段本身的可变性。哪怕你的字段是可变类型（比如Vec、JsonValue），没有整个实例的可变借用权限，你也无法修改它的内部状态。

总结 #

• 要修改嵌套对象的内部状态，必须拥有从根实例到目标对象的整条路径的可变借用权限
• &self是不可变借用，无法衍生出内部字段的可变引用
• &mut self赋予了你整个实例的可变借用权限，才能递归获取内部对象的可变引用，进而调用它的可变方法

内容的提问来源于stack exchange，提问作者try-catch-finally