在 Rust 中，线程安全是通过哪些机制来保障的？请解释 Send 和 Sync 这两个 trait 各自的作用，以及它们之间的区别。

回答思路

1. 【回答框架 1】Rust 通过所有权和借用检查在编译期消除数据竞争，线程安全由类型系统保证。Send 表示类型的所有权可以在线程间转移，Sync 表示类型可以被多个线程同时共享引用。
2. 【回答框架 2】Send 针对所有权转移：若 T 实现 Send，则 T 可安全移动到另一线程。绝大多数类型自动实现，但 Rc 等非线程安全类型不实现。Sync 针对共享引用：若 T 实现 Sync，则 &T 可跨线程共享，即 T 的不可变引用可被多线程并发访问。
3. 【回答框架 3】两者关系：T 是 Sync 当且仅当 &T 是 Send。常见组合：Mutex<T> 实现 Sync（若 T: Send），Arc<T> 实现 Send 和 Sync（若 T: Send + Sync）。编译器自动为满足条件的类型实现，但可手动 unsafe 实现。
4. 【回答框架 4】线程安全的核心是避免数据竞争：Send 防止所有权转移导致的不安全，Sync 防止共享可变状态。Rust 通过 trait 约束在编译期拒绝不安全代码，运行时无需额外检查。
5. 【回答框架 5】实际使用中，多线程共享数据常用 Arc<Mutex<T>> 或 Arc<RwLock<T>>，利用 Send 和 Sync 保证安全；若需自定义类型跨线程，需确保内部字段满足相应约束。
6. 【关键点 1】Send 允许所有权跨线程转移，Sync 允许共享引用跨线程并发访问。
7. 【关键点 2】T: Sync 等价于 &T: Send。
8. 【关键点 3】Rc 不实现 Send/Sync，Arc 和 Mutex 提供线程安全封装。
9. 【关键点 4】编译器自动实现 trait，但可 unsafe 手动实现需谨慎。
10. 【关键点 5】线程安全由类型系统静态保证，避免数据竞争。
11. 【易错点 1】混淆 Send 和 Sync 的适用场景，误认为实现 Send 即可共享引用。
12. 【易错点 2】忽略 Sync 与 Send 的等价关系，导致设计错误。
13. 【易错点 3】过度依赖 unsafe 实现 trait，可能引入未定义行为。