访问 NULL 指针错误背后的原理

栏目: C · 发布时间: 5年前

内容简介:说到 NULL 指针大家都是谈之色变,第一印象就是首先,我们来看看 NULL 指针到底是什么?Null 是一个特殊指针值(或是一种对象引用)表示这个指针并不指向任何的对象。

前言

说到 NULL 指针大家都是谈之色变,第一印象就是 NullPointerException , Segmentation fault 之类的错误。NULL 指针大部分情况下会导致程序被终止。但是其实严格来说,访问空指针会产生不可预料的结果。只不过大部分情况是程序被终止。为什么呢?接下来让我们来探讨访问 NULL 指针错误背后的原理。

NULL 在编译器中的实现

首先,我们来看看 NULL 指针到底是什么?

Null 是一个特殊指针值(或是一种对象引用)表示这个指针并不指向任何的对象。

举一些例子,C/C++ 中的 NULL ,Python 中的 None 等等。大部分 NULL 实现是用 0 代表 NULL ,例如说 C/C++ 。实际上,NULL 的值并不重要,重要的是它代表的含义。例如说,JVM 规范并没有规定 NULL 的值,不同虚拟机实现可以自己定义 NULL 的值。

总之, NULL 的值取决编译器实现。

访问 NULL 指针的过程

C 语言中,NULL 的值是 0,即 NULL == 0 是成立的。我们前面说访问 NULL 指针的行为会产生不可预料的后果。但是在 Linux 系统中后果是确定的:访问空指针会产生 Segmentation fault 的错误。因此这里的“不可预料”指的是在不同系统产生的后果不一样。

让我们假设现在使用的是 C 语言,运行在 Linux 系统上,以此来分析访问 NULL 指针的过程。

0
SIGSEGV

可以看到:不需要特定的编译器实现或者内核的支持,只需要让一个页映射到 0x0 的虚拟地址上,就完美的实现了检测空指针的错误。

总结

为了研究这个问题,我查了很多资料。空指针的问题涉及 Linux 内存管理的知识,主要参考了 Robert Love 大神对该 问题 的回答和《深入理解Linux内核》。最大的感悟是带着问题去看内核的书,你会理解内核为什么要这么做,同时可以加深理解和记忆。

总之,空指针的实现取决于编译器的实现,访问空指针的后果取决于操作系统的实现。大部分系统类似于 Linux,会产生 Segmentation fault 的错误,至于内部实现就要看各个系统的代码了。

参考资料

What actually happens when dereferencing a NULL pointer?

《深入理解Linux内核》


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

做自己:鬼脚七自媒体第一季

做自己:鬼脚七自媒体第一季

鬼脚七 / 电子工业出版社 / 2013-7 / 77.00元

当我们习惯了在社会上带着面具的时候,真实成为了一件奢侈的事情。 做到足够真实,让自己的本性表达出来,这需要勇敢。本书是鬼脚七自媒体的原创文集,主题就是做自己。本书有关于生活、互联网、自媒体的睿智分享,也有关于淘宝、搜索的独到见解,是一本接地气,文艺范,并充满正能量的电商生活书。 本书最适合淘宝卖家、电子商务人群、希望了解电商和互联网的人群阅读,也推荐热爱生活的70、80、90后阅读。一起来看看 《做自己:鬼脚七自媒体第一季》 这本书的介绍吧!

HTML 压缩/解压工具
HTML 压缩/解压工具

在线压缩/解压 HTML 代码

图片转BASE64编码
图片转BASE64编码

在线图片转Base64编码工具

XML 在线格式化
XML 在线格式化

在线 XML 格式化压缩工具