为何在GCC C23中false关键字不被视为整数常量表达式？

问题现象 #

• 使用GCC 13.x（主干版本），通过gcc -std=c23编译代码int* p = false;时，会触发编译错误：

  error: incompatible types when initializing type 'int *' using type '_Bool'

• Clang编译该代码仅会触发警告，且能生成可执行文件
• 同一段代码在C17标准模式下可正常编译通过

C23标准相关条款梳理 #

依据C23标准的规定：

• C23 6.2.5 §8-9：bool属于标准无符号整数类型，标准整数类型包含有符号与无符号整数类型
• C23 6.6 §8：整数常量表达式必须具备整数类型
• C23 6.3.2.3：值为0的整数常量表达式属于空指针常量
• C23 6.5.16.1：指针类型变量可以被空指针常量赋值

按照上述条款推导，false是值为0的bool类型常量表达式，属于空指针常量范畴，理论上可以合法赋值给指针变量p。

问题原因 #

这并非对C23标准的理解错误，而是GCC在C23模式下的实现缺陷：
GCC将false识别为_Bool类型常量，但未将值为0的_Bool类型常量表达式纳入空指针常量的判定范围。而在C17及更早版本中，编译器会隐式将_Bool类型的0值转换为空指针；C23标准虽明确了bool的整数类型属性，但GCC的当前实现尚未跟进这一细节的处理。

Clang的处理更符合C23标准的预期，仅发出兼容性警告，但允许编译通过。

临时解决方案 #

可以通过显式类型转换规避该问题，例如：

int* p = (void*)false;

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