Rust中std::thread::spawn为何无法像C++那样直接向线程函数传参？

是否可以像C++那样直接给线程传递函数和对应参数？ #

标准库内置的std::thread::spawn没有提供这类重载，不过你可以自己封装工具函数实现完全一致的用法，单参数场景的封装示例如下：

fn spawn_with_args<F, A, R>(f: F, arg: A) -> std::thread::JoinHandle<R>
where
    F: FnOnce(A) -> R + Send + 'static,
    A: Send + 'static,
    R: Send + 'static,
{
    std::thread::spawn(move || f(arg))
}

// 调用方式和C++完全一致
fn foo(b: i32) {}
let bb = 1;
let t1 = spawn_with_args(foo, bb);

如果需要支持多参数，要么对不同参数数量做泛型重载，要么把参数打包成元组传入即可。

标准库没有提供这类API是不是刻意设计？ #

是刻意设计的，核心原因有两点：

• 符合Rust 显式优于隐式的设计原则：闭包的move关键字可以清晰的表明变量所有权的转移行为，不会出现C++中线程参数隐式拷贝/移动带来的意外问题。
• 避免API冗余：如果要原生支持直接传参，标准库要么需要为0到N个参数的函数都做spawn重载，要么需要引入额外的参数打包解包逻辑，反而会提升API的学习和使用成本。而闭包写法已经可以覆盖所有传参场景，灵活度也更高，完全不需要额外的API支持。

这种场景下闭包是不是不可替代？ #

本质上不是不可替代，你完全可以通过自定义结构体实现FnOnce trait的方式完成相同逻辑，只是代码量会大很多。所谓"闭包是语法糖"的说法是成立的，这里的闭包只是帮你简化了捕获变量、生成匿名类型实现对应trait的过程，是Rust为了提升开发效率提供的便捷写法，没有不可替代的能力。

内容的提问来源于stack exchange，提问作者calvin