Rust 并非内存安全的语言
本文指出，尽管 Rust 被广泛宣传为一种内存安全的系统编程语言，但实际上它并不能完全保证内存安全。作者通过多个示例展示了 unsafe 代码块、内部可变性、生命周期标注等问题可能导致的内存错误，提醒开发者不要对 Rust 的内存安全承诺过于乐观，而应保持警惕并深入理解其底层机制。
背景速读
- Rust 常被宣传为"内存安全语言"，但本文指出这一标签过于绝对。Rust 通过所有权、借用检查器等机制在编译期消除整类内存错误（如 use-after-free），但这并非万能：标准库中大量使用 unsafe 代码块、第三方库可能包含 unsafe 实现、即便 safe Rust 仍可能因逻辑错误导致内存泄漏或 panic 时资源未正确释放。
- 作者 Dave 是资深系统程序员（前 Google 工程师），长期关注编程语言安全与工程实践，其博客以犀利技术评论著称。
- 关键背景：Rust 早期定位是在不牺牲性能的前提下替代 C/C++，核心卖点正是"内存安全"（Memory Safe）——但业界对"内存安全"的定义本身存在争议：一种认为只要编译器阻挡了所有未定义行为（UB）即为安全，另一种则认为只要程序运行时仍可能发生与内存相关的崩溃或资源泄漏就不能叫安全。
- 本文写作于2026年7月，正值 Rust 在企业大规模落地阶段（如 Android、Linux 内核、AWS 等），此时对 Rust 承诺的冷静审视，是对社区"安全叙事"的必要纠偏。