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

当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
  • 避免在整型和指针类型之间重载。

原著在线阅读地址

相关推荐
apocelipes10 小时前
常用编程语言和库的正则表达式性能对比
c语言·c++·python·性能优化·golang·开发工具和环境
郝学胜_神的一滴2 天前
CMake 034:生成器表达式:解耦构建时序、精简分支逻辑的终极利器
c++·cmake
见过夏天2 天前
C++ 基础入门完全指南
c++
用户805533698034 天前
不止三件套:QObject 属性系统全关键字与运行时反射!
c++·qt
BadBadBad__AK4 天前
线段树维护区间 k 次方和
c++·数学·算法·stl
卷无止境5 天前
Eigen 库如何借助 OpenMP 加速计算
c++·后端
卷无止境5 天前
OpenMPI、MPICH 与 OpenMP:关系、核心概念与架构全解
c++·后端
郝学胜_神的一滴6 天前
CMake 30:循环语法全解|foreach_while双循环精讲、迭代技巧与实战避坑指南
c++·cmake
卷无止境8 天前
C++ 的Eigen 库全解析
c++
卷无止境8 天前
现代 C++特性大盘点:一门脱胎换骨的老语言
c++·后端