Send 与 Sync trait

学习目标

// Send: 类型的所有权可以在线程间转移
// Sync: 类型可以被多个线程安全地共享引用

// 大部分类型自动实现 Send 和 Sync
// 标记类型（marker traits）：没有方法，只有语义

use std::rc::Rc;

// Rc 不是 Send，因为引用计数不是原子的
// 所以不能跨线程传递

struct MyType {
    data: Rc<i32>,  // Rc 使 MyType 不是 Send
}

// 如果需要跨线程，用 Arc 替代 Rc

// 慎用！只在确保线程安全时才手动实现
struct MySpecialType {
    // ...
}

// unsafe impl Send for MySpecialType {}
// unsafe impl Sync for MySpecialType {}