近日，C++社区围绕一个关键问题展开热烈讨论：“Does a temporary task used as a co_await operand survive until await_resume?” 即：当我们在co_await表达式中使用一个临时任务对象作为操作数时，该临时对象的生命周期是否能够持续到await_resume被调用？这个问题看似技术细节，实则关乎协程代码的正确性与安全性，尤其在异步编程日益普及的今天，稍有不慎便可能引发悬垂引用、未定义行为等严重bug。
问题由来：临时对象与协程生命周期的碰撞
在C++20引入的协程机制中，co_await表达式是核心操作。它接受一个可等待体（Awaitable），通常是一个await_ready、await_suspend、await_resume三件套的类对象。开发者常编写类似如下代码：
auto result = co_await some_function_returning_a_task();
如果some_function_returning_a_task()返回一个临时任务对象（比如一个prvalue），那么该临时对象的生命周期按理说应该持续到完整表达式的结束。但问题在于，co_await背后涉及协程的挂起与恢复，标准规定：当co_await表达式执行时，可等待体对象的生命周期必须覆盖整个co_await过程，直到await_resume被调用并返回结果。
关键在于：临时对象的析构时机是否真的能延迟到await_resume之后？标准中对此并无显式保证，而实际编译器实现可能因优化或ABI差异导致临时对象提前析构，进而使await_resume中访问成员数据时出现悬垂引用。
核心风险：谁在使用临时对象内的资源？
典型危险场景发生在以下模式中：
auto coro = []() -> some_task<int> {
co_await task_with_internal_state();
};
task_with_internal_state()返回的临时任务对象可能持有内部缓冲区、回调或引用。若该临时对象在await_suspend返回后、await_resume执行前被析构，则await_resume内部访问的this指针将指向已释放内存，产生UB。
更隐蔽的是，协程框架有时会将可等待体对象的状态存入协程帧中，例如通过std::coroutine_handle中的promise对象间接引用。此时临时对象的生命周期问题会进一步复杂化。
标准怎么说？专家解读与分歧
查阅C++标准草案（例如N4861），关于co_await表达式的求值顺序有详细描述：可等待体表达式在co_await开始前被求值，但标准并未明确要求临时对象的生命周期延长到完整表达式的末尾。寻常的临时对象生命周期规则（在完整表达式结束时析构）与协程挂起行为之间存在张力。
知名C++专家Arthur O'Dwyer在近期技术博客中分析指出：“标准没有直接说明临时可等待体在协程恢复后的状态。但根据上下文，await_resume是在协程恢复后立即调用的，而临时对象的销毁应该发生在co_await完整表达式结束时。只要编译器正确实现了‘完整表达式’的范围，临时对象在该表达式的分号处消亡，而await_resume恰好在分号之前执行，因此安全。” 但他同时警告，若await_suspend中将可等待体对象的指针或引用存储到协程帧以外的作用域，则临时对象在co_await表达式结束前就已经被销毁了。
另一位C++标准委员会成员Gor Nishanov则强调：“务必确保await_suspend返回后，不再访问可等待体对象。如果你在await_suspend中传递了this指针给另一个线程或回调，那么临时对象的生命周期就不再受控制。”
实际工程中的经验教训
已有项目因此踩坑。某开源协程库的issue中，用户报告异步HTTP请求偶尔返回随机数据。排查后发现，co_await一个由工厂函数返回的临时http_task，await_resume中尝试读取响应缓冲区，但缓冲区已被临时对象的析构函数释放。修复方法是将临时对象赋给局部变量，确保生命周期延长：
auto task = some_function_returning_a_task();
auto result = co_await task; // 安全
结论与建议
目前主流编译器的实现（如GCC 11+、Clang 14+、MSVC 2022）在大多数常规场景下表现正确：临时对象的生命周期会持续到await_resume返回。但这并非绝对保证，尤其在涉及自定义分配器、协程句柄跨线程传递时。
最佳实践：
- 尽量使用具名变量：将
co_await的操作数存储在局部变量中，避免临时对象带来的生命周期歧义。 - 不要在
await_suspend中保存可等待体的地址：如需将资源交给外部，请在await_resume后转移所有权。 - 考虑使用
std::move：如果可等待体是只移动的，明确移动语义可帮助编译器优化生命周期管理。 - 参考标准库实现：
std::suspend_always和std::suspend_never等标准可等待体均无额外资源，可放心使用临时对象。
C++协程虽强大，但细节处仍需警惕。生命周期的微妙博弈，正是现代C++工程师需要跨越的“坑”。随着P2300等提案的推进，未来标准或许会给出更清晰的规则，但眼下，手写安全代码仍是王道。