某些时候,我们需要将指针赋值为空指针,以防止野指针。
有人喜欢使用NULL作为空指针常量使用,例如:int* p = NULL;。
也有人直接使用0值作为空指针常量,例如:int* p = 0;。
前者可能觉得:NULL作为空指针常量,名字很形象,可读性较强。
后者可能觉得:NULL并不是C/C++语言的关键字,而是一个在标准库头文件<stddef.h>中定义的宏,因此要使用NULL,可能需要直接或简介地包含<stddef.h>头文件,比较麻烦。
问题一:NULL与常数0值有何区别?
要弄清楚这个问题,我们采用问与答的形式来描述。
问:NULL到底是什么?
答:NULL是一个宏。
问:它的值是多少?
答:C/C++标准规定:它的值是一个空指针常量(null pointer constant),由实现定义。#1,#2
问:什么样的值才能称之为空指针常量?
答:C语言中常数0和(void*)0都是空指针常量;C++中(暂且忽略C++11)常数0是,而(void*)0 不是。#3,#4
问:NULL宏是在哪里定义的?
答:通常是在C标准库的<stddef.h>头文件中,不过别的头文件中可能也有定义。
问:一般编译器的<stddef.h>头文件中NULL宏是如何定义的?
答:以gcc或clang编译器为例,NULL的定义大致如下(稍有简化):
#if defined(__cplusplus) # define NULL 0 // C++中使用0作为NULL的值 #else # define NULL ((void *)0) // C中使用((void *)0)作为NULL的值 #endif
问:为什么C中(void*)0是空指针常量,而C++中不是?
答:因为C语言中任何类型的指针都可以(隐式地)转换为void*型,反过来也行,而C++中void*型不能隐式地转换为别的类型指针(例如:int*p = (void*)0;使用C++编译器编译会报错)。#5,#6
问:既然C/C++标准中,常数0都可作为空指针常量,为什么不统一使用0?
答:个人觉得由于(void*)0更能体现指针的意义,而常数0更多的时候是用作整数。因此,C语言中NULL定义选择了(void*)0。(仅供参考)
问题二:C++11中为什么要引入nullptr?
考虑着这样一个函数重载的情形:
#include <stddef.h> void foo(int) {} // #1 void foo(char*) {} // #2 int main() { foo(NULL); // 调用#1还是#2? }
从字面上来讲,NULL是个空指针常量,我们可能会觉得:既然是个指针,那么应该调用#2。但事实上调用的却是#1,因为C++中NULL扩展为常数0,它是int型。
根本原因就是:常数0既是整数常量,也是空指针常量。
为了解决这种二义性,C++11标准引入了关键字nullptr,它作为一种空指针常量。#7例如:
void foo(int) {} // #1 void foo(char*) {} // #2 int main() { foo(nullptr); // 它会毫无异议地调用#2 }
附注:
[#1] C99: 7.17-p3:
The macros are
NULL
which expands to an implementation-defined null pointer constant; and ...
[#2] C++03: 18.1-p4:
The macro NULL is an implementation-defined C + + null pointer constant in this International Standard(4.10).
[#3] C99: 6.3.2.3-p3:
An integer constant expression with the value 0, or such an expression cast to type void *, is called a null pointer constant.
[#4] C++03: 4.10-p1:
A null pointer constant is an integral constant expression (5.19) rvalue of integer type that evaluates to zero.
[#5] C99: 6.3.2.3-p1:
A pointer to void may be converted to or from a pointer to any incomplete or object type. A pointer to any incomplete or object type may be converted to a pointer to void and back again; the result shall compare equal to the original pointer.
[#6] C++03: 4.10-p2:
An rvalue of type “pointer to cv T,” where T is an object type, can be converted to an rvalue of type “pointer to cv void.”
[#7] C++11: 4.10-p1:
A null pointer constant is an integral constant expression (5.19) prvalue of integer type that evaluates to zero or a prvalue of type std::nullptr_t.
参考:
(1) C99/C++03/C++11标准文档
(2) nullptr提案文档:N2431:http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2431.pdf