C陷阱与指针第3章语义“陷阱” 3.5 空指针并非字符串

weixin_40186813

已于 2022-11-30 23:03:01 修改

阅读量105

点赞数

分类专栏： C陷阱与缺陷文章标签： c语言空指针并非字符串

于 2022-07-28 20:00:10 首次发布

本文链接：https://blog.csdn.net/weixin_40186813/article/details/125878240

版权

C陷阱与缺陷专栏收录该内容

54 篇文章 2 订阅

订阅专栏

本文讨论了C语言中空指针的概念，强调将整数0转换为指针时，其不指向任何有效内存。NULL宏通常用来表示空指针，禁止对空指针进行解引用操作，因为这可能导致未定义行为。示例代码展示了空指针在条件判断中的正确使用以及在函数调用如strcmp中的风险。此外，还提到了试图打印或处理空指针内容的潜在问题。

摘要由CSDN通过智能技术生成

空指针并非空字符串
除了一个重要的例外情况，在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
的行为是未定义的。而且，与此类似的语句在不同的计算机上也会有不同的效果。