8、Rust 中的 RAII 与参数传递

Rust 中的 RAII 与参数传递

1. RAII 在 Rust 中的实现

1.1 编译器如何实现 RAII

编译器通过栈来实现 RAII。栈的作用域通常在函数或代码块内，一般用花括号 { … } 表示。当进入特定作用域（如函数）时，新变量会被压入栈中；离开该作用域时，变量会从栈中弹出。编译器会为每个变量存储一些额外数据，以便安全地销毁每个值，不过这种开销很小，通常只是为需要清理的对象增加一个额外的指针。

1.2 Rust 中 RAII 的运行机制

Rust 中的对象管理遵循 RAII 规则，但有两个例外：不安全代码和实现了 Copy 特征的值。变量在声明时必须用一个值进行初始化，当变量超出作用域时，会调用析构函数将其销毁。

对于简单变量（如非指针类型，包括 Rc 和 Arc ），Rust 的借用检查器和移动语义使得我们很容易推断变量或对象何时超出作用域，从而何时被销毁。

实现了 Copy 特征的对象（如整数、浮点数、布尔值等基本类型，以及仅由基本类型组成的简单结构体）不会调用析构函数，因为它们是按值复制而不是移动的。在处理 Copy 对象时，需要注意这一点，不能为 Copy 对象定义析构函数，也不能依赖其析构函数被调用。

以下代码示例展示了 RAII 的工作方式：

fn main() {
    let s