Miri：你的 Rust 未定义行为私人侦探

使用 Rust 编程并相信代码的安全性？当然是这样的，因为 Rust 以其类型系统和内存安全保证而闻名。但如果我告诉你，即使在 Rust 中你也可能遇到未定义行为（UB），这可能导致不可预测的崩溃、安全漏洞，或者仅仅是程序行为非常奇怪？是的，unsafe 代码块是一个强大的工具，提供了令人难以置信的灵活性和性能，但随之而来的是巨大的责任。这正是 Miri 大显身手的地方——它是每个 Rust 开发者的必备助手。

Miri 是什么，为什么你需要它？

想象一下，你有一个超级侦探，可以深入程序内部找到所有可能导致未定义行为的隐藏陷阱。Miri 正是这样一个侦探。它是一个用于检测 Rust 中未定义行为的工具，作为 Rust 中间表示（MIR）的解释器运行。它运行项目的二进制文件和测试套件 cargo miri test，并识别不符合 Rust 安全要求的 unsafe 代码。

谁需要它？ 如果你使用 unsafe 代码、编写底层抽象、创建需要尽可能可靠的库，或者只是想对你的 Rust 应用程序绝对有信心，Miri 将成为你最好的朋友。它有助于捕获编译器会忽略的错误和常规测试不会覆盖的问题，因为这些问题可能只在特定条件下或某些平台上才会出现。

Miri 实战：它能发现什么问题？

Miri 不只是查找错误，它专门识别可能破坏应用程序稳定性的具体未定义行为类型。以下只是其中一些：

• 内存访问错误： 这是经典问题。Miri 会检测你是否超出已分配内存的边界（越界访问）或尝试使用已释放的内存（释放后使用）。程序在最意想不到的地方崩溃？Miri 将帮助找到问题的根源。
• 未初始化数据的不正确使用： 尝试读取尚未初始化的内存中的数据是通往 UB 的直接路径。Miri 会对此保持警惕。
• 类型不变量违反： Rust 严格监控类型，但在 unsafe 代码块中你可以违反基本不变量，例如创建一个既不是 Send 也不是 Sync 的类型，或者具有无效判别式的枚举。Miri 也会捕获这些。
• 内存对齐问题： 以不足的对齐方式访问内存可能导致某些架构上的失败。Miri 将检查你的所有指针是否正确对齐。
• 数据竞争和弱内存模型： 并发很难。Miri 可以模拟一些弱内存效果并检测在真实硬件上极难重现的数据竞争。这对于多线程应用程序特别有价值。
• 内存泄漏： 在程序执行结束时，Miri 将检查是否有任何不再可访问的已分配内存。这是发现泄漏的好方法，这些泄漏可能缓慢但肯定地