空指针并非空字符串
除了一个重要的例外情况，在C语言中将一个整数转换为一个指针，最后得到的结果都取决于具体的C编译器实现。这种例外情况就是常数0，编译器保证由0转换而来的指针不等于任何有效的指针。出于代码文档化的考虑，常数0这个值经常用一个符号来代替：
#define NULL 0
当然无论是直接用常数0，还是用符号NULL，效果都是相同的。需要记住的重要一点是，当常数0被转换成指针使用时，这个指针绝对不能解除引用（dereference）。换句话说，在将0赋值给一个指针变量时，我们绝对不能企图使用该指针所指向的内存中存储的内容。
下面的写法是完全合法的：
if (p == (char*)0) {
...
}
但是如果要写成这样：
if (strcmp(p, (char*)0) == 0) { //illegal behavior
...
}
就是非法的了，原因在于库函数strcmp的实现中会包括一个操作，用于查看它的指针参数所指向内存中的内容。如果p是一个空指针，甚至
printf(p); //undefined behavior
和
printf("%s", p); //undefined behavior
的行为是未定义的。而且，与此类似的语句在不同的计算机上也会有不同的效果。