为什么部分C++特性测试宏需要先包含对应头文件才能使用？

C++标准中库特性测试宏需要包含对应头文件才会定义，是标准委员会多方权衡后的结果，并非设计疏漏，核心原因有两点：

• 编译器与标准库解耦是C++的核心设计原则
  你猜测的混用STL实现的场景比想象中更普遍：嵌入式开发中同一编译器可能对接多款针对不同硬件裁剪的定制STL，部分场景下编译器甚至在编译阶段都无法预知最终链接的标准库实现，自然不可能提前预定义所有库相关的特性宏。即使是常见的clang对接libstdc++/libc++的场景，也存在用户手动替换标准库路径的可能，编译器预定义宏很容易和实际使用的STL特性不匹配。
• 避免全局宏污染
  如果所有库特性测试宏都由编译器全局预定义，会向所有编译单元注入上百个双下划线开头的保留宏，极容易和不规范的用户代码、第三方库的自定义宏产生冲突。将宏定义收敛到对应头文件中，只有包含头文件时才会引入，影响范围完全可控。

针对你提到的检测特性要先包含头文件的使用痛点，工业界已有成熟的解决路径：

• 低于C++20版本的项目，一般通过两类方式绕开问题：
  1. 用构建系统在编译前做特性探测：比如CMake的CheckCXXSourceCompiles等模块，可以提前检测std::string_view这类特性是否可用，将检测结果写入配置头文件，业务代码直接引用配置头的宏判断即可，不需要在业务代码中处理头文件引入的先后问题
  2. 手动封装兼容层头文件：根据_MSC_VER、__GLIBCXX__、_LIBCPP_VERSION等编译器、STL的预定义版本宏，判断常用特性的支持情况，在兼容层头中预定义对应的特性宏，业务代码只需要包含这个兼容层头就可以做特性判断
• C20引入的<version>头文件就是标准层面给出的官方解决方案，它是完全轻量的头文件，只定义所有库特性测试宏，不会引入任何其他符号，完全可以用前面提到的兼容层头做向下封装，不需要等到所有项目都基线升到C20才能使用。

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