C++ std::thread未更新引用变量及线程构造报错问题排查

一、子线程未更新results[i]的原因 #

• 直接将results[i]作为参数传递给std::thread时，线程构造函数会拷贝传入的参数，子线程实际操作的是拷贝后的临时值，而非原vector中的元素，因此主线程看不到子线程的修改。
• 若要让子线程操作原容器的元素，必须用std::ref()包装参数以显式传递引用，例如：std::thread t(digit_sum, std::ref(results[i]), num);。这样线程才会持有对原results[i]的引用，修改才能同步到原向量。

二、列表初始化构造线程报错的原因 #

• std::thread的构造函数是可变参数模板，但C++编译器处理大括号初始化（{}）时，不会对可变参数模板进行参数推导——它会尝试寻找接受std::initializer_list的构造函数，而std::thread并没有这个构造函数，因此触发转换错误。
• 用lambda方式可行，是因为lambda是一个具体的可调用对象类型，大括号初始化时编译器可以直接匹配到std::thread接受单个可调用对象的构造函数，不存在参数推导问题。如果要直接传函数，应使用圆括号构造线程，例如std::thread t(digit_sum, num, std::ref(results[i]))，而非大括号。

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