Rust可变性疑问：能否拆分变量与对象的可变权限

你提到的两种场景在Rust中都是可以实现的，具体方法如下：

1. 对象不可变，但变量可变（可指向不同对象） #

这种场景的核心是：变量本身允许重新赋值（带mut），但变量指向的对象是不可变类型。

示例代码：

// 变量a是mut的，可重新赋值；指向的是不可变的字符串字面量(&str)
let mut a = "Foo";
a = "Bar"; // 合法：变量可变，指向新的不可变对象
// a.push_str("Baz"); // 非法：&str本身是不可变的，无法修改内容

如果需要使用String类型，也可以通过不可变引用来实现：

let foo = String::from("Foo");
let bar = String::from("Bar");

// 变量a是mut的，可指向不同的不可变String引用
let mut a: &String = &foo;
a = &bar; // 合法：变量重新指向新的不可变对象
// a.push_str("Baz"); // 非法：&String是不可变引用，无法修改原String内容

2. 对象可变，但变量不可变（无法指向其他对象） #

这种场景需要借助Rust的内部可变性特性，通过RefCell（单线程）或Mutex/RwLock（多线程）来实现——变量本身不可变，但允许修改其内部包裹的可变对象。

示例代码（单线程场景用RefCell）：

use std::cell::RefCell;

// 变量a不可变，无法重新赋值；但内部包裹的String是可变的
let a = RefCell::new(String::from("Foo"));
// 通过borrow_mut()获取可变引用，修改内部对象
a.borrow_mut().push_str("Bar"); // 合法：修改内部可变对象
// a = RefCell::new(String::from("Baz")); // 非法：变量a不可变，不能重新赋值

多线程场景下可以使用Mutex：

use std::sync::Mutex;
use std::sync::Arc;

// Arc用于多线程共享所有权，Mutex提供内部可变性
let a = Arc::new(Mutex::new(String::from("Foo")));
// 在子线程中修改内部对象
std::thread::spawn(move || {
    let mut inner = a.lock().unwrap();
    inner.push_str("Bar");
}).join().unwrap();
// a = Arc::new(Mutex::new(String::from("Baz"))); // 非法：变量a不可变

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