为何std::cout输出语句会影响C++未定义行为（UB）的表现？

首先得明确：未定义行为（UB）的本质就是没有任何可预测性——C++标准不对这种情况的运行结果做任何保证，它可能看起来完全正常，可能直接崩溃，可能输出乱码，甚至可能在不同环境下表现出完全相反的结果。你遇到的情况，就是UB这种“薛定谔”特性的典型体现。

具体到你的场景，原因可以拆解成两点：

• 栈内存的复用逻辑：函数kaboom返回后，局部shared_ptr所在的栈帧会被标记为可复用，但内存里的旧数据不会立即被清除。当你没有添加std::cout语句时，这段栈内存暂时没有被其他操作覆盖，lambda引用访问时刚好读到了残留的旧数据，所以看起来输出正常——但这纯粹是巧合，不是代码没问题。
• std::cout的调用会修改栈状态：std::cout << "---" << std::endl;本身是一个函数调用，它的执行会使用栈空间（比如保存寄存器状态、创建内部临时变量），这会直接覆盖原来shared_ptr所在的那块栈内存。等后续调用lambda时，引用指向的内存已经被改写，自然就会出现this地址异常的情况。

另外，编译器优化也可能放大这种差异：比如开启优化后，没有cout的情况下编译器可能会保留栈内存的旧数据，而有cout时，因为cout是外部IO操作，编译器无法做相关优化，直接让栈内存被覆盖。

最后要强调：不要被“看起来正常”的结果误导，你的代码逻辑本身是错误的——lambda如果要在函数返回后执行，绝对不能引用捕获函数内的局部变量。对于shared_ptr来说，应该改用值捕获，这样会增加引用计数，保证被指向的对象在lambda执行期间一直存活。

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