std::thread构造时参数默认按值拷贝,即使函数参数为引用类型,线程内操作的仍是副本,不影响原变量;例如void foo(int& x){x=42;}中传入a,修改的是a的拷贝。

std::thread 构造时传参会被拷贝,不是引用
直接把变量名传给 std::thread 构造函数,默认按值传递(拷贝),哪怕函数参数声明为 int& 或 std::string&,线程里拿到的也只是原变量的副本。修改它不会影响主线程里的原始变量。
常见错误写法:
void foo(int& x) { x = 42; }
int main() {
int a = 0;
std::thread t(foo, a); // 错!a 被拷贝,foo 修改的是副本
t.join();
std::cout << a << "\n"; // 输出 0,不是 42
}
正确做法是显式用 std::ref 包装:
- 需要引用传递:用
std::ref(x),确保线程内操作的是原始变量 - 需要移动语义(比如大对象、不可拷贝类型):用
std::move(x),避免无谓拷贝 - 普通 POD 类型(
int、double等)按值传没问题,但别误以为能改原值
lambda 捕获比直接传参更灵活,但要注意生命周期
用 lambda 封装调用逻辑,可以自由选择捕获方式:[=](值捕获)、[&](引用捕获)、[x] or [&x](显式指定)。
立即学习“C++免费学习笔记(深入)”;
但必须注意:如果线程在 lambda 捕获了局部变量的引用,而该变量在主线程中已析构(比如函数返回、作用域结束),就会导致未定义行为。
- 安全做法:只对全局/静态变量或保证生命周期长于线程的对象用引用捕获
- 多数情况推荐值捕获(
[=])或显式拷贝([x = std::move(x)]) - 若必须传引用且变量是局部的,可考虑把变量声明为
static,或改用智能指针管理其生命周期
示例(安全值捕获):
int a = 10;
std::thread t([a]() { std::cout << "a = " << a << "\n"; }); // 拷贝 a
传递 std::unique_ptr 等不可拷贝对象必须用 std::move
std::unique_ptr、std::ofstream、自定义的 non-copyable 类型,不能被拷贝,因此不能直接传给 std::thread 构造函数——否则编译失败,报错类似 use of deleted function。
解决方法只有一种:用 std::move 转移所有权。
- 转移后,原变量变成空状态(
nullptr),不能再访问 - 线程函数签名必须接收右值引用(
std::unique_ptr)或按值接收(&& std::unique_ptr) - 不能用
std::ref或&,那会试图拷贝,直接编译不过
示例:
void process(std::unique_ptrp) { std::cout << *p << "\n"; } auto ptr = std::make_unique (123); std::thread t(process, std::move(ptr)); // 正确 // std::thread t(process, ptr); // 错!编译失败
std::thread 不支持默认参数和完美转发,需手动适配
std::thread 构造函数不处理函数的默认参数,也不会自动做模板参数推导级别的完美转发。如果你有一个带默认参数的函数:
void bar(int x, std::string s = "hello") { ... }
下面这行会编译失败:
std::thread t(bar, 42); // 错!s 没提供,且 std::thread 不识别默认值
解决方案只有两个:
- 显式补全所有参数:
std::thread t(bar, 42, "hello"); - 改用 lambda 封装:
std::thread t([&]() { bar(42); });
另外,若目标函数是模板或重载函数,std::thread 可能无法推导类型,此时需强制转型:
void overload(int); void overload(double); std::thread t(static_cast线程参数传递看着简单,实际最常踩的坑是“以为传了引用结果改不了”和“忘了(overload), 42);
std::move 导致编译失败”。尤其当函数签名和实参类型稍有不匹配,错误信息往往很长很绕,建议优先用 lambda + 值捕获兜底,复杂场景再精细控制所有权和引用。








