Rust 编程视频教程（进阶）——019 sync 和 send trait 的可扩展并发

视频地址

头条地址：https://www.ixigua.com/i6775861706447913485
Ｂ站地址：https://www.bilibili.com/video/av81202308/

源码地址

github地址：https://github.com/anonymousGiga/learn_rust

讲解内容

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，甚至都不需要实现任何方法。他们只是用来加强并发相关的不可变性的。