C++空指针

空指针：从通俗的角度讲就是一个没有指向任何对象的指针，具体的定义为： “一个能求出0值的常量表达式（例如：0， 3-3, 0L）被转换为一个指针，通常称为空指针。这个值所产生的指针将保证能与任何对象或者函数的指针相互区分。”

需要注意的是，空指针并不一定用与整数0一样的二进制模式表示。常见的误解是：许多人认为，既然p = 0给指针p赋了空指针值，那么空指针的表示就必然和整数0一样，就是说是一个全0 的二进制模式。实际并不是这样的。C++是一个具有足够强的类型的语言，这样，一个像空指针这样的概念完全可以采用实现者选定任何方式表示( 通常情况下，我们都定义一个常量符号来表示空指针：c onst int NULL = 0；// or #define NULL 0，有些系统可能会用一些特殊的地址值来表示空指针),  与这个概念在正文中的表示没有任何关系的只有一个例外，那就是函数的不定参数的省略号抑制了对函数类型的检查的时候，例如：

int printf(const char *...);    //C style unchecked calls

printf(fmt, 0, (char)0, (void *)0, (int *)0, (int(*) ())0);

这里的强制转换是必须的，这样才能描述到底用哪一种0，在这个例子中，可以想象成传递了5个不同的值。

同时，需要注意的是：

char *p = (void *)0     //legal C, but illegal C++

void *是不能隐式转换成其他指针类型的.

但在通常情况下（即用const int NULL = 0表示空指针），会出现一些误解。

例如：

void f(char *);

void f(int);

void g(){ f(0); }    //call f(int)

在这里用0是一个int，又可以提升为一个空指针。

在新的C++11标准中，推荐使用nullptr关键字来表示空指针。

如果想自己实现一个（比如：在旧的不支持C++11标准的编译器上）实现一个空指针，我们可以引用《Imperfect C++》上的一个实现：

const
class nullptr_t
{
public:
    template<class T>
    inline operator T*() const
        { return 0; }

    template<class C, class T>
    inline operator T C::*() const
        { return 0; }
 
private:
    void operator&() const;
} nullptr = {};