Rust 中 Send 和 Sync trait 的作用是什么？-JavaScript中文网-JavaScript教程资源分享门户

本题详细解读

Send Trait

Send trait 是一个标记 trait，它表示类型的所有权可以安全地在线程之间传递。Rust 的编译器会自动为大多数类型实现 Send，只要这些类型不包含任何非 Send 的类型。

例如，Rc<T> 是 Rust 中的引用计数类型，但它没有实现 Send，因为 Rc<T> 的引用计数是非线程安全的。如果你尝试将 Rc<T> 在线程之间传递，编译器会报错。

// www.javascriptcn.com code example
use std::rc::Rc;
use std::thread;

fn main() {
    let rc = Rc::new(5);
    let handle = thread::spawn(move || {
        println!("{}", rc);
    });
    handle.join().unwrap();
}

上面的代码会编译失败，因为 Rc<T> 没有实现 Send。

Sync Trait

Sync trait 也是一个标记 trait，它表示类型的引用可以安全地在多个线程之间共享。如果一个类型实现了 Sync，那么它的引用可以在多线程环境中被安全地共享。

例如，Mutex<T> 是 Rust 中的互斥锁类型，它实现了 Sync，因为 Mutex<T> 提供了线程安全的内部可变性。

// www.javascriptcn.com code example
use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let counter = Arc::new(Mutex::new(0));
    let mut handles = vec![];

    for _ in 0..10 {
        let counter = Arc::clone(&counter);
        let handle = thread::spawn(move || {
            let mut num = counter.lock().unwrap();
            *num += 1;
        });
        handles.push(handle);
    }

    for handle in handles {
        handle.join().unwrap();
    }

    println!("Result: {}", *counter.lock().unwrap());
}

上面的代码可以安全地运行，因为 Mutex<T> 实现了 Sync，并且 Arc<T> 也实现了 Sync，所以 Arc<Mutex<T>> 可以在多个线程之间安全地共享。

总结

Send 和 Sync 是 Rust 中用于确保线程安全的标记 trait。
Send 表示类型的所有权可以安全地在线程之间传递。
Sync 表示类型的引用可以安全地在多个线程之间共享。
Rust 的编译器会自动为大多数类型实现 Send 和 Sync，但某些类型（如 Rc<T>）由于内部实现的原因，没有实现这些 trait。

Rust 中 Send 和 Sync trait 的作用是什么？

推荐答案

本题详细解读

Send Trait

Sync Trait

总结