Lambda完美转发参数捕获的正确性问题及C++20标准验证

结论：不具备预期行为，存在未定义行为风险，无法等价于直接调用do_work，依据C++20标准分析如下：

1. 核心问题：引用悬空 #

capture函数中的lambda通过[&]捕获的是函数形参args...的引用，而这些形参的生命周期仅持续到capture函数返回时：

• 对于绑定到局部左值的实参（如main中的s）：args是该左值的引用，lambda捕获的引用最终折叠为原左值的引用，若原左值生命周期足够长（如main中的s），访问不会出问题，但这是依赖外部对象生命周期的巧合，而非代码逻辑本身正确。
• 对于绑定到临时对象的实参（如std::string{"string&&"}）：根据C++20标准，临时对象的生命周期仅会延长到绑定它的引用形参的生命周期结束（即capture返回时）。当lambda在capture返回后执行func时，该临时对象已被销毁，lambda中引用该对象的代码属于未定义行为。
• 对于字符串字面量这类静态存储的实参：虽然引用不会悬空，但这是依赖对象存储特性的特殊情况，不代表代码逻辑通用正确。

即使在capture(...).func(...)这种同一表达式的调用中，capture返回后形参已销毁，临时对象也随之销毁，此时lambda访问该临时对象的引用依然是未定义行为。

2. 完美转发的局限性 #

代码中使用std::forward<Args>(args)的语法本身符合完美转发的要求，但完美转发的前提是被转发的对象仍处于有效生命周期内：

• 当args引用的对象已销毁（如临时对象），std::forward无法改变引用悬空的事实，此时转发操作本身已无意义，甚至触发未定义行为。
• 仅当对象存活时，std::forward<Args>才能正确保持实参的值类别（左值保持左值，右值转为右值），但代码无法保证所有被引用对象都能存活到func执行时。

3. 无法满足预期等价性 #

预期行为要求capture(arg1, std::move(arg2), ...).func(os)等价于直接调用do_work(os, arg1, std::move(arg2), ...)：

• 直接调用do_work时，临时对象的生命周期会延长到do_work函数调用结束（实参生命周期持续到函数执行完毕）。
• 但在capture的实现中，临时对象的生命周期仅到capture返回时，远早于func执行完毕的时间，因此两者的行为本质不同，无法等价。

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