Rust 编程-019 sync和send trait 可扩展并发

讲解内容

1、有两个并发概念内嵌于语言中：std::marker中的Sync和Send trait。

2、通过Send允许在线程间转移所有权

（1）Send标记trait表明类型的所有权可以在线程间传递。几乎所有的Rust类型都是Send的，但是例外：例如Rc是不能Send的。

（2）任何完全由Send类型组成的类型也会自动被标记为Send。

3、Sync允许多线程访问

（1）Sync 标记 trait 表明一个实现了 Sync 的类型可以安全的在多个线程中拥有其值的引用，即，对于任意类型 T，如果 &T（T 的引用）是 Send 的话 T 就是 Sync 的，这意味着其引用就可以安全的发送到另一个线程。

（2）智能指针 Rc 也不是 Sync 的，出于其不是 Send 相同的原因。RefCell和 Cell 系列类型不是 Sync 的。RefCell 在运行时所进行的借用检查也不是线程安全的，Mutex 是 Sync 的。

4、手动实现Send和Sync是不安全的

通常并不需要手动实现 Send 和 Sync trait，因为由 Send 和 Sync 的类型组成的类型，自动就是 Send 和 Sync 的。因为他们是标记 trait，甚至都不需要实现任何方法。他们只是用来加强并发相关的不可变性的。