当C++在只能使用指针的语境中发现了0会把勉强解释为空指针,但是C++的基本观点还是0和NULL的类型是int,而非指针。

在C++98中,这样的观点可能在指针类型和整型之间进行重载时可能会发生意外:

1
2
3
4
5
6
7
void f(int);        // 整型版本
void f(bool); // 布尔版本
void f(void*); // 指针版本

f(0); // 调用 f(int),而不是 f(void*)!
f(NULL); // 可能通不过编译,但一般会调用 f(int)。从来不会调用 f(void*)
f(nullptr); // 正确调用 f(void*)

nullptr的优点

它不具备整型类型。实际类型是std::nullptr_t,并且可以隐式转换到所有的裸指针类型。

提升代码的可读性:

1
2
3
4
5
6
7
8
9
10
11
// 使用 0/NULL 的歧义
auto result = findRecord();
if (result == 0) { // result 是指针还是整数?不明确
// ...
}

// 使用 nullptr 的明确性
auto result = findRecord();
if (result == nullptr) { // 明确是指针比较
// ...
}

在使用模板时具有显著优势(模板类型推导会严格将 0/NULL 解析为整型,而非空指针语义):

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
int f1(std::shared_ptr<Widget> spw); 
double f2(std::unique_ptr<Widget> upw);
bool f3(Widget* pw);

// 模板函数
template<typename FuncType, typename PtrType>
decltype(auto) lockAndCall(FuncType func, PtrType ptr) {
// ... 加锁等操作
return func(ptr);
}

// 调用结果
auto r1 = lockAndCall(f1, 0); // 编译错误:0被推导为int,无法转为shared_ptr
auto r2 = lockAndCall(f2, NULL); // 编译错误:NULL被推导为整型,无法转为unique_ptr
auto r3 = lockAndCall(f3, nullptr);// 正确:nullptr_t可隐式转为Widget*

总结

  • 相对于0或NULL,优先选用nullptr。
  • 避免在整型和指针类型之间重载。