面试题：Rust中move闭包与非move闭包在多线程场景下的区别

何时使用带有move关键字的闭包传递给线程

当传递给线程的闭包需要获取并拥有其捕获环境中的变量所有权时，应使用带有move关键字的闭包。这通常发生在闭包捕获的变量在闭包执行期间需要在不同线程间移动，或者闭包执行时间较长，需要确保捕获变量的生命周期与线程生命周期一致。例如，如果主线程中的一个局部变量需要在线程中使用，且主线程可能在该线程结束前结束，就需要使用move闭包来确保该变量在新线程中能正确使用。

使用move闭包和非move闭包在线程间传递数据时可能出现的问题

非move闭包：
- 问题：如果闭包捕获的变量在主线程中还有其他地方使用，并且线程执行时间较长，可能会导致悬垂引用问题。因为闭包捕获的是变量的引用，当主线程结束或变量离开作用域时，闭包中的引用会指向无效内存。
- 示例：

use std::thread;

fn main() {
    let data = String::from("hello");
    let handle = thread::spawn(|| {
        println!("{}", data);
    });
    handle.join().unwrap();
}

上述代码编译会报错，因为闭包没有使用move关键字，尝试捕获data的引用，但data在闭包结束前可能会离开作用域。 2. move闭包：

问题：如果move闭包捕获的变量是不可复制的类型，并且主线程在闭包执行期间还试图访问该变量，会导致编译错误。因为move闭包会获取变量的所有权，主线程失去对变量的访问权。
示例：

use std::thread;

fn main() {
    let data = String::from("hello");
    let handle = thread::spawn(move || {
        println!("{}", data);
    });
    // 这里尝试访问data会编译错误
    // println!("{}", data);
    handle.join().unwrap();
}

在上述代码中，如果取消注释println!("{}", data);，会导致编译错误，因为data的所有权被move闭包获取。

解决方案

针对非move闭包悬垂引用问题：使用move关键字，让闭包获取变量所有权，避免悬垂引用。例如修改上述非move闭包的代码为：

use std::thread;

fn main() {
    let data = String::from("hello");
    let handle = thread::spawn(move || {
        println!("{}", data);
    });
    handle.join().unwrap();
}

针对move闭包中主线程无法访问变量问题：
- 克隆数据：如果变量类型实现了Clone trait，可以克隆变量，主线程和新线程分别使用克隆后的副本。

use std::thread;

fn main() {
    let data = String::from("hello");
    let cloned_data = data.clone();
    let handle = thread::spawn(move || {
        println!("{}", cloned_data);
    });
    println!("{}", data);
    handle.join().unwrap();
}

使用共享数据和同步机制：如使用Arc（原子引用计数）和Mutex（互斥锁）来实现线程间共享数据。

use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let data = Arc::new(Mutex::new(String::from("hello")));
    let cloned_data = data.clone();
    let handle = thread::spawn(move || {
        let mut data = cloned_data.lock().unwrap();
        println!("{}", data);
    });
    let mut data = data.lock().unwrap();
    println!("{}", data);
    handle.join().unwrap();
}

这样主线程和新线程可以通过Arc共享Mutex保护的数据，通过Mutex来同步访问。

星途面试题库

面试题：Rust中move闭包与非move闭包在多线程场景下的区别

知识考点

面试题答案

何时使用带有move关键字的闭包传递给线程

使用move闭包和非move闭包在线程间传递数据时可能出现的问题

解决方案