参数要求为“静态”借用值，不适用于非复制值

如何解决参数要求为“静态”借用值，不适用于非复制值

下面的代码不起作用，因为 thread::spawn 的参数要求为 some 借用 'static，我明白了：

fn main() {
    let some = "Some".to_string();
    let apple = Arc::new(&some);

    for _ in 0..10 {
        let apple = apple.clone();

        thread::spawn(move || {
            println!("{:?}",apple);
        });
    }
}

但是下面的方法是如何工作的呢？既然 String 不是 copy，为什么这也不会导致借来的价值活得不够长？ String 是否变为静态以适应线程代码？

fn main() {
    let some = "Some".to_string();
    let apple = Arc::new(some);

    for _ in 0..10 {
        let apple = apple.clone();

        thread::spawn(move || {
            println!("{:?}",apple);
        });
    }
}

解决方法

引用 Arc docs

类型 Arc<T> 提供类型 T 的值的共享所有权，分配在堆中。在 clone 上调用 Arc 会生成一个新的 Arc 实例，该实例指向与源 Arc 相同的堆分配，同时增加引用计数。当指向给定分配的最后一个 Arc 指针被销毁时，存储在该分配中的值（通常称为“内部值”）也会被删除。

Rust 中的共享引用默认不允许突变，Arc 也不例外：您通常无法获得对 Arc 中某些内容的可变引用。如果您需要通过 Arc 进行变异，请使用 Mutex、RwLock 或 Atomic 类型之一。

TL;DR：Arc 获得传递值的所有权。

如果值是一个引用，显然只有这个引用是共享的，而不是实际的数据。因为您正在将 Arc（或其克隆）移动到其他线程，Rust 无法知道它会存活多久，因此要求包含的数据为 'static。

,

为简单起见，您可以将 Arc 视为在它或其任何克隆处于活动状态时保持其包含的值处于活动状态。

在您的第一个示例中，包含的值是一些的引用。 但是引用可能只与它们借用的东西一样长。 因此，借用只能在 Arc 的 some 生命周期内保持活动状态，这意味着 Arc 本身可能只能在相同的生命周期内保持活动状态，否则它们会使借用活动保持太长时间。 这与 std::thread::spawn 的要求相冲突。

在您的第二个示例中，包含的值是移动到 Arc 中的 some 的实际字符串值。现在没有借用限制，因为 Arc 实际上拥有 String，并且只要它或其任何克隆还活着，就可以保持它的存在。 因此，如果有必要，Arc 可以在 'static 生命周期内保持活动状态 反过来，它可以使字符串保持活动状态。 这意味着 std::thread::spawn 的要求得到满足，因为克隆的 Arc 可以保持足够长的时间。