返回void的C++协程是否需加co_return？代码合法性与最佳实践

代码合法性判断 #

两段代码都是合法的C++协程实现：

• 第一段代码中，IAsyncAction属于无返回值的异步协程类型（对应C++标准中不产生值的协程语义），当协程执行到函数末尾时，编译器会自动插入等价于co_return;的隐式操作，无需手动编写。
• 第二段代码通过显式co_return;结束协程，符合标准语法要求，是更明确的写法。

是否存在未定义行为 #

第一段代码未显式写co_return;不会导致未定义行为。根据C++标准，对于返回类型对应“无结果”的协程（即其promise类型提供return_void()成员函数），若协程执行到函数结束位置而未显式执行co_return，编译器会自动调用promise的return_void()来完成协程收尾，这是标准规定的合法行为。

是否必须添加co_return #

不是必须的，编译器会自动处理无返回值协程的收尾逻辑。

最佳实践建议 #

建议显式添加co_return;，理由如下：

• 提升代码可读性：明确标记协程的结束点，避免阅读者误以为代码遗漏了收尾逻辑，尤其在复杂协程函数中更清晰。
• 保持代码风格一致性：如果项目中存在需要显式co_return的有返回值协程，统一写法可以减少团队成员的认知负担。
• 消除平台/编译器差异：虽然标准有明确规定，但部分早期编译器或特定平台（如旧版WinRT协程实现）可能存在细微行为差异，显式编写可避免这类潜在问题。

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