【Rust自学】16.4. 通过Send和Sync trait来扩展并发

喜欢的话别忘了点赞、收藏加关注哦，对接下来的教程有兴趣的可以关注专栏。谢谢喵！(=^･ω･=)

16.4.1. Send和Sync trait

Rust语言本身的并发特性较少，目前所提及的并发特性都来自于标准库，而不是语言本身。其实无需局限于标准库的开发，可以自己实现并发。

但在Rust语言中有两个并发概念：

• std::marker::Sync trait
• std::marker::Send trait

这两个trait叫标签trait，因为他们没有定义任何方法，只供标记特性。

16.4.2. Send：允许线程间转移所有权

在上一篇文章我们曾尝试在跨线程的情况下传递Rc<T>，失败了，失败原因就是没有实现Send trait。

Rust里几乎所有的类型都实现了Send：除了原始指针之外，几乎所有的基础类型都实现了Send trait。但Rc<T>没有实现Send，它只能用于单线程场景。

任何完全由Send类型组成的类型也被标记为Send，相当于实现了Send trait。

16.4.3. Sync：允许从多线程访问

实现Sync trait的类型可以安全地被多个线程引用。也就是说，如果T实现了Sync trait，那么&T就实现了Send trait。

基础类型都实现了Sync，任何完全由Sync组成的类型也相当于实现了Sync。但是Rc<T>不是Sync，RefCell<T>和Cell<T>家族也不是Sync，但是Mutex<T>是Sync。

16.4.4. 手动实现Send和Sync是不安全的

由于由Send和Sync特征组成的类型也自动具有Send和Sync特征，因此我们不必手动实现这些特征。作为标记特征，它们甚至没有任何方法可以实现。它们只是用于强制执行与并发相关的不变量。

手动实现这些特征涉及实现不安全的 Rust 代码。我们将在以后的文章讨论使用不安全的Rust代码（关于这部分可以看 The Rustonomicon）；目前，重要的信息是构建新的并发类型，而不是由Send和 Sync部件需要仔细考虑以维护安全保证。

总之一句话：不要尝试手动实现Send和Sync！！！