Rust 的所有权系统：你应该知道的几件事

Rust 的所有权系统是这门系统级编程语言的核心理念之一,它帮助确保内存安全并避免常见的内存管理错误。本文是我阅读学习Rust相关书籍时，对所有权系统的规则和优势的理解和分享。

为什么需要所有权系统?

在像 C/C++ 这样的语言中,开发人员需要手动管理内存分配和释放。这带来了很大风险,很容易导致一些常见问题,如:

• 使用已释放的内存,导致崩溃或不可预知的行为
• 忘记释放内存,造成内存泄漏
• 多个线程同时访问同一内存区域,引发数据竞争

为了有效避免这些问题，Rust 引入了所有权系统，通过编译器检查来强制执行内存安全规则，消除内存错误。

Rust 所有权规则

1. 每个值都有一个所有者变量，该变量控制该值的生命周期、内存管理等。

let x = 5; // x 是整数值 5 的所有者

2. 当所有者超出作用域时,该值会被自动释放，避免内存泄漏。

{
    let y = 5; // y 在这个作用域拥有值 5
} // y 离开作用域,值 5 被自动释放

3. 一个值只能有一个所有者，防止多个变量同时访问同一值。

let z = 5;     // z 拥有值 5
let x = z;     // z 的所有权转移给了 x
// z 不再拥有值 5!

4. 移动所有权时会转移数据所有权，而非复制数据，避免昂贵的拷贝操作。

let s1 = "hello".to_string(); // s1 拥有 "hello" 字符串
let s2 = s1;                  // 所有权从 s1 移动到 s2
// s1 不能再使用 "hello" 字符串

5. 可以通过引用借用所有权，引用只能读取或修改所引用的值。

let s = "hello".to_string(); // s 拥有 "hello" 字符串
let r = &s;                  // r 不可变地借用 s
println!("{}", r);           // 打印 "hello"  
// s 仍然拥有 "hello" 字符串

6. 可变引用具有独占访问权限，确保在编译时就能检测到数据竞争问题。

let mut s = "hello".to_string();
let r1 = &mut s; // r1 可变地借用 s
let r2 = &mut s; // 编译错误!一次只能有一个可变引用

7. 引用的生命周期不能长于其所有者的生命周期 ，防止出现悬垂指针问题。

{
    let r;
    {
        let s = "hello".to_string();
        r = &s; // r 引用 s
        println!("{}", r); // 可以打印
    } // s 离开作用域并被释放
    println!("{}", r); // 编译错误!r 指向已释放的内存
}

所有权系统是 Rust 安全性和高性能的根本保证。只要遵循所有权规则,就可以编写出健壮且高效的系统级程序。虽然刚开始可能会有些不适应,但只要熟悉了所有权这一思维模式,就能充分体会 Rust 语言的强大之处了。

如果您喜欢我的文章，请关注我。
本文同步发布在掘金：https://juejin.cn/post/7363103772144386060