当前位置：首页 > news >正文

【Effective Modern C++】第三章转向现代C++：8. 优先选用nullptr，而非0或NULL

news 2026/5/12 14:33:47

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

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

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，并且可以隐式转换到所有的裸指针类型。

提升代码的可读性：

// 使用 0/NULL 的歧义 auto result = findRecord(); if (result == 0) { // result 是指针还是整数？不明确 // ... } // 使用 nullptr 的明确性 auto result = findRecord(); if (result == nullptr) { // 明确是指针比较 // ... }

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

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*