首先先明确你给出的stdio.h里的NULL定义：

#ifndef NULL
#define NULL 0
#endif

咱们从两个层面拆解区别，再解答你最关心的「编译器怎么知道NULL是无效地址」的问题：

1. 语义上的本质区别 #

这是最直观的差异：

• 0是通用的整数常量，用来表示数值意义上的零，你可以用它做算术运算、给整数变量赋值等常规整数操作。
• NULL是专门为指针设计的宏别名，它的语义是「空指针」——用来标记一个指针不指向任何有效的内存地址。写char* ptr = NULL;时，任何读代码的人都能立刻明白：这个指针当前是无效的；但如果写char* ptr = 0;，虽然语法合法，但可读性差很多，甚至会让人误以为你是不是写错了（比如是不是想给某个int变量赋值0）。

2. 编译器处理的类型差异 #

虽然宏定义里NULL就是0，但编译器在不同上下文里会把它当成不同的东西：

• 当你把NULL用在指针类型的场景（比如给指针变量赋值、作为指针参数传给函数）时，C语言标准规定，编译器会自动把这个整数0转换成「当前指针类型对应的空指针值」。要注意：空指针的底层二进制值不一定是全0（虽然绝大多数现代系统都是），但标准保证，整数0转成指针后就是该系统下的无效指针地址。
• 反过来，如果把0用在整数场景，编译器就按普通整数处理；但如果硬把NULL当整数用（比如int x = NULL;），虽然语法上可能通过，但这是语义错误，很多编译器会抛出警告，告诉你“把空指针转换成整数了”。

核心问题：是什么告知编译器NULL是无效地址？ #

答案很关键：不是NULL这个宏本身，而是它的使用场景 + C语言的标准约定。

• NULL本质就是0，但当你在需要指针的地方使用它时，编译器识别到这里需要的是指针类型，就会触发C标准里的规则：把整数常量0（或者值为0的常量表达式）转换为对应类型的空指针——也就是无效地址。
• 换句话说，NULL只是个语义化的标记，让程序员明确“我这里要的是空指针”，而编译器是靠「上下文的类型需求」和「标准规定的转换规则」，把这个0当成无效指针地址来处理的。

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