编译器保证：无数据竞争（memory safety） 程序员责任：正确的并发逻辑设计 Rust 的优势：提供强大的类型系统和工具，让安全并发更容易实现 Rust 让内存安全的并发变得简单，但程序逻辑的正确性仍需开发者保证！