为何_Generic为int、unsigned int等类型选择default分支并触发编译错误？

以下是几种最可能导致该问题的场景：

1. _Generic的精确类型匹配规则导致隐式转换不生效 #

_Generic完全基于实参的精确类型进行分支匹配，不会触发任何隐式类型转换。哪怕两种类型可以互相兼容（比如char和int、short和int），只要类型不完全一致，就不会匹配对应分支：

• 若_Generic分支仅定义了int，但传入的'A'在C23中类型为char（而非旧标准的int），则会直接落入default分支；
• 若分支写的是unsigned（unsigned int的简写），但实参实际类型为unsigned long，同样会匹配失败。

2. C23标准中字符常量的类型变更 #

C23标准将字符常量（如'A'）的类型从C11及之前的int改为了char（具体是有符号还是无符号取决于编译器实现）。如果PRINTF_FMT宏未添加char类型的分支，传入字符常量时必然会匹配default分支，进而触发后续的类型不匹配错误。

3. 宏定义的写法错误导致类型混淆 #

检查_Generic分支是否存在语法错误：

• 比如误将分支类型写成指针类型（如int*而非int），导致int类型的实参无法匹配；
• 若PRINTF_FMT宏的_Generic实参不是原始变量/字面量，而是经过TO_VOID_PTR转换后的表达式（比如_Generic(TO_VOID_PTR(x), ...)），则实参类型会被强制转为void*，自然无法匹配int/unsigned int分支。

4. 字面量的隐式类型提升与分支不匹配 #

虽然10是int类型字面量、5u是unsigned int字面量，但如果代码中存在其他隐式转换（比如宏参数被包裹在某个表达式中触发了提升），也可能导致实参类型偏离预期。例如：

• 若x被传入某个返回long的表达式中，_Generic会匹配long类型而非int分支。

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