1. 引入nullptr的原因
引入nullptr的原因,这个要从NULL说起。对于C和C++程序员来说,一定不会对NULL感到陌生。但是C和C++中的NULL却不等价。NULL表示指针不指向任何对象,但是问题在于,NULL不是关键字,而只是一个宏定义(macro)。
1.1 NULL在C中的定义
在C中,习惯将NULL定义为void*指针值0:
#define NULL ((void*)0)
1.2 NULL在C++中的定义
#define NULL 0
1.3 在C++中
void Func(char *); void Func(int); int main() { Func(NULL); }
根本原因和C++的重载函数有关。C++通过搜索匹配参数的机制,试图找到最佳匹配(best-match)的函数,而如果继续支持void*的隐式类型转换,则会带来语义二义性(syntax ambiguous)的问题。例如上面的例子,将NULL定义为0,将不知道该调用哪个函数。
在C语言中,void *类型的指针可以默认转换成任何类型的指针。因此我们的空指针就定义成#define NULL ((void *)0)。这样,我们就可以写int *p = NULL,而不必写成int *p = (int *)NULL,虽然这样也没有错。但是在C++中,void *类型的指针转换成其它类型的指针时都必须使用强制转换,因为C++的类型检查更严格。这样,我们空指针的定义就变成了#define NULL 0。因为在C++中,零这个常数转换成任何指针时可以是默认的。