c++的std::thread如何正确地传递参数? (值传递与引用)

std::thread构造时参数默认值传递,引用需用std::ref包装;移动语义用std::move转移独占资源;lambda捕获与参数传递语义不同,推荐统一用参数传递,且所有引用对象生命周期须由程序员确保长于线程运行时间。

std::thread 构造时参数默认是值传递

当你写 std::thread t(func, a, b)ab 会被**拷贝(或移动)进线程私有栈**,即使它们在主线程中是引用类型。这意味着:修改线程内参数副本,不会影响原变量;原变量生命周期结束,线程里用的仍是有效副本。

常见错误是误以为传了引用就能在线程里改原变量:

int x = 42;
auto f = [](int& y) { y = 100; };
std::thread t(f, x);  // ❌ 编译失败:无法绑定非常量左值引用到右值(临时拷贝)
t.join();

因为 x 被拷贝后是个临时值,不能绑定到 int&

想在线程里修改原变量?必须用 std::ref

要用引用语义,得显式包装:用 std::ref(x) 把变量转成可拷贝的引用包装器。它内部保存的是指针,所以能跨线程访问原内存。

  • std::ref(x) 用于非 const 左值引用参数
  • std::cref(x) 用于 const 左值引用参数
  • 包装器本身可拷贝,但所引用的对象生命周期必须长于线程运行时间
int x = 42;
auto f = [](int& y) { y = 100; };
std::thread t(f, std::ref(x));  // ✅ 正确
t.join();
// 此时 x == 100

如果 xt.join() 前就析构了,行为未定义 —— 这是最容易踩的坑。

移动语义和右值参数要小心 std::move

对独占资源(如 std::unique_ptr、临时 std::string),你想转移所有权给线程,就得用 std::move

auto ptr = std::make_unique(42);
auto f = [](std::unique_ptr p) { /* 使用 p */ };
std::thread t(f, std::move(ptr));  // ✅ 转移所有权,ptr 变为空
t.jo

in();

注意:std::move(ptr) 后,ptr 不再有效;若忘记 std::move,编译会报错(unique_ptr 不可拷贝)。

但别对普通对象(如 intstd::string)滥用 std::move:编译器通常已做 RVO/NRVO,手动 move 可能反而禁用优化。

lambda 捕获 vs thread 参数传递:别混用

捕获列表([&x][=])发生在 lambda 创建时,而 std::thread 参数是在线程启动时传入。两者生命周期和语义完全不同:

  • [&x] 捕获引用 → 线程里直接访问 x,但要求 x 必须活到线程结束
  • std::thread(f, std::ref(x)) → 显式传引用,语义更清晰,且与 lambda 是否捕获无关
  • 混用易出错:比如 [&x] + std::thread(..., x),既捕获又传值,逻辑混乱

推荐统一用参数传递方式(而非捕获),尤其当函数对象要复用或解耦时。

最常被忽略的一点:所有通过 std::ref 或引用捕获访问的变量,其生存期管理完全由程序员负责 —— std::thread 不做任何检查,崩溃往往只在特定调度下才暴露。