King - 个人技术博客

引言

Rust的所有权系统是其最独特的特性之一，它在编译时保证内存安全，无需垃圾回收。

在现代系统编程中，内存管理一直是一个关键问题。C/C++提供了极大的灵活性，但也容易导致内存泄漏和悬垂指针；而Java等语言通过垃圾回收机制提供了安全性，但带来了性能开销。Rust通过其创新的所有权系统，在编译时就能保证内存安全，同时保持高性能。

所有权的基本规则

fn main() {
    // 基本的所有权规则示例
    let s1 = String::from("hello");    // s1获得所有权
    let s2 = s1;                       // 所有权从s1移动到s2
    // println!("{}", s1);            // 编译错误：s1已经失效
    println!("{}", s2);               // 正确：s2现在拥有该值
}

Rust的所有权系统基于以下三个核心规则：

Rust中的每个值都有一个变量作为其所有者
一个值同时只能有一个所有者
当所有者离开作用域时，该值将被丢弃

借用机制

fn calculate_length(s: &String) -> usize {
    s.len()
}
 
fn main() {
    let s1 = String::from("hello");
    let len = calculate_length(&s1);    // 借用s1而不获取所有权
    println!("{} 的长度是 {}", s1, len); // s1仍然可用
}

借用允许我们在不获取所有权的情况下使用值：

可以创建对值的引用，这称为"借用

借用有两种类型：

不可变借用（&T）
可变借用（&mut T）

借用规则

在任意给定时间，要么只能有一个可变引用，要么只能有多个不可变引用
引用必须总是有效的

fn main() {
    let mut s = String::from("hello");
    
    let r1 = &s;     // 不可变借用
    let r2 = &s;     // 不可变借用，没问题
    // let r3 = &mut s; // 错误：不能同时存在可变和不可变借用
    
    println!("{} and {}", r1, r2);
}

生命周期

生命周期是Rust另一个重要概念，它确保引用保持有效：

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}
 
fn main() {
    let string1 = String::from("short");
    let string2 = String::from("longer");
    let result = longest(&string1, &string2);
    println!("较长的字符串是 {}", result);
}

生命周期标注语法

生命周期参数以撇号（'）开头
通常使用小写字母，比如'a
生命周期标注位于引用的&之后

智能指针

Rust提供了多种智能指针类型：

use std::rc::Rc;
 
fn main() {
    // Box<T> 用于堆分配
    let b = Box::new(5);
    println!("b = {}", b);
 
    // Rc<T> 用于引用计数
    let a = Rc::new(String::from("hello"));
    let b = Rc::clone(&a);
    println!("引用计数 = {}", Rc::strong_count(&a));
}

总结

所有权系统是Rust最独特的特性之一：

通过所有权规则在编译时保证内存安全
借用检查器确保引用始终有效
生命周期标注让编译器能够验证引用的有效性
无需垃圾回收即可实现内存安全

通过这些机制，Rust成功地在不牺牲性能的情况下实现了内存安全，这使得它特别适合系统编程、嵌入式系统和性能关键型应用程序的开发。

Rust所有权系统：内存安全的基石

引言