从NULL到nullptr：C++空指针的演进与工程实践

先说个我自己的经历。前几年带新人的时候，团队里有个转C++没多久的同事，代码写得挺认真，但每次看到空指针赋值都是写 p = NULL。我问他为什么不用 nullptr，他说"不都一样吗，NULL不就是0吗，能用就行"。我当时没急着反驳，而是让他跑了一段重载测试，结果他自己就傻眼了。从那以后我意识到，nullptr 这个看似简单的关键字，其实藏着不少C++11以来最值得掰扯清楚的细节。网上随手一搜"c++ nullptr"，跳出来的不是面试八股就是基础教程片段，真正把来龙去脉讲透的并不多。这篇文章就顺着我自己的理解，把 nullptr 从产生的背景、底层身份到实际工程里的注意事项完整梳理一遍，希望能帮你从"会用"走到"用明白"。

1. 为什么 C++11 之前我们处理空指针如此别扭

1.1 NULL 在不同编译环境下的真实身份

要真正理解 nullptr 解决了什么问题，得先回到C++98/C++03那个年代。那时候表示空指针的惯用写法就是 NULL，稍微有点经验的程序员还会关心一个问题： NULL 到底是什么？翻开标准库的头文件，你大概率会看到 NULL 的定义其实是实现相关的。在大多数C++实现里， NULL 就是 0 或者是 0L，而在C语言的标准库里，它经常被定义为 ((void*)0)。

很多人写C++的时候会默认 NULL 是一个"空指针常量"，但严格来说这是C语言留下的思维惯性。C++为了保证类型安全，不允许 void* 隐式转换成其他类型的指针，所以C++标准里的 NULL 通常是 0 或 0L 这种整型常量表达式，而不是 (void*)0。换句话说，你在C++里写 int* p = NULL; 本质上是在做 int* p = 0;，这靠的是"零值整型常量可以隐式转换为空指针常量"这条特殊规则。

理解这个背景之后，很多奇怪的坑就说得通了。比如 NULL 在某些编译器上被定义成 0L，也就是 long 类型，那么在32位和64位平台下处理起来会有细微差别；再比如有人习惯把 NULL 传给不定参数的函数，编译器因为不知道参数类型，就会糊里糊涂地把 NULL 当成整数塞进去。这些都是 NULL 在C++世界里"身份不清"埋下的隐患。

1.2 NULL 引发的重载歧义：一个经典的面试场景

说起 NULL 最让人头疼的事情，重载歧义绝对排第一。如果你写过这样的代码：

cpp复制#include <iostream>

void func(int) {
    std::cout << "int version" << std::endl;
}

void func(char*) {
    std::cout << "char* version" << std::endl;
}

int main() {
    func(NULL);
    return 0;
}

在 NULL 被定义为 0 的环境下，这行 func(NULL) 调用的多半是 void func(int)，因为 NULL 展开后就是字面量 0，而 0 和 int 的匹配优先级比指针类型更高。如果编译器把 NULL 定义成 0L，那匹配到 void func(int) 还需要一步 long 到 int 的转换，但编译器依旧不会选择 void func(char*)，因为从零值整型到指针的转换被标准规定为"转换序列"，其排名远低于直接匹配或标准整型转换。

这还不是最要命的。更尴尬的是，如果你把 func(NULL) 丢给某些编译严格的环境，它甚至会报一个编译错误，明确告诉你调用有歧义。因为编译器同时看到了两条可行的路径：一个走整数转换到 int，一个走空指针常量转换到 char*，两条路都不完美，于是直接放弃治疗。这种问题在C++98时代几乎无解，大家只能小心翼翼地用 func((char*)0) 或者 func(static_cast<char*>(0)) 这种啰嗦的写法绕过去。

想想看，这种为了绕过歧义而写的强制转换，既丑又容易出错。而在实际项目中，重载函数的出现频率极高，比如 std::shared_ptr 的构造函数、各种回调接口、运算符重载等等，一旦传入 NULL，你可能莫名其妙就跳进了整型版本。面试的时候问这个问题，很多候选人能答出" NULL 是0"，但能接着说出"它会导致重载决议选择整型版本"的，立刻就显得功底不一样了。

1.3 模板推导中 NULL 的无力感

模板推导是另一个让 NULL 露出马脚的地方。假设你写了一个工具函数：

cpp复制template <typename T>
void check(T value) {
    // do something
}

然后调用 check(NULL)，你期望 T 被推导成什么类型？直觉上人们希望 T 是某种指针类型或者至少是 std::nullptr_t 之类的东西，但实际推导结果往往就是 int，因为 NULL 的展开体在预处理阶段已经变成了 0， T 被推导成 int 毫无悬念。这样一来，在模板内部做类型判断、写特化版本或者做重载调度时， NULL 的语义就完全跑偏了。

有一个非常现实的例子： std::unique_ptr 在C++11里允许你用 nullptr 构造一个空对象，但如果你传入 NULL，编译器可能会去匹配其他的构造函数（比如整型版本），从而导致编译失败或产生非预期行为。模板推导的场景在通用代码中无处不在， NULL 这种"伪装成指针的整数"在宏展开后完全没有类型信息，自然无法胜任。

在C++11正式推出之前，很多库作者为了应对这个问题，会自己定义一个常量，比如：

cpp复制const int NULL_PTR = 0;

或者某些库会专门定义一个类来表示空指针。但这些尝试都没有统一标准，最终C++标准委员会决定从根上解决这个问题，这就是 nullptr 诞生的直接原因。

2. 深入拆解 nullptr 的底层身份

2.1 nullptr 不是指针，那它到底是什么

直接回答这个问题： nullptr 是一个 std::nullptr_t 类型的纯右值，它代表空指针常量。在C++标准里， std::nullptr_t 的定义出现在 <cstddef> 头文件中，它是 nullptr 这个关键字的唯一合法类型。

不是说 nullptr 是个指针，