面试题：Rust编译时类型检查如何保证内存安全性

Rust编译时类型检查机制主要特点

强类型系统：Rust有严格的类型检查，每个变量和表达式都有明确的类型，不同类型之间的操作需要显式转换，这有助于捕获早期错误。例如，不能直接将整数和字符串相加，必须通过合适的方法将整数转换为字符串后再进行拼接。
静态类型检查：类型检查在编译时完成，而不是运行时。这意味着在程序运行之前就能发现类型不匹配等错误，提高程序的稳定性和安全性。
类型推断：Rust编译器可以根据上下文推断变量的类型，减少了代码中的类型标注。比如let num = 42;，编译器可以推断出num是i32类型。

防止内存安全问题的方式

悬空指针：
- Rust通过所有权系统来防止悬空指针。每个值都有一个唯一的所有者，当所有者离开作用域时，值会被自动释放。例如：

fn main() {
    let s1 = String::from("hello");
    {
        let s2 = &s1;
        println!("{}", s2);
    } // s2离开作用域，这里并不会导致悬空指针，因为s2只是借用了s1
    println!("{}", s1);
}

借用规则进一步保证了安全性。一个值在同一时间要么有一个可变引用（可写），要么有多个不可变引用（可读），但不能同时存在可变和不可变引用。这防止了在读取数据时数据被意外修改，从而避免产生悬空指针的情况。

数据竞争：
- 同样基于所有权和借用规则。因为同一时间不能有多个可变引用，或者可变引用和不可变引用同时存在，这就避免了多个线程同时读写同一内存位置导致的数据竞争。例如：

use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let data = Arc::new(Mutex::new(0));
    let mut handles = vec![];

    for _ in 0..10 {
        let data = Arc::clone(&data);
        let handle = thread::spawn(move || {
            let mut num = data.lock().unwrap();
            *num += 1;
        });
        handles.push(handle);
    }

    for handle in handles {
        handle.join().unwrap();
    }

    let result = data.lock().unwrap();
    println!("Final result: {}", *result);
}

在这个多线程例子中，Mutex（互斥锁）保证了同一时间只有一个线程可以访问数据，结合Rust的所有权和借用规则，有效地防止了数据竞争。

实际代码体现

所有权防止悬空指针示例：

fn main() {
    let mut v = vec![1, 2, 3];
    let first = &v[0];
    v.push(4); // 这行会编译错误，因为v在有不可变借用first时不能修改，防止了可能产生的悬空指针
    println!("The first element is: {}", first);
}

借用规则防止数据竞争示例：

fn main() {
    let mut data = String::from("initial");
    let r1 = &data; // 不可变借用
    // let r2 = &mut data; // 这行会编译错误，因为同时存在不可变借用r1时不能有可变借用
    println!("{}", r1);
}

星途面试题库

面试题：Rust编译时类型检查如何保证内存安全性

知识考点

面试题答案

Rust编译时类型检查机制主要特点

防止内存安全问题的方式

实际代码体现