当C++在只能使用指针的语境中发现了0会把勉强解释为空指针,但是C++的基本观点还是0和NULL的类型是int,而非指针。
在C++98中,这样的观点可能在指针类型和整型之间进行重载时可能会发生意外:
c++
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,并且可以隐式转换到所有的裸指针类型。
提升代码的可读性:
c++
// 使用 0/NULL 的歧义
auto result = findRecord();
if (result == 0) { // result 是指针还是整数?不明确
// ...
}
// 使用 nullptr 的明确性
auto result = findRecord();
if (result == nullptr) { // 明确是指针比较
// ...
}
在使用模板时具有显著优势(模板类型推导会严格将 0/NULL 解析为整型,而非空指针语义):
c++
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。 - 避免在整型和指针类型之间重载。