Rust中为何需指定可变引用？猜数字游戏代码疑问解析

问题1：在Rust中，为何每次修改引用变量的值时都需要将其指定为可变？ #

Rust的核心设计目标是内存安全，它靠严格的借用规则避免数据竞争、悬垂引用这类常见内存问题。默认情况下，所有引用都是不可变的——这意味着你只能通过引用读取数据，完全无法修改。

当你需要修改引用指向的变量值时，必须显式声明可变引用（&mut），这不是多余步骤，而是给编译器的明确信号：这段代码会修改目标数据。编译器会基于这个标记严格校验：比如确保同一时间不会存在多个可变引用，也不会同时出现可变引用和不可变引用，从根源上杜绝数据竞争的可能，保证内存操作的安全性。

问题2：在《Rust编程圣经》的猜数字游戏示例中，已通过let mut guess = String::new();声明变量guess为可变，为何调用read_line(&mut guess)时仍需传入可变引用？ #

这里要区分两个关键概念：变量本身的可变性和引用的可变性：

• let mut guess是让变量guess本身可变——你可以直接给它重新赋值（比如guess = String::from("new value")），或者调用它的可变方法。
• 但io::stdin().read_line()的作用是把用户输入内容追加到传入的字符串里，它需要的是一个能修改目标字符串的引用，也就是&mut String类型的参数。

如果只传递&guess（不可变引用），函数只能读取字符串内容，没有权限修改它。哪怕变量本身是可变的，当你把它的引用传给需要修改它的函数时，必须显式传递可变引用&mut guess——这是Rust借用规则的要求，让编译器明确知道这个引用会被用来修改数据，进而完成安全校验，确保没有违反内存安全规则。

比如read_line的核心签名大致如下，它的第二个参数明确要求是&mut String：

fn read_line(&mut self, buf: &mut String) -> Result<usize>;

所以必须传入&mut guess才能匹配类型，同时满足安全规则。

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