C++20之前版本中特性测试宏的用途及可用性疑问

一、C++17及更早版本中特性测试宏的用途 #

特性测试宏的核心作用是跨编译器、跨版本做精准的特性兼容适配，和C标准版本没有强绑定。早在C20之前，GCC、Clang、MSVC等主流编译器就已经自行实现了大量这类宏——毕竟很多C++新特性是编译器先落地支持，之后才被正式纳入标准的。

举个实际场景：某个特性在C14标准中被定义，但不同编译器的支持节奏不一样，有的在C14正式发布前就提前实现了，有的要晚几个版本。用特性测试宏就能写出兼容代码：

#if defined(__cpp_lib_gcd_lcm)
// 直接使用标准库的gcd/lcm函数
#else
// 自行实现一个功能等价的兼容版本
#endif

这种方式比硬编码编译器版本号（比如#if __GNUC__ >= 8）要可靠得多，能精准匹配特性的实际可用性。

二、为什么cppreference会列出更早版本的宏实现？ #

原因很简单：C++标准的规范往往滞后于编译器的实际实现。

• 很多特性是编译器厂商先根据草案实现，经过一段时间的验证后，才被正式写入后续的C标准（比如C11的不少特性，在C++0x阶段就已经被主流编译器支持）。
• <version>头文件是C20才标准化的，在此之前，编译器会把特性测试宏定义在对应的功能头文件里（比如__cpp_lib_is_final会定义在<type_traits>中）。cppreference列出这些宏的最早支持版本，是为了让开发者明确：只要当前编译器支持这个宏，不管你用的是C17还是更早的标准模式，都可以安全使用对应的特性。

三、C++20中测试__cpp_lib_is_final有必要吗？ #

有必要，核心原因是声称支持C++20的编译器未必完整实现了所有特性：

1. 编译器对C标准的支持是逐步完善的，部分编译器在推出C20模式时，可能还存在未实现的特性或bug；
2. 你的代码可能需要同时兼容多个C版本（比如既要跑在C17环境，也要跑在C20环境），用特性测试宏比检查__cplusplus版本号更精准——比如某些C17编译器可能因为版本过旧，没有实现is_final，但通过__cpp_lib_is_final就能准确判断是否可用，而不是依赖__cplusplus >= 201703L这种模糊的判断。

四、特性测试宏在C++20之前是否不可用？ #

不是。C++20只是把特性测试宏的定义规则、集中管理方式（<version>头文件）纳入了标准，但在此之前，主流编译器已经广泛实现了这类宏，只是没有统一的标准规范，宏的定义位置、命名可能存在微小差异，但核心功能一致。

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