C11中_Generic泛型选择无法触发类型自动提升问题咨询

_Generic泛型选择不支持普通函数调用场景下的自动类型提升规则，这是C11标准的明确定义，并非编译器或代码写法的异常。
普通C函数调用时的窄类型到宽类型的隐式提升（比如uint16_t转uint32_t、float转double），是函数调用语义单独约定的转换规则，不适用于_Generic的类型匹配流程。_Generic在匹配分支时，会直接读取传入表达式的原始声明类型做严格类型匹配，不会提前执行任何隐式类型转换或提升，仅会忽略表达式顶层的const、volatile类型限定符。因此传入uint16_t（对应报错信息中的short unsigned int）、float这类未在泛型分支中声明的类型时，就会抛出“无匹配关联项”的编译错误。
需要额外注意：_Generic不会做任何类型兼容层面的隐式适配，哪怕两种类型的值域完全重合，只要是C标准定义的不同独立类型，就不会自动匹配到对应分支。

可根据实际开发需求选择以下两种修改方式：

• 方案1：显式补全窄类型映射分支
  把所有可能传入的窄类型都添加到泛型关联列表中，统一映射到对应宽类型的处理函数。这种方式不会改变参数的原始类型判断逻辑，兼容性最好，是最稳妥的写法：

  #include <stdint.h>
  
  // 提前声明泛型对应的具体实现函数
  void FooBar_U32(uint32_t alpha);
  void FooBar_DBL(double alpha);
  
  #define FooBar(x) _Generic((x),          \
      uint16_t: FooBar_U32,  /* 16位无符号数映射到U32处理分支 */ \
      uint32_t: FooBar_U32,  \
      float:    FooBar_DBL,  /* float映射到double处理分支 */     \
      double:   FooBar_DBL   \
  )(x)
  

  完成定义后，无论是传入uint16_t、uint32_t类型的整数，还是float、double类型的浮点数，都能正确匹配到对应处理函数；分支匹配完成后调用具体函数时，仍然会走正常的函数参数隐式转换逻辑，不会出现类型错误。

• 方案2：手动触发类型提升后再匹配
  如果不想枚举所有窄类型分支，可以针对不同类型族手动添加运算触发对应类型提升，让窄类型先转换成目标宽类型再做匹配。这种写法代码更简洁，但需要注意区分整数、浮点数的提升逻辑，避免错误类型转换：

  #include <stdint.h>
  
  void FooBar_U32(uint32_t alpha);
  void FooBar_DBL(double alpha);
  
  #define FooBar(x) _Generic((x),                     \
      float:  FooBar_DBL,                              \
      double: FooBar_DBL,                              \
      default: _Generic( (x) + 0U,                    \
          uint32_t: FooBar_U32                        \
      )                                               \
  )(x)
  

  上述写法中，浮点数类型会直接匹配到双精度浮点数处理分支；其余整数类型走默认分支，通过+0U运算触发无符号整数提升，所有秩低于unsigned int的无符号整数都会被提升为unsigned int（主流32/64位平台下对应uint32_t类型），匹配到32位无符号整数处理分支。

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