多线程环境下临时对象的生命周期延长问题

你的代码中，临时对象的生命周期只延长到主线程里std::thread对象t的构造表达式完成，也就是t构造好之后，主线程里相关的临时对象就会被销毁。不过不用担心悬空引用的问题，因为thread_func的const Widget&参数绑定的并不是主线程里的临时对象，而是std::thread内部存储的一个Widget副本。

具体原因拆解： #

• std::thread的参数传递机制：
  调用std::thread构造函数时，所有传入的参数都会执行decay_copy操作——即把参数复制（或移动）到std::thread内部的独立存储中，这个存储和主线程栈完全分离，专门供新线程使用。你代码里的std::move(w)将w转为右值，触发decay_copy时会通过移动构造生成内部的Widget副本，而非普通复制。

• 临时对象生命周期规则的边界：
  你熟悉的“临时对象绑定到const T&时，生命周期延长至调用表达式完成”的规则，仅在同一线程的同步调用中生效。比如单线程里的g(h())，g是同步执行的，整个g(h())表达式要等g执行完毕才算结束，所以临时对象能活到g执行完成。
  但多线程场景下，thread_func是在新线程异步执行的，主线程的std::thread构造表达式不会等待thread_func执行完毕才结束。主线程内的临时对象（如果存在）只会活到t构造完成，之后就会被销毁，但这和thread_func引用的内部副本毫无关联。

• 需要警惕的风险点：
  如果你传递的是原始对象的直接引用（比如用std::cref(w)），情况就完全不同了：thread_func的const Widget&会绑定到主线程中的w，如果主线程在thread_func执行完毕前就销毁了w（比如w是栈上对象，主线程提前退出作用域），就会出现悬空引用，引发未定义行为。

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