析构于协程激活帧的std::jthread为何不阻塞？

我修改了cppreference的代码，将out_thread移入resuming_on_new_thread协程中。运行后发现out_thread并未等待co_await后的consumer工作完成。main函数执行结束后协程激活帧需关闭，我原本认为激活帧中的局部变量会被正确析构，std::jthread的析构函数会等待后续工作完成，但实际并未等待。请问这是特性还是Bug？

核心原因在于C++协程的激活帧销毁规则和你预期的逻辑存在差异：

1. 协程挂起时可能直接销毁激活帧
   当协程执行到co_await挂起后，如果没有任何std::coroutine_handle持有该激活帧的引用，激活帧会立刻被销毁——不管co_await绑定的异步操作是否完成。你的代码里，resuming_on_new_thread协程在co_await consumer();之后没有额外逻辑维持激活帧的存在，一旦挂起，激活帧就会被销毁。

2. std::jthread的生命周期完全绑定到激活帧
   你把out_thread作为协程的局部变量，它的生命周期完全依附于协程激活帧。激活帧一销毁，out_thread会立即析构。但要明确：std::jthread的析构只会等待它自身启动的线程任务，不会追踪co_await关联的consumer工作。你的场景里，consumer的工作是和协程挂起后的逻辑绑定，并非out_thread的线程任务，所以out_thread析构时自然不会等待它完成。

3. 协程局部变量的析构规则和普通函数不同
   普通函数的局部变量是在函数返回时才析构，但协程的局部变量会在激活帧销毁时立即析构——哪怕协程还没“真正执行完毕”。这是C++协程设计时就确定的规则，目的是避免不必要的资源占用。

如果需要让out_thread等待consumer工作完成，可以尝试：

• 延长协程激活帧的生命周期，比如用std::coroutine_handle持有激活帧，直到consumer工作完成后再释放；
• 直接将consumer的工作逻辑绑定到out_thread的线程任务中，让std::jthread的析构能直接等待该任务结束。

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