欢迎来到尧图网

客户服务 关于我们

您的位置:首页 > 文旅 > 明星 > 【Rust自学】16.4. 通过Send和Sync trait来扩展并发

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

2025/2/25 11:15:59 来源:https://blog.csdn.net/weixin_71793197/article/details/145387903  浏览:    关键词:【Rust自学】16.4. 通过Send和Sync trait来扩展并发

喜欢的话别忘了点赞、收藏加关注哦(加关注即可阅读全文),对接下来的教程有兴趣的可以关注专栏。谢谢喵!(=・ω・=)
请添加图片描述

16.4.1. SendSync 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>不是SyncRefCell<T>Cell<T>家族也不是Sync,但是Mutex<T>Sync

16.4.4. 手动实现SendSync是不安全的

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

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

总之一句话:不要尝试手动实现SendSync!!!

版权声明:

本网仅为发布的内容提供存储空间,不对发表、转载的内容提供任何形式的保证。凡本网注明“来源:XXX网络”的作品,均转载自其它媒体,著作权归作者所有,商业转载请联系作者获得授权,非商业转载请注明出处。

我们尊重并感谢每一位作者,均已注明文章来源和作者。如因作品内容、版权或其它问题,请及时与我们联系,联系邮箱:809451989@qq.com,投稿邮箱:809451989@qq.com

热搜词