如何在编译期正确判断_Float16类型是否被编译器支持？

主问题：编译期正确判断_Float16类型支持的方案 #

推荐两种可靠性从高到低的实现方式：

• 方案1：构建系统编译检测（最通用可靠）
  不受编译器实现不规范的影响，直接通过构建系统尝试编译一小段测试代码判断支持性，测试代码示例：

  #define __STDC_WANT_IEC_60559_TYPES_EXT__
  #include <float.h>
  int main(void) {
      _Float16 val = 1.1f16;
      return (int)val;
  }
  

  编译无报错则判定目标环境支持_Float16，CMake、Autoconf等主流构建系统都提供了内置的编译特性检测接口，可以直接调用实现自动判断。
• 方案2：编译器内置宏组合判断（无需构建系统介入）
  针对主流编译器可以组合判断宏规避当前的实现异常：
  • GCC：判断__GNUC__ >= 7且定义了__FLT16_MAX__即可，如果使用-pedantic参数会触发非标准扩展警告，属于合规性提示而非类型不支持，切换为-std=gnu11即可关闭该警告。
  • Clang：需要同时判断__FLT16_MAX__和目标架构特性，比如x86架构下需要定义__AVX512FP16__才支持_Float16，ARM/AArch64架构下符合版本要求的实现可以直接通过__FLT16_MAX__判断。

附加问题：浮点类型宏与类型支持的标准对应关系 #

• C11标准正文没有纳入_Float16等扩展浮点类型的规范，因此正文没有对这类浮点类型的宏定义做强制要求。
• _Float16相关的规则定义在ISO/IEC TS 18661-1（IEC 60559浮点类型扩展规范）中，该规范明确要求：如果实现不支持对应_FloatN类型，不得定义FLTN_MAX、FLTN_MIN等关联宏，规则和<stdint.h>中整数类型的要求完全一致。
• 测试中遇到的「宏已定义但类型不可用」的情况属于编译器实现不符合扩展规范的问题：
  • GCC开启-pedantic时的警告仅为标准合规性提示，本身是支持_Float16类型的，仅不符合「不支持类型就不定义宏」的规则。
  • Clang在x86_64默认目标下既不支持_Float16又定义了FLT16_MAX的行为属于明确的实现bug。

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