答案。

历史上，多线程的工作伴随着崩溃、竞争条件和内存泄漏，特别是在不受控制的内存交换情况下。Rust在类型级别实现了线程安全的概念——对象只有在实现必要的trait（Send, Sync）时才能传递到线程中。线程通过std::thread::spawn创建，线程之间的通信通过通道或控制变异的共享内存（Mutex, Arc）进行。

**问题：**手动管理同步很复杂且危险。在没有明确所有权转移的情况下，任意对象在线程之间传递会导致竞争条件和崩溃。

**解决方案：**只有显式可移动（move）的对象或通过Arc、Mutex共享的对象，以及内置的消息通道（std::sync::mpsc, crossbeam）。这将最小化与同步和异步数据交换相关的错误：所有权始终明确。

代码示例：

use std::thread;
use std::sync::mpsc;

fn main() {
    let (tx, rx) = mpsc::channel();
    thread::spawn(move || {
        tx.send(String::from("Hello from thread!")).unwrap();
    });
    let received = rx.recv().unwrap();
    println!("Received: {}", received);
}

关键特性：

仅通过安全抽象（通道或Arc/Mutex）在线程之间传递数据
对于在线程之间移动的任何对象都要求实现Send/Sync
通过类型系统隐式禁止竞争状态

诱导性问题。

在通过move传递对象后，可以继续在主线程中使用它吗？

不可以，一旦对象被移动（例如，在thread::spawn中的闭包中），就无法在父线程中使用，编译器将不会允许代码编译。

可以在线程之间传递可变引用（&mut T）吗？

不可以，可变引用&mut T只能在一个实例中存在，trait Send对它未默认实现。对于可变数据的操作使用Mutex/Arc包装。

为什么不能使用Rc<T>在线程之间共享所有权？

Rc<T>不实现Sync和Send，因为其内部计数器不是线程安全的。用于线程安全的是Arc<T>（原子引用计数器）。

// 比较Rc和Arc
use std::sync::Arc;
let x = Arc::new(5);
// 可以克隆并在线程之间共享

常见错误和反模式

尝试在线程之间传递Rc<T>或没有Send/Sync的对象
在未保护的包装外使用可变引用
将关闭的通道留空而未处理

现实生活中的例子

消极案例

开发者决定通过Rc<String>在线程之间共享字符串，将Rc放入thread::spawn中。代码仅在通过unsafe强制转换后才会编译，此后应用程序可能会崩溃或处理损坏的数据。

优点：

代码简单

缺点：

确保竞争状态、崩溃

积极案例

使用Arc<String> + Mutex<String>进行安全访问，或通过通道传递消息，而不共享所有权。