《Rust编程实战》2.2 借用检查器

2.2 借用检查器

Rust 的借用检查器（Borrow Checker）是其内存安全系统的核心组成部分。借用检查器确保所有的引用在程序运行期间不会导致悬挂指针、数据竞争和其他安全隐患。它通过静态分析，在编译时验证借用规则，以保证引用数据的安全性。

2.2.1 借用（Borrow）与所有权的关系

在 Rust 中，借用指的是通过引用来获取数据的使用权，而不是拥有数据的所有权。借用可以分为两种类型：不可变借用（immutable borrow） 和 可变借用（mutable borrow）。借用不改变所有权的归属，而只是允许在不拥有数据的情况下访问数据。

1. 不可变借用：可以创建多个不可变引用，允许多个地方同时读取数据，但不能修改数据。
2. 可变借用：只能创建一个可变引用，允许修改数据，但在该引用存在期间，不能有其他引用（无论是可变的还是不可变的）。

Rust 的借用检查器确保这两种借用不会发生冲突，从而避免潜在的数据竞态和不安全行为。

2.2.2 不可变借用（Immutable Borrow）

不可变借用允许多个地方同时读取数据，而不会修改数据的内容。不可变借用的规则是：多个不可变引用可以同时存在，但不能与可变引用共存。

代码示例 1：不可变借用

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

fn main() {
    let s = String::from("hello");

    let r1 = &s; // 借用 `s` 的不可变引用
    let r2 = &s; // 还可以借用 `s` 的不可变引用
    println!("r1: {}", r1);
    println!("r2: {}", r2);

    // println!("{}", s); // 编译错误：不允许在有引用的情况下访问原始数据
}

解释：

• 变量 r1 和 r2 都是对 s 的不可变引用，允许多个地方同时读取数据。
• 但是在此期间，我们不能修改 s，也不能创建可变引用。

2.2.3 可变借用（Mutable Borrow）

可变借用允许对数据进行修改，但在同一时刻只能有一个可变引用。在有可变引用时，Rust 禁止同时存在任何不可变引用，以避免数据竞争。

代码示例 2：可变借用

1
2
3
4
5
6
7
8
9

fn main() {
    let mut s = String::from("hello");

    let r1 = &mut s; // 可变借用
    r1.push_str(", world!"); // 修改数据
    println!("{}", r1);

    // let r2 = &mut s; // 编译错误：不能同时有多个可变借用
}

解释：

• r1 是 s 的可变引用，允许修改数据。
• Rust 确保，在 r1 存在期间，无法创建任何其他对 s 的引用（无论是可变的还是不可变的）。
• 尝试创建第二个可变引用 r2 会导致编译错误。

2.2.4 借用的生命周期

Rust 的借用不仅限于所有权，它还涉及到生命周期。生命周期是 Rust 编译器用来跟踪引用有效性的一种机制。借用检查器确保引用在其生命周期内是有效的，避免出现悬挂引用或使用已经释放的内存。

代码示例 3：借用生命周期

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

fn main() {
    let r;
    {
        let s = String::from("hello");
        r = &s; // 借用 `s`
        println!("{}", r); // 使用引用
    } // `s` 超出作用域，引用 `r` 无效

    // println!("{}", r); // 编译错误：`r` 引用已经无效
}

解释：

• r 在内部作用域中借用了 s，但 s 的生命周期比 r 短，因此当 s 超出作用域时，r 变得无效。
• 编译器会检测到这一点并阻止程序继续运行，防止使用无效引用。

2.2.5 借用检查器的工作原理

Rust 的借用检查器通过以下几个关键规则来确保内存安全：

1. 单一可变引用规则：在同一作用域内，只能有一个可变引用，并且在该引用存在期间，不能有任何不可变引用。
2. 不可变引用共存规则：可以有多个不可变引用，但如果存在可变引用，则不能有不可变引用。
3. 生命周期分析：借用检查器使用生命周期来确保引用不会在数据被释放之后仍然存在，从而避免悬挂指针。

2.2.6 借用与所有权的区别

• 所有权：在 Rust 中，值有一个唯一的所有者，所有权转移意味着数据的所有权转移，而原始变量不再有效。
• 借用：借用是对数据的“借用”，它不会改变所有权，借用者只是借用数据进行操作，可以是可变或不可变引用。

借用的优势是，开发者不需要手动管理内存释放，也不需要担心资源泄漏问题，而借用检查器会在编译时自动验证代码的安全性。

总结

借用检查器是 Rust 实现内存安全和并发安全的核心机制。通过强制借用规则，Rust 可以确保数据在程序中的使用是安全的，避免了悬挂指针和数据竞争等问题。借用检查器的设计让 Rust 在不依赖垃圾回收的情况下实现了高效且安全的内存管理，同时提供了明确且易于理解的代码结构。

借用检查器不仅仅关心借用的数据，还通过生命周期管理来确保数据始终有效，进一步提升了程序的稳定性和可靠性。

• Rust
• Rust Programming in Action
• Rust编程实战
• Rust Tutors