深入理解Rust中的 Send 和 Sync trait

 更新时间:2025年11月24日 11:11:58   作者:alwaysrun  
Rust中的标记 trait(Marker Trait)Send和Sync是并发安全的核心基石,这篇文章给大家介绍Rust中的Send和Sync trait,感兴趣的朋友跟随小编一起看看吧

Rust中的标记 trait(Marker Trait)SendSync 是并发安全的核心基石。用于标记类型的并发安全属性,让编译器在编译时检查线程间数据传递的合法性,从根源上避免数据竞争(Data Race)。

  • Send:类型的值能不能在线程之间“移动所有权”。
  • Sync:类型的值能不能在多个线程中“共享引用 &T”。
    • 对同一个值进行并发访问(只读)是内存安全的。
    • 并发修改仍然要靠锁/原子/其他机制。

Send

一个类型 TSend,表示把 T 的一个 值 从一个线程移动到另一个线程,不会引发数据竞争或内存安全问题。

  • 移动的是 所有权,而不是引用。
  • 移动之后,原线程不能再用这个值(所有权已经被 move)。

绝大多数类型自动实现 Send,以下一些例外(!Send):

  • Rc<T>:引用计数是非原子操作,跨线程转移会导致计数竞争(数据竞争)。
  • RefCell<T>/Cell<T>:内部可变性无同步机制,跨线程转移后,多个线程可能同时修改数据。
  • 裸指针 *const T/*mut T:无安全保证,直接跨线程转移可能导致悬垂指针或数据竞争。
  • UnsafeCell<T>:内部可变性的底层实现,本身 !Send(但基于它的线程安全类型如 Mutex 会手动实现 Send)。
use std::thread;
fn main() {
    let v = vec![1, 2, 3];
    // Vec<i32> 是 Send,通过move把所有权移到线程中
    let handle = thread::spawn(move || {
        println!("{:?}", v);
    });
    handle.join().unwrap();
}

sync

一个类型 TSync,表示可以安全地被多个线程共享(即 &TSend)。即,如果一个类型的引用 &T 能安全跨线程传递,那么这个类型就是 Sync(多个线程持有 &T 不会导致数据竞争)。

任何允许通过 共享引用 &T 获得可变访问 且没有同步保护的类型,都不是 Sync

  • Cell<T> / RefCell<T>:允许通过 &T 改变内部数据(“内部可变性”),但不保证线程安全。
  • Rc<T>:通过共享引用可以克隆 Rc 得到更多引用,从而在多线程下导致竞争。
  • 非线程安全的 FFI 对象,如果通过 & 能调用会修改内部状态的方法。
use std::sync::{Arc, Mutex};
use std::thread;
fn main() {
    let data = Arc::new(Mutex::new(5)); // Arc<Mutex<i32>>
    let data_clone = data.clone();
    thread::spawn(move || {
        let mut guard = data_clone.lock().unwrap(); // 加锁,独占访问
        *guard += 1;
    }).join().unwrap();
    println!("{}", data.lock().unwrap()); // 输出 6
}

auto trait

SendSync 都是 auto trait,编译器会根据类型的组成部分自动推导实现。

性质含义常见例子
Send + Sync可以在线程间移动,也可以多线程共享引用i32, Mutex<T>
Send + !Sync可以在线程间移动,但不能多线程共享引用一些 *mut T封装,Sender<T>
!Send + Sync不能跨线程移动;不移动,只读共享是安全的(较少见)少数特殊 FFI 对象
!Send + !Sync既不能跨线程移动,也不能多线程共享引用Rc<RefCell<T>>

只有在特殊情况下(写 底层库 / FFI 封装 / 自己的锁和原子数据结构 时)才会需要手动实现SendSync

  • unsafe impl Send / unsafe impl Sync 是非常严肃的承诺
  • 要自己保证所有可能的并发访问路径都不会产生数据竞争、悬垂指针等。
use std::sync::Mutex;
// 自定义类型:用 Mutex 保护裸指针(裸指针本身 !Send/!Sync)
struct SafePtr<T>(Mutex<*mut T>);
impl<T> SafePtr<T> {
    fn new(value: T) -> Self {
        let ptr = Box::into_raw(Box::new(value)); // 裸指针指向堆内存
        SafePtr(Mutex::new(ptr))
    }
    // 安全访问:通过 Mutex 加锁,保证独占访问
    fn get(&self) -> Option<&T> {
        let guard = self.0.lock().ok()?;
        unsafe { (*guard).as_ref() } // 裸指针解引用需 unsafe,但锁保证安全
    }
}
// 手动实现 Send/Sync:因为内部用 Mutex 保护,访问裸指针是线程安全的
unsafe impl<T> Send for SafePtr<T> {}
unsafe impl<T> Sync for SafePtr<T> {}
// 测试:跨线程共享 SafePtr
fn main() {
    let ptr = SafePtr::new(5);
    let ptr_clone = Arc::new(ptr);
    let ptr_clone2 = ptr_clone.clone();
    thread::spawn(move || {
        println!("线程内访问:{}", ptr_clone2.get().unwrap()); // 安全
    }).join().unwrap();
}

到此这篇关于深入理解Rust中的 Send 和 Sync trait的文章就介绍到这了,更多相关Rust Send 和 Sync trait内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • Rust生命周期之验证引用有效性与防止悬垂引用方式

    Rust生命周期之验证引用有效性与防止悬垂引用方式

    本文介绍了Rust中生命周期注解的应用,包括防止悬垂引用、在函数中使用泛型生命周期、生命周期省略规则、在结构体中使用生命周期、静态生命周期以及如何将生命周期与泛型和特质约束结合,通过这些机制,Rust在编译时就能捕获内存安全问题
    2025-02-02
  • 详解Rust中#[derive]属性怎么使用

    详解Rust中#[derive]属性怎么使用

    在 Rust 中,#[derive] 是一个属性,用于自动为类型生成常见的实现,下面就跟随小编一起来学习一下Rust中derive属性的具体使用吧
    2024-11-11
  • rust中async/await的使用示例详解

    rust中async/await的使用示例详解

    在Rust中,async/await用于编写异步代码,使得异步操作更易于理解和编写,通过使用await,在async函数或代码块中等待Future完成,而不会阻塞线程,允许同时执行其他Future,这种机制简化了异步编程的复杂性,使代码更加直观
    2024-10-10
  • 解读Rust的Rc<T>:实现多所有权的智能指针方式

    解读Rust的Rc<T>:实现多所有权的智能指针方式

    Rc<T> 是 Rust 中用于多所有权的引用计数类型,通过增加引用计数来管理共享数据,只有当最后一个引用离开作用域时,数据才会被释放,Rc<T> 适用于单线程环境,并且只允许不可变共享数据;需要可变共享时应考虑使用 RefCell<T> 或其他解决方案
    2025-02-02
  • 如何使用Rust的向量存储值列表

    如何使用Rust的向量存储值列表

    本文介绍了在Rust中使用向量存储值列表的方法,包括创建、更新、读取、遍历、存储多种类型以及内存释放等方面,向量是Rust中常用且强大的集合类型,熟练掌握其用法有助于编写高效且安全的代码
    2025-02-02
  • Rust声明宏在不同K线bar类型中的应用小结

    Rust声明宏在不同K线bar类型中的应用小结

    在K线bar中,往往有很多不同分时k线图,比如1,2,3,5,,,,,60,120,250,300…,,不同分钟类型,如果不用宏,那么手写会比较麻烦,下面就试用一下宏来实现不同类型的bar,感兴趣的朋友一起看看吧
    2024-05-05
  • rust实现post小程序(完整代码)

    rust实现post小程序(完整代码)

    这篇文章主要介绍了rust实现一个post小程序,本文通过示例代码给大家介绍的非常详细,感兴趣的朋友跟随小编一起看看吧
    2024-04-04
  • Rust 中判断两个 HashMap 是否相等

    Rust 中判断两个 HashMap 是否相等

    在Rust标准库中,HashMap 实现了 PartialEq 和 Eq trait,但是这些trait的实现是基于严格的结构相等性,包括元素的顺序,这篇文章主要介绍了Rust 中判断两个 HashMap 是否相等,需要的朋友可以参考下
    2024-04-04
  • Rust应用调用C语言动态库的操作方法

    Rust应用调用C语言动态库的操作方法

    这篇文章主要介绍了Rust应用调用C语言动态库,本文记录了笔者编写一个简单的C语言动态库,并通过Rust调用动态库导出的函数,需要的朋友可以参考下
    2023-01-01
  • Rust泛型编程深入实例介绍应用技巧

    Rust泛型编程深入实例介绍应用技巧

    这篇文章主要介绍了Rust泛型编程,泛型是Rust中一种强大的特性,它允许我们编写通用的代码,适用于不同类型,通过掌握泛型的高级应用,我们可以编写更加灵活、可复用的代码,需要的朋友可以参考下
    2026-05-05

最新评论