第4章变量绑定 on 编程那些事儿

01-可变变量

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/variable_bindings/mut.html

可变变量

变量绑定默认是不可变的（immutable），但加上 mut 修饰语后变量就可以改变。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15


fn main() {
 let _immutable_binding = 1;
 let mut mutable_binding = 1;

 println!("Before mutation: {}", mutable_binding); // Before mutation: 1

 // 正确代码
 mutable_binding += 1;

 println!("After mutation: {}", mutable_binding); // After mutation: 2

 // 错误！
 _immutable_binding += 1;
 // 改正 ^ 将此行注释掉
}

编译器会给出关于变量可变性的详细诊断信息。

02-作用域和遮蔽

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/variable_bindings/scope.html

作用域和遮蔽

变量绑定有一个作用域（scope），它被限定只在一个代码块（block）中生存（live）。代码块是一个被 {} 包围的语句集合。另外也允许变量遮蔽（variable shadowing）。

03-变量先声明

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/variable_bindings/declare.html

变量先声明

可以先声明（declare）变量绑定，后面才将它们初始化（initialize）。但是这种做法很少用，因为这样可能导致使用未初始化的变量。

04-冻结

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/variable_bindings/freeze.html

冻结

当数据被相同的名称不变地绑定时，它还会冻结（freeze）。在不可变绑定超出作用域之前，无法修改已冻结的数据：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17


fn main() {
 let mut _mutable_integer = 7i32;

 {
 // 被不可变的 `_mutable_integer` 遮蔽
 let _mutable_integer = _mutable_integer;

 // 报错！`_mutable_integer` 在本作用域被冻结
 _mutable_integer = 50;
 // 改正 ^ 注释掉上面这行

 // `_mutable_integer` 离开作用域
 }

 // 正常运行！ `_mutable_integer` 在这个作用域没有冻结
 _mutable_integer = 3;
}

第4章 变量绑定 on 编程那些事儿

01-可变变量

可变变量

02-作用域和遮蔽

作用域和遮蔽

03-变量先声明

变量先声明

04-冻结

冻结

第4章变量绑定 on 编程那些事儿