在C++的发展历程中，空指针的表示方式经历了从NULL到nullptr的演变，这一变化的核心目的是解决空指针使用过程中的类型安全问题。NULL在传统的C/C++代码中通常被定义为0或者(void*)0，这种定义方式会和整数类型产生混淆，在涉及重载、模板等场景时容易引发不符合预期的类型匹配。而nullptr是C++11引入的关键字，拥有独立的nullptr_t类型，从根源上避免了和整数类型的混淆，为代码提供了更可靠的空指针类型安全保障。
NULL的类型安全隐患
在C++11之前，NULL的实现通常有两种常见形式，一种是将NULL定义为整数0，另一种定义为(void*)0。无论哪种定义，都会导致NULL的类型信息不明确，进而引发类型相关的问题。
重载函数场景下的类型匹配问题
当存在重载函数，一个接收整数参数，另一个接收指针参数时，使用NULL作为参数传递，会因为NULL被解析为整数0，错误地匹配到整数版本的重载函数，而不是开发者预期的指针版本。
下面的代码展示了这个问题：
#include <iostream>
// 重载函数：接收整数参数
void func(int num) {
std::cout << "调用整数版本函数，参数值：" << num << std::endl;
}
// 重载函数：接收指针参数
void func(int* ptr) {
if (ptr == nullptr) {
std::cout << "调用指针版本函数，指针为空" << std::endl;
} else {
std::cout << "调用指针版本函数，指针不为空" << std::endl;
}
}
int main() {
// NULL被定义为0，会匹配到整数版本的重载函数
func(NULL);
return 0;
}
上述代码的运行结果是输出调用整数版本函数，参数值：0，而不是开发者预期的指针版本函数，这就是NULL类型不明确带来的问题。
模板类型推导的歧义
在模板编程中，NULL的类型会导致模板参数推导出现不符合预期的结果。比如当模板参数需要推导为指针类型时，传入NULL会被推导为整数类型，进而引发后续的编译或运行错误。
#include <iostream>
#include <typeinfo>
template <typename T>
void print_type(T param) {
std::cout << "参数类型：" << typeid(param).name() << std::endl;
}
int main() {
// NULL被推导为整数类型
print_type(NULL);
return 0;
}
上述代码中，NULL的类型会被推导为int，而不是指针类型，这不符合我们使用空指针的预期场景。
nullptr的类型安全优势
nullptr是C++11引入的专门表示空指针的关键字，它的类型是nullptr_t，该类型可以隐式转换为任意指针类型，但不能隐式转换为整数类型，从设计上就避免了NULL的类型混淆问题。
重载函数场景下的正确匹配
将之前重载函数示例中的NULL替换为nullptr，就可以正确匹配到指针版本的重载函数。
#include <iostream>
// 重载函数：接收整数参数
void func(int num) {
std::cout << "调用整数版本函数，参数值：" << num << std::endl;
}
// 重载函数：接收指针参数
void func(int* ptr) {
if (ptr == nullptr) {
std::cout << "调用指针版本函数，指针为空" << std::endl;
} else {
std::cout << "调用指针版本函数，指针不为空" << std::endl;
}
}
int main() {
// nullptr正确匹配指针版本的重载函数
func(nullptr);
return 0;
}
上述代码的运行结果是输出调用指针版本函数，指针为空，符合开发者的预期。
模板推导的类型正确性
在模板场景中使用nullptr，模板参数会被正确推导为指针类型，避免类型歧义。
#include <iostream>
#include <typeinfo>
template <typename T>
void print_type(T param) {
std::cout << "参数类型：" << typeid(param).name() << std::endl;
}
int main() {
// nullptr被正确推导为指针类型
print_type(nullptr);
return 0;
}
此时模板参数会被推导为nullptr_t类型，该类型属于指针相关的空值类型，符合空指针的使用场景。
编译期类型检查更严格
nullptr无法被隐式转换为整数类型，因此当开发者错误地将nullptr赋值给整数变量时，编译器会直接报错，提前暴露问题，而不是等到运行时才出现异常。
#include <iostream>
int main() {
// 错误：nullptr不能隐式转换为int，编译会直接报错
// int num = nullptr;
// 正确：nullptr可以赋值给指针变量
int* ptr = nullptr;
return 0;
}
如果上述代码中取消注释int num = nullptr;，编译器会提示类型转换错误，帮助开发者及时修正代码。
使用建议
在C++11及之后的标准中，建议统一使用nullptr表示空指针，完全替代NULL的使用。这样可以从根源上避免空指针相关的类型安全问题，减少因为类型匹配错误导致的程序异常，让代码的类型逻辑更清晰，也更易于维护。
对于需要兼容旧版本C++标准的代码，如果无法使用nullptr，可以在代码中明确NULL的定义，并且在使用时通过显式的类型转换来避免歧义，但这种方式不如nullptr直接和可靠。