指针空值——nullptr

目的：消除字面值常量0的二义性。

问题引入

在良好的C++编程习惯中，声明一个变量的同时，总是需要记得在合适的代码位置将其初始化。对于指针类型的变量，这一点尤其应当注意，典型的初始化指针是将其指向一个“空”的位置，比如0或者NULL。例如：

int *p = 0;
int *ptr = NULL;

一般情况下，NULL是一个宏定义。在vcruntime.h可以找到如下代码：

#ifndef NULL
    #ifdef __cplusplus
        #define NULL 0
    #else
        #define NULL ((void *)0)
    #endif
#endif

可以看出，NULL可能被定义成字面常量0，或者是定义为无类型指针（void*）常量。不过无论采用什么样的定义，我们在使用空值的指针时，都不可避免的遇到一些麻烦。比如下面的例子：

#include <iostream>
using namespace std;
void f(char *c)
{
	cout << "invoke f(char*)" << endl;
}

void f(int i)
{
	cout << "invoke f(int)" << endl;
}

int main()
{
	f(0);
	f(NULL);
	f((char*)0);
}

用户重载了f函数，并且试图使用f(NULL)来调用指针的版本，不过很可惜，会得到以下结果：

invoke f(int)
invoke f(int)
invoke f(char*)

这里NULL被定义为0，因此使用NULL做参数调用和使用字面量0调用的结果完全相同，都是调用了f(int)这个版本。这与程序员编写代码的意图相悖。

引起该问题的元凶是字面值常量0的二义性，在C++98标准中，字面常量0的类型既可以是一个整型，也可以是一个无类型指针（void*）。如果想调用f(char*)版本的话，则需要对字面常量进行强制类型转化（（void*）0），否则编译器总是会优先把0看做是一个整型常量。

问题解决

在C++11新标准中，出于兼容性的考虑，字面常量0的二义性并没有被消除。但新标准还是为二义性给出了新的答案，就是nullptr。nullptr是一个所谓“指针空值类型”的常量。指针空值类型被命名为nullptr_t，事实上，我们可以在支持nullptr的头文件（stddef.h）中找出如下定义：

typedef decltype(__nullptr) nullptr_t;

可以看到，nullptr的定义方式非常有趣，与传统的先定义类型，再通过类型声明值的做法完全相反（充分利用了decltype的功能）。由于nullptr是有类型的，且仅可以被隐式转化为指针类型，因此对于上面的例子，nullptr做参数则可以成功调用f(char*)版本的函数。

除去nullptr及nullptr_t以外，C++中还存在各种内置类型，C++11严格规定了数据间的关系。大体规则如下：

• nullptr类型数据可以隐式转换成任意一个指针类型。
• 所有定义为nullptr_t类型的数据都是等价的，行为也是完全一致。
• nullptr_t类型数据不能转换为非指针类型，即使使用reinterpret_cast<>()的方式也不行。
• nullptr_t类型说句不适用与算术运算表达式。
• nullptr类型数据可以用于关系运算表达式，但仅能与nullptr_t类型数据或者指针类型数据进行比较。

参考：《深入理解C++11》