现在c++ 11有了许多新特性。一个有趣而令人困惑的(至少对我来说)是新的nullptr。
不需要讨厌的宏NULL了。
int* x = nullptr;
myclass* obj = nullptr;
不过，我还是不明白nullptr是如何工作的。例如，维基百科的一篇文章说:
c++ 11通过引入一个新的关键字作为区分空指针常量nullptr来纠正这一点。它的类型为nullptr_t，可隐式转换，可与任何指针类型或指针到成员类型相比较。它不能隐式转换，也不能与整型相比，bool类型除外。
它如何既是关键字又是类型的实例?
此外，你是否有另一个例子(除了维基百科的一个)，其中nullptr优于好旧的0?
当前回答
当一个函数可以接收指向多个类型的指针时，用NULL来调用它是不明确的。这种工作方式现在是非常hack的接受一个int并假设它是NULL。
template <class T>
class ptr {
T* p_;
public:
ptr(T* p) : p_(p) {}
template <class U>
ptr(U* u) : p_(dynamic_cast<T*>(u)) { }
// Without this ptr<T> p(NULL) would be ambiguous
ptr(int null) : p_(NULL) { assert(null == NULL); }
};
在c++ 11中，你可以重载nullptr_t，这样ptr<T> p(42);将是编译时错误，而不是运行时断言。
ptr(std::nullptr_t) : p_(nullptr) { }
其他回答
它是关键字，因为标准将这样指定它。;-)根据最新公开草案(n2914)
2.14.7指针字面量[lex.nullptr] pointer-literal: nullptr 指针字面值是关键字nullptr。它是std::nullptr_t类型的右值。
它很有用，因为它没有隐式地转换成一个整数值。
假设你有一个重载的函数(f)，它同时接受int和char*。在c++ 11之前，如果你想用空指针调用它，并且你使用了null(即值0)，那么你会调用int重载的指针:
void f(int);
void f(char*);
void g()
{
f(0); // Calls f(int).
f(NULL); // Equals to f(0). Calls f(int).
}
这可能不是你想要的。c++ 11用nullptr解决了这个问题;现在你可以这样写:
void g()
{
f(nullptr); //calls f(char*)
}
其他语言有保留词，它们是类型的实例。例如，Python:
>>> None = 5
File "<stdin>", line 1
SyntaxError: assignment to None
>>> type(None)
<type 'NoneType'>
这实际上是一个相当接近的比较，因为None通常用于尚未初始化的东西，但与此同时，像None == 0这样的比较是假的。
另一方面，在普通C中，NULL == 0将返回真IIRC，因为NULL只是一个返回0的宏，这总是一个无效地址(AFAIK)。
从nullptr:一个类型安全和明确的空指针:
新的c++ 09 nullptr关键字指定了一个右值常量，用作通用空指针字面量，取代了有bug且弱类型的字面量0和臭名昭著的null宏。因此，Nullptr结束了30多年来的尴尬、歧义和错误。下面几节介绍nullptr功能，并展示它如何补救NULL和0的问题。
其他参考资料:
WikiBooks，带有示例代码。 Stack Overflow:在c++中，指针使用NULL还是0(零)? 模板 谷歌组:comp.lang.c++。有节制的编译器讨论
此外，你是否有另一个例子(除了维基百科的一个)，其中nullptr优于好旧的0?
是的。这也是在我们的生产代码中出现的一个(简化的)真实例子。它之所以突出，是因为gcc能够在交叉编译到具有不同寄存器宽度的平台时发出警告(仍然不确定为什么只有在从x86_64交叉编译到x86时，警告警告:从NULL转换为非指针类型'int'):
考虑以下代码(c++ 03):
#include <iostream>
struct B {};
struct A
{
operator B*() {return 0;}
operator bool() {return true;}
};
int main()
{
A a;
B* pb = 0;
typedef void* null_ptr_t;
null_ptr_t null = 0;
std::cout << "(a == pb): " << (a == pb) << std::endl;
std::cout << "(a == 0): " << (a == 0) << std::endl; // no warning
std::cout << "(a == NULL): " << (a == NULL) << std::endl; // warns sometimes
std::cout << "(a == null): " << (a == null) << std::endl;
}
它产生如下输出:
(a == pb): 1
(a == 0): 0
(a == NULL): 0
(a == null): 1
