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

std::thread 构造时参数默认是值传递
当你写 std::thread t(func, a, b),a 和 b 会被**拷贝(或移动)进线程私有栈**,即使它们在主线程中是引用类型。这意味着:修改线程内参数副本,不会影响原变量;原变量生命周期结束,线程里用的仍是有效副本。
常见错误是误以为传了引用就能在线程里改原变量:
int x = 42;
auto f = [](int& y) { y = 100; };
std::thread t(f, x); // ❌ 编译失败:无法绑定非常量左值引用到右值(临时拷贝)
t.join();因为 x 被拷贝后是个临时值,不能绑定到 int&。
想在线程里修改原变量?必须用 std::ref
要用引用语义,得显式包装:用 std::ref(x) 把变量转成可拷贝的引用包装器。它内部保存的是指针,所以能跨线程访问原内存。
立即学习“C++免费学习笔记(深入)”;
-
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如果 x 在 t.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.join();
注意:std::move(ptr) 后,ptr 不再有效;若忘记 std::move,编译会报错(unique_ptr 不可拷贝)。
但别对普通对象(如 int、std::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 不做任何检查,崩溃往往只在特定调度下才暴露。










