Rust 变量可变性修复

题目

Rust 变量可变性修复

信息

• 类型：问答
• 难度：⭐

考点

变量可变性,mut关键字,编译错误处理

快速回答

以下代码存在编译错误：

let x = 5;
x = 6;

修复要点：

• Rust 变量默认不可变（immutable）
• 需要添加 mut 关键字声明可变变量
• 正确修复方式：let mut x = 5;

原理说明

Rust 通过所有权系统保障内存安全，其中变量默认不可变是核心设计：

• 不可变变量：初始化后值不可修改，保障线程安全和避免意外变更
• mut 关键字：显式声明可变变量，编译器会进行可变性检查
• 设计哲学：默认不可变鼓励更安全的代码，需要修改时需显式声明

错误代码分析

let x = 5;   // 声明不可变变量
x = 6;       // 尝试修改导致编译错误

编译器报错：cannot assign twice to immutable variable

正确修复方式

// 添加 mut 声明可变变量
let mut x = 5;
x = 6;  // 允许修改
println!("x = {}", x);  // 输出 x = 6

最佳实践

• 优先使用不可变变量，除非确实需要修改
• 使用 mut 时保持作用域最小化
• 复杂数据类型（如 Vec）同样适用此规则：

  let mut vec = vec![1, 2];
  vec.push(3);  // 需要 mut 声明

常见错误

• 忘记添加 mut 导致编译错误
• 误认为 let 重新绑定是修改（实际是创建新变量）：

  let y = 10;
  let y = "hello";  // 合法，但属于重新绑定而非修改

扩展知识

• 可变性 vs 重新绑定：let 可重新绑定新值（创建新变量），mut 允许修改当前变量
• 作用域规则：可变性仅影响当前绑定，不影响同名变量在其他作用域的行为
• 性能影响：编译器利用不可变性进行优化，如常量传播