时间：2014.05.07

地点：基地

-----------------------------------------------------------------------------

一、为什么要有指针空值nullptr

  在良好的编码习惯中，声明一个指针并对其进行初始化非常重要，未初始化的悬挂指针常导致一些难以调试的错误。往常，我们常这样初始化指针变量：

int* my_ptr1=0;
int* my_ptr2=NULL;

#include<iostream>
using namespace std;
void f(char* c)
{
	cout << "invoke f(char* c)" << endl;
}
void f(int i)
{
	cout << "invoke f(int)" << endl;
}
int main()
{
	f(0);
	f(NULL);
	f((char*)0);
	f(nullptr);
	return EXIT_SUCCESS;
}

结果如下：

可见，f(NULL)并没有调用想要的指针版本，而是调用了f(int)版本，这是因为NULL被定义为0，编译器总是优先把0视为一个整型常量造成的。0在C++98中是有二义性的，编译器首先解释它是一个整型常量，其次是一个无类型指针(void*)。

-----------------------------------------------------------------------------

二、问题的解决

  C++11中，首先为了兼容性考虑并没消除0的二义性，但给出了一种新的方案，使用指针空值nullptr去初始化指针。指针空值的类型被命名为nullptr_t。它是这么来的：

typedef decltype(nullptr) nullptr_t;

-----------------------------------------------------------------------------

三、类型nullptr_t

 上面我们已经知道nullptr的类型为nullptr_t，我们再看看这种类型有什么特点

1.nullptr_t是一种内置数据内型

2.nullptr_t类型 数据可以隐式转换为任意一种指针类型，但无论你想什么方式都不能转换为非指针类型。

3.nullptr_t类型数据不可用于算术运算

4.nullptr_t类型数据可以用于同类型数据之间进行关系运算。

所以诸如：

if(nullptr);
if(nullptr==0);

值得注意的是nullptr_t看起来像个指针类型，但其实不是的，它就是nullptr_t这样一种类型，比如在模板中就不能当做是一种指针类型传递给模板参数了，模板是推导不出它的具体类型的，必须显式转换：

template<typename T>void g(T* T){}
......
g(nullptr);   //编译错误
g((float*)nullptr);  //可推导出T为float

sizeof(nullptr_t)==sizeof(void*)