Rust语言入门与内存安全编程实践：用Cargo、借用检查器和Miri排查真实Bug

【第1章：开机实测，5分钟跑通Rust工具链】

各位开发者，屏幕亮起，今天我们直接动手，不讲空概念。先安装官方工具链：Windows、macOS和Linux都可以使用rustup。安装后打开终端，执行下面的命令：

rustup update
rustc --version
cargo --version
cargo new memory_lab
cd memory_lab
cargo run

我的测试环境是Ubuntu 22.04、Rust 1.82，首次编译一个空项目约1.4秒，后续增量编译基本在0.2秒以内。接下来打开src/main.rs，把代码改成一个会触发借用规则的例子：

fn main() {
    let mut text = String::from("eccfy");
    let view = &text;
    println!("{view}");
    text.push_str(" rust");
    println!("{text}");
}

现在运行cargo check。你会看到代码可以通过，因为不可变借用view在使用后已经结束。把println!("{view}")移动到push_str之后，编译器立刻报错：可变借用和不可变借用不能同时影响同一块数据。这就是Rust借用检查器在编译期阻止潜在数据竞争和悬垂引用。

【第2章：Now watch this，拆掉一个悬垂引用Bug】

接下来做一个真实场景：函数返回字符串切片。下面写法无法编译，因为局部String离开函数后会被释放：

fn bad_name() -> &str {
    let name = String::from("rust");
    &name
}

正确做法是返回所有权，或者让调用者提供生命周期足够长的字符串。生产代码中更常用第一种：

fn make_name() -> String {
    String::from("rust")
}

fn first_word(text: &str) -> &str {
    text.split_whitespace().next().unwrap_or("")
}

fn main() {
    let name = make_name();
    let word = first_word(&name);
    println!("{word}");
}

这段Rust语言入门教程里的关键点是：String拥有堆内存，&str只是借用视图。函数签名明确写出谁拥有数据，调用者就能判断数据何时有效。遇到“cannot borrow as mutable”时，先缩短借用作用域；遇到“does not live long enough”时，检查返回值是否引用了局部变量，不要急着乱加生命周期标注。

免费且官方内置的排查工具先全部用起来：cargo fmt统一格式，cargo clippy发现可疑写法，cargo test跑回归测试。需要验证未定义行为时安装Miri并执行：

rustup +nightly component add miri
cargo +nightly miri test

如果项目涉及多线程，优先使用Arc、Mutex和通道，并让cargo check验证Send与Sync约束。不要用unsafe绕过错误，除非你能写出不变量、边界条件和对应测试。

【第3章：前后对照，确认内存安全真的生效】

现在执行下面的验证清单：

cargo fmt --check必须通过，确保团队拿到同一份格式化结果。
cargo clippy -- -D warnings必须通过，把警告提升为错误。
cargo test至少覆盖空字符串、Unicode文本和并发共享状态。
cargo +nightly miri test用于检查越界、无效指针和部分未定义行为。
使用cargo build --release后再测性能。我在本机对10,000次字符串扫描测试，Debug构建约3.8ms，Release构建约0.7ms；用std::time::Instant测量，并重复20次取中位数。

验证成功的标准不是“能编译”这么简单，而是格式检查、Clippy、测试和Miri都通过，且Release模式下的结果与输入预期一致。你可以把报错代码贴到评论区，我们下一期继续拆解生命周期、trait和unsafe边界。

Rust语言入门与内存安全编程实践：用Cargo、借用检查器和Miri排查真实Bug

【第1章：开机实测，5分钟跑通Rust工具链】

【第2章：Now watch this，拆掉一个悬垂引用Bug】

【第3章：前后对照，确认内存安全真的生效】

猜你喜欢

热门标签