Rust 所有权规则-JavaScript中文网-JavaScript教程资源分享门户

Rust 的所有权系统是其核心特性之一，它使得 Rust 能够实现内存安全而无需垃圾回收机制。本章将深入探讨 Rust 的所有权规则，并通过具体的例子帮助你理解这些规则。

所有权的基本概念

所有权是一种资源管理方式，每个值都有一个所有者，且一个值同时只能有一个所有者。当所有者离开作用域时，该值将被释放。这确保了资源的合理管理和避免内存泄漏。

变量绑定和作用域

在 Rust 中，变量绑定是一个简单的赋值操作。当你创建一个变量并将其绑定到一个值时，这个变量就成为了该值的所有者。

fn main() {
    let s = "hello"; // 创建一个字符串字面量并绑定到变量s
}
// 当main函数结束时，变量s离开作用域，但因为字符串字面量是静态分配的，所以不会被释放。

所有者的转移

所有权可以被转移给另一个变量。当一个值的所有权转移给另一个变量时，原来的变量将不再有效。

fn main() {
    let s1 = String::from("hello");
    let s2 = s1; // 所有权从s1转移到s2
    // 此时，s1不再是有效的，尝试使用s1会导致编译错误
}

深拷贝与浅拷贝

在某些情况下，我们希望复制一个值而不是转移所有权。对于大多数基本类型（如整型、布尔型等），它们默认会进行深拷贝。但对于复杂类型（如String），默认行为是浅拷贝，即只复制引用，而不是实际的数据。

使用 `clone` 方法进行深拷贝

如果需要对复杂类型进行深拷贝，可以调用 clone 方法。

fn main() {
    let s1 = String::from("hello");
    let s2 = s1.clone(); // 对String进行深拷贝
    println!("s1 = {}, s2 = {}", s1, s2);
}

引用与借用

为了允许同时访问数据而不转移所有权，Rust 提供了引用和借用的概念。引用允许你访问一个值而不获取其所有权。

引用规则

你可以拥有任意数量的不可变引用或恰好一个可变引用。
引用必须始终有效：不能创建指向不存在数据的引用。

// www.javascriptcn.com code example
fn main() {
    let mut s = String::from("hello");

    let r1 = &s; // 不可变引用
    let r2 = &s; // 可以有多个不可变引用
    println!("r1 = {}, r2 = {}", r1, r2);

    let r3 = &mut s; // 只能有一个可变引用
    *r3 = String::from("world"); // 修改可变引用指向的值
    println!("r3 = {}", r3);
}

切片

切片提供了一种灵活的方式来引用集合中的连续片段，而不需要转移所有权。切片是一个动态大小的类型，因此通常需要与某种形式的引用一起使用。

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

    let hello = &s[0..5]; // 获取从第0个字符到第5个字符的切片
    let world = &s[6..11]; // 获取从第6个字符到第11个字符的切片
    println!("{} {}", hello, world);
}

总结

本章介绍了 Rust 的所有权规则，包括变量绑定、所有权转移、深拷贝与浅拷贝、引用与借用以及切片。理解这些概念对于编写高效且安全的 Rust 代码至关重要。掌握这些基础知识后，你将能够更好地利用 Rust 的所有权系统来管理资源，避免常见的编程错误。

Rust 所有权规则