C++/WinRT 协程头文件包含条件判断异常问题咨询

问题背景 #

• 开发参照：C++/WinRT官方入门指南
• 编译环境：MSYS2 官方推荐的UCRT（通用C运行时）clang工具链
• SDK版本：Windows SDK 10.0.22621.0（Windows 10 平台当前可用的最新正式版本）
• 故障表现：编译阶段触发协程头文件包含错误，问题定位到windows.foundation.collections.h依赖的winrt/base.h头文件，该文件位于SDK路径Windows Kits/10/Include/10.0.22621.0/cppwinrt/下，其中存在如下条件编译块：

#ifdef __cpp_lib_coroutine // 执行到此处时该宏未定义，因为对应头尚未被包含

#include <coroutine> // 该分支当前不会被触发
// 疑问点：该#ifdef块的触发条件是什么？为什么当前环境下无法进入该分支？

namespace winrt::impl
{
    template <typename T = void>
    using coroutine_handle = std::coroutine_handle<T>;

    using suspend_always = std::suspend_always;
    using suspend_never = std::suspend_never;
}

#else

// 当前环境会错误进入该分支，引入实验性协程头
// 协程早在2019年初就已正式纳入C++标准，不再属于实验特性，该分支会直接引发编译错误
#include <experimental/coroutine>

namespace winrt::impl
{
    template <typename T = void>
    using coroutine_handle = std::experimental::coroutine_handle<T>;

    using suspend_always = std::experimental::suspend_always;
    using suspend_never = std::experimental::suspend_never;
}

#endif

• 核心疑问：执行到上述判断逻辑时__cpp_lib_coroutine宏尚未定义，因此不会引入标准<coroutine>头，反而引入已被废弃的<experimental/coroutine>实验性协程头，直接导致编译失败，需要明确该判断块的设计触发条件，以及当前环境的问题修复方案。

根因解释 #

__cpp_lib_coroutine是C++标准规定的库特性测试宏，该宏不会由编译器预先定义，仅会在首次包含标准库<coroutine>头时，由标准库头内部定义。
你看到的这段条件编译逻辑本身存在设计疏漏：它在检测宏是否存在前，从未主动引入<coroutine>标准头，因此在无特殊前置操作的环境下永远无法检测到该宏，会直接落到实验性协程分支。
该段逻辑原本仅设计为在两类场景下正常工作：

• 场景1：开发者在包含所有C++/WinRT头之前，已经主动包含了<coroutine>标准头，此时宏已经被定义，会命中标准协程分支
• 场景2：开发者使用旧版本编译器/标准库，仅提供<experimental/coroutine>实验性协程实现，此时走#else分支为预期行为

你当前使用的MSYS2 UCRT clang环境已经完全移除了实验性协程头，仅保留C++20正式标准的<coroutine>实现，因此触发了该逻辑的兼容问题。

修复方案 #

注意：请勿直接修改SDK安装目录下的系统头文件，这类修改会在SDK版本更新后被覆盖，还可能引发难以排查的二进制兼容问题。

按以下优先级调整配置即可解决问题：

1. 指定C++语言标准版本：在编译参数中添加-std=c++20（或更高版本如-std=c++23），不要使用默认的C17或GNU扩展模式。协程是C20正式纳入标准的特性，C++17模式下标准库不会暴露正式协程的相关实现。
2. 调整头文件包含顺序：在所有C++/WinRT相关头的包含语句之前，手动添加#include <coroutine>，提前触发__cpp_lib_coroutine宏定义，让C++/WinRT的条件编译正确命中标准协程分支。
3. 全局宏兜底（可选）：如果前两步操作后仍存在分支判断错误，可以在编译参数中添加-D__cpp_lib_coroutine=201902L，强制让条件编译走标准协程分支，该取值为C++20正式协程对应特性宏的标准规定值。

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