4 `Send` 与 `Sync` on 编程那些事儿

4.1 标记 Trait

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/send-sync/marker-traits.html

Rust 如何禁止跨线程共享访问？答案在两个 trait 中：

Send 与 Sync 是 unsafe trait。只要类型只包含 Send 与 Sync 类型，编译器会自动为你派生它们。在你知道这样做有效时，也可以手动实现它们。

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/send-sync/send.html

若把 T 值移到另一线程是安全的，则类型 T 是 Send。

把所有权移到另一线程的效果是：析构函数会在那个线程中运行。因此问题是：何时可以在一个线程中分配值，而在另一个线程中释放它。

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/send-sync/sync.html

若同时从多个线程访问 T 值是安全的，则类型 T 是 Sync。

更精确的定义是：

T 是 Sync，当且仅当 &T 是 Send

这句话本质上是在简短说明：若某类型对共享使用是线程安全的，那么跨线程传递它的引用也是线程安全的。

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/send-sync/examples.html

你遇到的多数类型都是 Send + Sync：

泛型类型通常在类型参数是 Send + Sync 时也是 Send + Sync。