面试题：Rust移动语义与借用检查器的关系

在Rust中，移动语义和借用检查器是确保内存安全和避免数据竞争的核心机制。

移动语义：当一个值被移动时，源变量不再拥有该值，所有权转移到目标变量。例如：

fn main() {
    let s1 = String::from("hello");
    let s2 = s1; // s1的值移动到s2，此时s1不再有效
    // println!("{}", s1); // 这行代码会报错，因为s1已无效
    println!("{}", s2);
}

在此例中，s1将其内部数据的所有权移动给 s2，Rust编译器确保s1在移动后不再被使用，从而防止对已释放内存的悬空引用。

借用检查器：借用检查器在编译时检查代码，确保对数据的借用遵循一系列规则，从而避免数据竞争。规则主要包括：

同一时间内，要么只能有一个可变引用（&mut），要么可以有多个不可变引用（&），但不能同时存在。
引用的生命周期必须足够长，以涵盖其使用范围。

例如：

fn main() {
    let mut s = String::from("hello");
    let r1 = &s; // 不可变借用
    // let r2 = &mut s; // 这行代码会报错，因为此时已有不可变借用r1
    println!("{}", r1);
    let r3 = &mut s; // 此时r1作用域结束，可以创建可变借用r3
    r3.push_str(", world");
    println!("{}", r3);
}

在上述代码中，当r1存在时，无法创建可变借用r2，保证了在同一时间不会有可变和不可变借用同时访问数据，避免了数据竞争。

移动语义和借用检查器协同工作的原理在于：移动语义处理所有权的转移，确保一个值在任何时刻只有一个所有者，从而防止重复释放内存。借用检查器则在借用期间确保对数据的访问遵循安全规则，避免数据竞争。例如，在函数参数传递和返回值时，移动语义保证所有权的正确转移，而借用检查器确保函数内部对借用数据的使用符合规则。

fn take_ownership(s: String) -> String {
    s
}

fn borrow(s: &String) {
    println!("{}", s);
}

fn main() {
    let s1 = String::from("hello");
    let s2 = take_ownership(s1); // s1所有权移动到函数内部并返回给s2
    let s3 = String::from("world");
    borrow(&s3); // 对s3进行不可变借用
    // println!("{}", s1); // s1已无效
    println!("{}", s2);
}

在这个例子中，take_ownership函数通过移动语义获取并返回String的所有权，而borrow函数通过借用检查器安全地借用数据，两者协同工作保证了内存安全和避免数据竞争。

星途面试题库

面试题：Rust移动语义与借用检查器的关系

知识考点

面试题答案