C++传入vector参数时detach线程捕获变量值异常问题

这个现象是未定义行为（Undefined Behavior）在不同栈帧布局下的表现差异，两个函数的写法本身都存在悬空引用的bug，withoutVectorArg输出正常只是巧合，和形参q是否被函数内逻辑使用没有直接关系：

• 两个函数中的waitTime都是按值传递的形参，生命周期完全绑定在当前函数的栈帧上：函数执行完成返回的瞬间，形参占用的栈内存就会被系统回收，不再属于有效可访问的内存。
• 你在创建子线程时，lambda用[&waitTime]的写法按引用捕获了这个局部形参，之后调用detach()让子线程独立运行，子线程的执行时机由操作系统调度决定。如果子线程开始执行读waitTime的逻辑时，父函数已经退出、waitTime的内存已经被回收，就会读到无效的垃圾值。
• 两个函数表现不同的核心原因是栈帧布局和退出时的栈操作差异：
  • withVectorArg多了一个std::vector<int>类型的形参q，函数退出时会触发q的析构逻辑，析构过程会覆写栈上的内存，原本存储waitTime的栈位置被写入了其他数据，子线程读的时候就拿到了类似3.38411e-312的乱值。
  • withoutVectorArg的栈帧只有一个double类型的形参，函数退出时没有复杂类型的析构操作，waitTime所在的栈位置短时间内没有被新数据覆写，子线程读的时候刚好拿到了之前写入的1，这完全是概率性的偶然结果，不代表代码写法正确。

不要按引用捕获生命周期短于线程执行周期的局部/形参变量，直接按值捕获让线程持有独立的变量副本即可，从根源上避免悬空引用：

// 把捕获列表从[&waitTime]改成[waitTime]，按值拷贝
std::thread thread([waitTime]() {
    std::cout << "[withVectorArg] waitTime: " << waitTime << "s" << '\n';
});

注意：使用detach()脱离线程管控时，必须保证子线程访问的所有数据的生命周期都长于线程的整个执行周期，否则必然触发内存非法访问问题。未定义行为不存在“稳定复现”的保证，哪怕代码连续跑一百次输出正常，也不能证明写法是安全的。

内容的提问来源于stack exchange，提问作者עתודה אקדמאית