在 C 语言里，NULL 并不是一个自带类型的变量，而是由预处理指令替换出来的宏。它通常被定义成 ((void*)0) 或者整数常量 0，具体形式由编译器和标准库决定。这种实现上的不统一，直接导致 NULL 参与大小比较时，代码行为会随着平台和编译选项变化。要回答 NULL 能不能比较大小，必须先分清它当前是作为整数零参与运算，还是作为空指针常量参与指针运算。
NULL 的宏定义与类型本质
C 标准把 NULL 定义为一个实现相关的空指针常量。所谓空指针常量，在 C99 和 C11 中存在两种合法形态：一种是值为 0 的整型常量表达式，另一种是这种表达式强制转换为 void* 类型后的结果。常见的头文件 <stddef.h>、<stdio.h> 等都会提供这个宏。比如在某类 Unix 系统上，NULL 可能被定义为 ((void*)0)，而在某些嵌入式编译器里，它可能直接就是 0。
这种差异对比较运算影响很大。如果 NULL 展开为 0，那么表达式 NULL > 0 实际上就是 0 > 0，这是一个合法的整数比较，结果为假。编译器既不会报错，也不会产生警告。相反，如果 NULL 展开为 ((void*)0)，同样的表达式就会出现类型不匹配：左侧是 void* 指针，右侧是 int 整数。C 语言的关系运算符要求两个操作数都是算术类型，或者都是指向兼容对象或函数类型的指针，void* 与 int 的组合不满足任何一条约束。
因此不能笼统地说 NULL 能或不能比较大小。它取决于宏展开后的真实类型。即便在某个平台上可以编译通过，也不代表代码具备可移植性。理解这一点，是避免写出问题代码的前提。
当 NULL 遇到关系运算符会发生什么
关系运算符包括小于、小于等于、大于、大于等于四种，对应代码中的 <、<=、>、>=。这些运算符对操作数的类型约束比相等运算符严格得多。相等运算符 == 和 != 允许在空指针常量与指针之间进行比较，标准明确规定空指针与空指针比较相等，也允许空指针常量与指针比较。但关系运算符没有类似的宽松规则。
举一个典型例子：
#include <stdio.h>
#include <stddef.h>
int main(void) {
if (NULL > 0) {
printf("NULL greater than 0\n");
} else {
printf("NULL not greater than 0\n");
}
return 0;
}
如果当前环境的 NULL 被定义为 0，这段代码可以正常编译运行，输出 NULL not greater than 0。但如果把 NULL 改写成 ((void*)0) 的形式，编译器会立刻报告错误，指出 void* 与 int 之间无法进行关系比较。也就是说，同样一句代码，换一个标准库实现就可能从“合法”变成“非法”。
更有迷惑性的是，有些编译器在 NULL 定义为 0 时也不会发出警告，开发者会误以为 NULL 就是一个可以排序、可以比大小的数值。这种错误印象一旦带到其他平台，就会引发编译失败甚至更隐蔽的运行时问题。因此，把 NULL 用于关系比较，本质上是在依赖实现细节，而不是遵循 C 语言的可移植规则。
指针上下文中的 NULL 比较边界
在指针语境里，NULL 通常用来表示空指针，也就是不指向任何对象的指针。判断一个指针是否为空，应当使用相等比较：
#include <stdio.h>
#include <stddef.h>
int main(void) {
int *p = NULL;
if (p == NULL) {
printf("p is null\n");
}
if (p != NULL) {
printf("p is not null\n");
}
return 0;
}
这是唯一被标准明确支持且可移植的用法。p == NULL 中，NULL 作为空指针常量会转换为 int* 类型的空指针，然后与 p 比较。由于两个空指针比较相等的结果为真，所以代码行为确定。即使 NULL 展开为 ((void*)0)，这种转换也由语言规则自动完成，不会产生类型冲突。
但如果写出 p > NULL 这样的表达式，情况完全不同。两个指针进行关系比较的前提是它们指向同一个数组对象，或者指向同一个聚合对象的成员。空指针不指向任何对象，因此两个空指针之间没有数组归属关系。p > NULL 很可能触发未定义行为。标准没有规定空指针与空指针的关系比较结果，编译器可以生成任意代码，有的返回 0，有的返回 1，有的在优化时直接删除整条分支。这类代码即使能运行，结果也没有意义。
同理，p < NULL、p >= NULL 这类写法也不应该出现。它们把空指针当成一个处于地址空间边界的数值，这种假设在大多数现代平台上是错误的。空指针并不一定等于地址 0，它可能由运行时的特殊位模式表示，只是源码中的常量 0 会被转换成该平台的空指针。关系比较不会触发这种转换，反而会让程序陷入未定义行为。
可移植代码中的正确写法
为了避免平台差异和未定义行为，处理空指针时应始终坚持一个原则：只用 NULL 做相等或不等判断，不要让它参与任何形式的大小比较。需要判断指针是否为空时，写成 if (p == NULL) 或直接使用 if (!p)；需要判断非空时写成 if (p != NULL) 或 if (p)。这两种写法在语义上等价，也符合大多数 C 项目的编码规范。
#include <stddef.h>
void process(int *p) {
if (p != NULL) {
/* 安全地解引用 p */
*p = 10;
}
}
有些开发者会写出 if (p > 0) 来检测指针是否有效，这是完全错误的。指针与整数 0 的关系比较在标准中没有合法地位，即使某些编译器把它当作无关比较处理，也不能保证结果正确。正确的非空判断只能依赖相等比较或布尔上下文转换。
如果确实需要对地址值进行排序或范围判断，应当先把指针转换为整数类型，比如 uintptr_t，再对整数进行比较。但要注意，这种转换后的比较结果只反映当前平台的地址数值关系，不具备跨平台语义，通常只用于调试、内存布局分析或底层工具开发。普通业务代码不应依赖地址的具体数值大小。对于 NULL 来说，这种转换也没有必要，因为空指针本身就不应该参与排序。
总结下来，NULL 能不能比较大小这个问题，答案并不是简单的是或否。它取决于 NULL 的宏定义、操作数类型以及比较运算符的种类。在整数上下文中如果 NULL 被定义为 0，关系比较可以编译但无实际意义；在指针上下文中，关系比较则会触发未定义行为。唯一安全且可移植的做法，是把 NULL 限定在相等性判断中，彻底远离大小比较。