能否实现支持get_running_coroutine()的C++协程task/promise类型？

可以实现这类Task/Promise类型，核心思路是利用thread_local变量跟踪当前线程上运行的协程句柄，你提到的在协程挂起/恢复相关函数中更新该变量的方案具备可行性，但需要覆盖协程执行全流程的关键节点，否则会出现跟踪失效的情况。

基础方案的有效性 #

在initial_suspend、final_suspend、await_suspend这类控制协程执行流程的函数中更新thread_local的coroutine_handle，确实能在依赖co_await的典型用法下准确跟踪当前运行的协程：

• 协程启动时，initial_suspend返回前设置句柄；后续co_await切换时，await_suspend在切换到新协程前更新变量，原协程恢复时同步更新
• 协程结束时，final_suspend中清除或重置该变量

只要执行器严格配合这个逻辑（切换协程时同步更新thread_local变量），该方案基本能满足常规场景需求。

需要额外考虑的边缘场景 #

• 手动调用handle.resume()的情况：即便假设用户不会这么做，若存在此类场景，直接调用resume()会绕过挂起函数中的变量设置逻辑，导致get_running_coroutine()返回错误值。需要封装安全的恢复方法，在内部调用handle.resume()前更新thread_local变量。
• 嵌套协程的多层切换：当协程嵌套co_await多个可等待对象时，需确保每一次切换都正确更新thread_local变量。比如协程Aco_await协程B，协程B又co_await协程C，每切换到新协程前要设置对应句柄，返回原协程时也要恢复对应句柄。
• 异常处理：协程执行抛出异常时，unhandled_exception回调会触发，此时需确保thread_local变量被正确重置，避免后续代码拿到失效的协程句柄。
• 跨线程调度：若协程被调度到其他线程执行，thread_local变量会自动切换到目标线程的副本，但执行器必须在调用resume()前正确设置目标线程的thread_local变量。
• 协程句柄生命周期：协程执行完毕后，final_suspend中要及时将thread_local变量重置为nullptr，避免持有已销毁的协程句柄导致误操作。

总结 #

该方案的核心思路可行，但需要细致处理协程执行全流程的各个节点，包括异常、手动恢复、跨线程调度等边缘场景，同时要求执行器严格配合更新逻辑，才能保证get_running_coroutine()的准确性。

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