为何GCC要求声明_Generic中未使用的值的定义？

先看这段代码：

#include <limits.h>
#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
//#include <float.h> //uncomment so it can be compiled

#define GETMAX(variable) _Generic        \
  (                                      \
    (variable)                           \
    , bool                : 1            \
    , char                : CHAR_MAX     \
    , unsigned char       : UCHAR_MAX    \
    , signed   char       : SCHAR_MAX    \
    , unsigned short      : USHRT_MAX    \
    , signed   short      : SHRT_MAX     \
    , unsigned int        : UINT_MAX     \
    , signed   int        : INT_MAX      \
    , unsigned long       : ULONG_MAX    \
    , signed   long       : LONG_MAX     \
    , unsigned long long  : ULLONG_MAX   \
    , signed   long long  : LLONG_MAX    \
    , float               : FLT_MAX      \
    , double              : DBL_MAX      \
    , long double         : LDBL_MAX     \
  )

int main(int argc, char **argv)
{
  (void)argv;
  uint_fast8_t a;
  if( argc>GETMAX(a) )
    { printf("argc too big\n"); }
  else
    { printf("argc small enough\n"); }
  return 0;
}

这段代码在GCC或Clang中无法编译，GCC报错：error: ‘FLT_MAX’ undeclared (first use in this function)——明明调用GETMAX时用的是整型变量a，理论上只会匹配到unsigned char分支（uint_fast8_t通常是unsigned char的别名），浮点分支根本不会被用到，为什么还会要求声明FLT_MAX？

原因解析 #

C标准明确规定：_Generic选择器中的所有分支表达式都必须是合法的，无论最终是否会被选中。编译器处理_Generic时，会先检查所有分支的表达式是否符合语法、标识符是否已声明，而不是只检查匹配到的分支。

换句话说，即便你用整型变量触发GETMAX，FLT_MAX、DBL_MAX这些浮点相关的标识符也必须存在定义，否则编译器会直接抛出未声明的错误。

修复方案 #

有两种可行的修复方式：

• 取消注释#include <float.h>，引入浮点类型的宏定义，让所有分支的标识符都合法；
• 如果不需要处理浮点类型，直接从_Generic中删除float、double、long double相关的分支，这样就不再依赖float.h。

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