26、Rust 中的线程安全与元编程

Rust 中的线程安全与元编程

1. Rust 中的线程安全

1.1 线程安全概述

线程安全指的是一个类型或一段代码在被多个线程执行或访问时，不会导致意外行为。它确保数据在读取时保持一致，并且在多个线程写入时不会被破坏。Rust 主要保护我们免受数据竞争，但不旨在防止死锁，因为死锁难以检测，Rust 将此任务交给了第三方 crate，如 parking_lot 。

1.2 spawn 方法的类型签名

Rust 通过 spawn 方法的类型签名来保护数据竞争，其类型签名如下：

fn spawn<F, T>(f: F) -> JoinHandle<T>
    where F: FnOnce() -> T,
          F: Send + 'static,
          T: Send + 'static

各部分含义如下：
- F: FnOnce() -> T ：表示 F 实现了一个只能调用一次的闭包，即 f 是一个按值捕获所有内容并移动环境中引用项的闭包。
- F: Send + 'static ：意味着闭包必须实现 Send 特性，并且具有 'static 生命周期，即闭包环境中引用的任何类型也必须