NULL在C语言中的角色比表面看起来更微妙。它用于表示指针当前没有指向任何有效对象，但这个空指针状态本身并不绑定某一种具体的二进制数值。源码里的NULL经过预处理后，要么变成整数常量0，要么变成带强制类型转换的(void *)0，具体选择由实现决定。这意味着NULL的语义必须在指针上下文中理解：它给指针赋值是合法的，而把NULL当成普通整数参与运算或传给需要明确类型的函数，则可能触发编译警告甚至未定义行为。理解NULL需要从标准定义出发，区分源码常量、运行时指针值以及底层存储表示三个层面。
一、NULL的宏定义与标准规定
C标准对NULL的定义比较简短，但含义并不简单。C99和C11指出，NULL是一个实现定义的空指针常量。空指针常量要么是值为0的整数常量表达式，要么是这种表达式强制转换为void *。常见形式包括0、0L和((void *)0)。所以NULL不是一个固定类型或固定宏，不同平台、不同编译器甚至不同编译模式下的定义都可能不同。C语言中允许把整数常量0直接赋值给指针，编译器会自动把它转换成空指针值，因此int *p = 0;合法。但为什么还要用NULL？因为NULL表达的是指针语义，阅读代码时比0更清晰，同时可以避免在非指针上下文中无意识地使用数值0。
实际头文件中，NULL通常定义在stddef.h、stdio.h、stdlib.h等标准头文件里。部分嵌入式编译器为了兼容旧代码，会采用#define NULL ((void *)0)；而很多桌面平台在C模式下也使用类似定义。C++则不同，因为C++不允许void *隐式转换成其他指针，所以NULL在C++中通常定义成0或0L。这也提醒我们，如果代码可能同时被C和C++编译器编译，应该额外注意NULL的类型差异。比如在C++重载函数中传NULL会优先匹配int参数，而C语言没有重载，问题相对较少。但C语言中仍然存在变长参数等类型不明确场景，这些会在后文展开。
/* 不同实现中可能的NULL定义 */ #define NULL ((void *)0) /* C 常见 */ #define NULL 0 /* C++ 常见或某些 C 实现 */ #define NULL 0L /* 也是合法空指针常量 */
二、空指针常量的三个层次
要正确理解NULL，需要把三个概念分开：空指针常量、空指针值、空指针的内部表示。空指针常量是源码级的东西，也就是0或者((void *)0)这样的写法；空指针值是程序运行时指针变量保存的特殊值，它表示“不指向任何对象”；内部表示则是这个特殊值在内存中存放的二进制位模式。C标准只规定了“用空指针常量给指针赋值，该指针就成为空指针”，并没有规定空指针的位模式一定是全零。换句话说，判断一个指针是不是空指针，应当用p == NULL或p == 0这样的比较，而不是假设它的字节都是0。
大多数现代体系结构如x86、ARM上，空指针的内部表示恰好是全零，因此memset清零指针数组通常也能得到NULL。但这种代码不可移植。曾经某些机器或调试环境下，空指针可能不是全零位。更安全的做法是显式给指针赋值NULL。标准还保证free(NULL)是安全无操作，但这不代表NULL内部表示就是整数0。理解这三层含义，可以避免把底层优化技巧误当成语言规则。
#include <stdio.h>
#include <string.h>
int main(void) {
int *ptrs[3];
/* 错误假设：memset 后指针值一定等于 NULL */
memset(ptrs, 0, sizeof(ptrs));
if (ptrs[0] == NULL) {
printf("ptrs[0] is null\n");
}
/* 正确做法：逐个显式赋值为 NULL */
for (int i = 0; i < 3; i++) {
ptrs[i] = NULL;
}
return 0;
}
三、NULL的常见误用与编译期诊断
一类典型误用是在可变参数函数中直接传NULL。例如execl系列函数要求参数以(char *)NULL结尾。如果NULL被定义为0，而可变参数没有自动类型提升成指针，那么在64位平台上可能只写入32位0，导致后续参数解析错误。正确写法是使用(char *)NULL，迫使编译器按指针类型传递。类似地，向printf的%s传入NULL，虽然某些实现会打印“(null)”，但C标准并不要求这种宽容行为，传入NULL实际上是未定义行为，应该先判断指针再打印。
另一个容易混淆的是sizeof(NULL)。如果NULL定义为0，那么sizeof(NULL)等于sizeof(int)；如果NULL定义为((void *)0)，结果等于指针大小。因此不要用sizeof(NULL)来获取指针类型的大小，否则在不同平台可能得到不同结果。要获取指针大小，应使用sizeof(void *)或sizeof(p)。还有开发者把NULL和字符串结束符'\0'混用。虽然'\0'的值也是0，但类型是char，语义是字符终止，不应把NULL写入char数组当作字符串结束。这些错用往往不会立刻报错，却为程序留下隐患。
#include <stddef.h>
#include <unistd.h>
int main(void) {
/* 错误：NULL 在可变参数中可能被当作 int 0，导致指针位数不够 */
execl("/bin/ls", "ls", NULL);
/* 正确：显式转换类型，确保以指针形式传递 */
execl("/bin/ls", "ls", (char *)NULL);
return 0;
}
四、动态内存管理与NULL的安全实践
malloc、calloc、realloc等函数在失败时返回NULL。因此分配内存后要立即检查返回值，这是避免未定义行为的基本要求。不少项目中封装内存分配函数，失败时记录日志并终止程序，可以简化检查。释放内存后，free(p)不会改变p的值，p仍然保存原来的地址，此时再访问就是悬空指针。一个常见习惯是free(p); p = NULL; 这样后续判断p是否为NULL可以防止重复释放。不过要注意，如果还有另一个指针也指向同一块内存，只把其中一个置空并不能保护所有别名。
free(NULL)是合法的，不会做任何操作。基于这个特性，可以将初始化指针置NULL，并在释放后归NULL，让资源管理更简单。对于函数参数中的指针，如果函数要求非空，可以在入口处使用assert或显式判断，但也要避免对所有内部函数都做无差别空检查，因为这可能掩盖错误。正确使用NULL最终会体现在代码健壮性上：分配检查、释放置空、接口约束明确，这些细节会让指针管理更可靠。
#include <stdlib.h>
int main(void) {
int *p = (int *)malloc(sizeof(int));
if (p == NULL) {
/* 处理分配失败 */
return 1;
}
*p = 42;
free(p);
p = NULL; /* 避免悬空指针 */
/* 再次释放安全吗？free(NULL) 是合法的无操作 */
free(NULL);
return 0;
}
NULL看似简单，但涉及标准定义、平台差异和编程习惯。正确理解NULL需要意识到它是一种源码级空指针常量，不是运行时固定数值；空指针的内部表示在不同平台上可能不同；使用时注意可变参数、sizeof和动态内存场景中的陷阱。掌握这些，才能避免那些平时不显现、换平台就爆发的隐蔽错误。