是否可以在不进行任何克隆的情况下与线程共享数据？

Question

当我将工作委派给线程时，我通常会拥有一段数据，这些数据将超过所有线程的寿命，例如以下示例中的numbers ：

use std::thread;

fn main() {
    let numbers = vec![1, 2, 3];

    let thread_a = thread::spawn(|| println!("{}", numbers.len()));
    let thread_b = thread::spawn(|| println!("{}", numbers.len()));

    thread_a.join().unwrap();
    thread_b.join().unwrap();
}

它没有在任何地方被修改，并且由于join的存在，可以确保使用它完成线程。 但是，Rust的借阅检查器无法判断：

error[E0373]: closure may outlive the current function, but it borrows `numbers`, which is owned by the current function
 --> src/main.rs:6:34
  |
6 |     let thread_a = thread::spawn(|| println!("{}", numbers.len()));
  |                                  ^^                ------- `numbers` is borrowed here
  |                                  |
  |                                  may outlive borrowed value `numbers`
  |
note: function requires argument type to outlive `'static`
 --> src/main.rs:6:20
  |
6 |     let thread_a = thread::spawn(|| println!("{}", numbers.len()));
  |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
help: to force the closure to take ownership of `numbers` (and any other referenced variables), use the `move` keyword
  |
6 |     let thread_a = thread::spawn(move || println!("{}", numbers.len()));
  |                                  ^^^^^^^

到目前为止，我所看到的解决方案都涉及克隆数据（或克隆数据的Arc ）。 可以不进行任何克隆而做到吗？

Answer 1

您可能有一个错误的主意：克隆Arc只是增加一个参考计数器并复制一个指针。 它不执行任何其他分配。 当然，创建Arc涉及分配，但是您已经在分配以构造Vec ，因此再增加一个固定大小的分配不太可能受到影响。

如果您真正需要的只是长度，则可以在线程的闭包之外进行计算并将其存储在变量中； 一个usize跨线程边界没有问题。

问题在于，编译器无法从join()的使用中推断出给定线程绑定了有限的生存期……甚至没有尝试。

拉斯特1.0之前， 有一个thread::scoped构造函数，允许你在非传'static引用，但必须是去稳定由于内存的安全问题。 请参阅如何将对堆栈变量的引用传递给线程？ 供选择。