在 Rust 中，并发安全（Fearless Concurrency）并非事后补丁，而是植根于其核心设计之中的。它主要通过所有权系统、类型系统标记以及标准库原语在编译阶段消除数据竞争。
以下是Rust 并发安全的四大核心特征：
1. 核心标记 Trait：Send 与 Sync
Rust 在语言底层定义了两个标记接口，用于在编译时告知编译器数据在线程间的传递行为：
- Send：允许该类型的所有权在线程间传递。几乎所有的 Rust 类型都是
Send的，但像Rc<T>（非原子引用计数）则不是，因为它在多线程下修改计数会导致内存错误。 - Sync：允许该类型的引用（即
&T）在多线程间共享。简单来说，如果一个类型在被多个线程同时读取时是安全的，它就是Sync的。 - 自动推导：这两个 Trait 由编译器自动实现。如果一个结构体的所有成员都是
Send，那么该结构体自动就是Send。
2. 基于所有权的数据竞争预防
Rust 的所有权和借用规则在并发中起到了决定性作用：
- 唯一修改权：Rust 规定同一时间只能存在一个可变引用（
&mut T）。这意味着如果一个线程正在写入数据，其他线程甚至无法获得该数据的只读引用，从根源上在编译期杜绝了数据竞争（Data Race）。 - 静态生命周期检查：编译器会确保线程中使用的引用在整个线程运行期间都有效，防止了并发环境下的“悬垂指针”问题。
3. 安全的共享所有权：Arc 与 Mutex
当需要在多线程间共享并修改数据时，Rust 强制使用特定的容器：
- Arc<T> (Atomic Reference Counting)：原子引用的智能指针，用于在多个线程间安全地共享同一块内存的所有权。
- Mutex<T> (互斥锁)：与 C++ 不同，Rust 的
Mutex包裹数据而非锁逻辑。你必须先通过lock()获取锁才能访问内部数据，且锁会在作用域结束时利用 RAII 自动释放。这种设计强制执行了“先加锁再访问”的原则。
4. 消息传递并发 (Channels)
Rust 积极践行“不要通过共享内存来通信，而要通过通信来共享内存”的哲学。
- mpsc (Multi-producer, single-consumer)：标准库提供的异步通道。
- 所有权转移：当你把一个对象发送进通道时，该对象的所有权会立即转移给接收者。发送方在发送后无法再访问该对象，这在编译时就保证了同一时刻只有一个线程能操作该数据。
总结
在开发实践中，Rust 的并发特征意味着：只要你的代码能通过编译，它就绝不会出现数据竞争。 开发者可以将精力从排查随机崩溃的内存错误中解放出来，专注于构建高并发的系统逻辑。
参考资料：
1. Send and Sync