C语言中为何存在两种NULL的表示方式？

根据C11标准§6.3.2.3 ¶3的规定，C语言中的空指针常量可由实现定义为整数常量表达式0，或强制转换为void *的此类表达式。C语言中空指针常量由NULL宏定义。

在GCC 9.4.0环境里，stddef.h中NULL存在两种定义方式：

#define NULL ((void *)0)
#define NULL 0

为什么两种定义语义等价？ #

C语言的类型转换规则保证了这两种写法在空指针的使用场景下行为完全一致：

• 当0被赋值给任意指针类型变量时，编译器会按照标准规定自动将其隐式转换为对应类型的空指针值。
• ((void *)0)是显式将整数0转换为void*类型的空指针，而void*可以隐式转换为任意对象指针类型，赋值给其他指针变量时同样会被正确处理。

无论使用哪种定义，在指针赋值、指针比较等常规场景中，最终都会被编译器解析为对应指针类型的空指针，不存在语义差异。

为何存在两种表示方式？ #

这主要是历史兼容与场景适配的结果：

• 早期C标准（如C89）仅允许NULL定义为0，大量遗留代码依赖这种写法；后续标准扩展了定义范围，允许显式转为void*，这种写法在类型检查严格的场景下更直观，能明确体现空指针的类型属性。
• 不同编译模式或头文件实现会根据需求选择不同定义，比如兼容旧代码时用0，强调类型安全性时用((void*)0)，但两种定义都完全符合C标准要求，不会影响代码的正确性。

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