C++11下空指针的根本区别
nullptr的类型与语义
在C++11中引入的nullptr是一个关键字，属于特殊类型
由于拥有唯一的类型，nullptr在重载解析、模板推导和类型推导时能够提供更可靠的行为。这意味着把空指针赋值给任意指针类型时不会再出现隐式的整型转换问题，也不会把整型值错误地当作指针来处理。这使得代码的意图更加清晰，维护性显著提升。
#include <iostream>
#include <cstddef>void f(int) { std::cout << "f(int)\\n"; }
void f(char*) { std::cout << "f(char*)\\n"; }
void f(std::nullptr_t) { std::cout << "f(nullptr_t)\\n"; }int main() {f(nullptr); // 调用 f(std::nullptr_t)，匹配最精确// f(NULL); // 若仅有上面的重载，某些编译器可能产生歧义或选择不同的重载return 0;
}
从语义角度看，nullptr的存在是为了让空指针在类型系统中具有同等地位的可预测性，避免把一个空指针误解为整数值或其它意义的常量。
NULL的历史背景与局限
在早期的C/C++标准中，NULL通常被定义为一个整型常量0，或者在某些实现中定义为(void*)0。这种定义带来两个核心问题：一是缺乏严格的类型信息，容易在重载和模板中引起歧义；二是依赖宏定义，容易在命名空间和头文件重复定义或污染全局命名空间。随着C++的渐进发展，这些问题在实际项目中往往需要额外的类型判断和注释来避免误用。
当把NULL用于不同的上下文时，编译器需要在整型与指针之间进行隐式转换，这会导致意外的行为，甚至编译错误难以定位。从可读性与可维护性角度，使用空指针常量的做法显然更加稳妥。
#include <iostream>void g(int) { std::cout << "g(int)\\n"; }
void g(char*) { std::cout << "g(char*)\\n"; }int main() {g(NULL); // 可能选择 g(int) 或 g(char*)，结果不确定// 在没有显式 nullptr 的情况下，编译器对歧义的处理依赖实现return 0;
}
在模板与重载中的行为差异
重载解析中的nullptr与NULL
在重载解析的场景下，nullptr提供了明确的匹配：它直接与std::nullptr_t的重载形成精确匹配，因此调用结果确定性很高。与之对比，NULL作为整型常量，容易在同一组重载中引发隐式转换竞争，导致结果不可预测甚至编译失败。
以下代码展示了两种情形的对比：第一段使用nullptr，第二段使用NULL。请注意，不同编译器的行为在没有明确的
#include <iostream>
#include <cstddef>void h(int) { std::cout << "h(int)\\n"; }
void h(char*) { std::cout << "h(char*)\\n"; }
void h(std::nullptr_t) { std::cout << "h(nullptr_t)\\n"; }int main() {h(nullptr); // 调用 h(std::nullptr_t)，行为明确// h(NULL); // 这条在某些编译器上可能产生歧义，或调用不符合期望的重载return 0;
}
实践要点：在有std::nullptr_t重载的代码中，使用nullptr可以避免因整型与指针的双向转换而产生的歧义和错误。
模板推导与类型安全
模板场景下，nullptr有助于提升类型推导的可预测性。将空指针作为模板参数时，nullptr被推导为std::nullptr_t，从而避免把空指针当作其它指针类型的隐式参数，降低错误率。
#include <cstddef>
#include <iostream>template > void target(std::nullptr_t);
template > void target(int*);void target(int*);int main() {target(nullptr); // 精确匹配 std::nullptr_t 重载// target(NULL); // 可能产生歧义或错误的模板推导
}
空指针常量的优势分析
类型安全性与表达意图
使用空指针常量（nullptr）可以让代码的意图更加直观：它表示“空指针，而不是某个整型值0”的语义，从而在类型系统层面降低错误概率。
通过引入std::nullptr_t，编译器拥有明确的语义信息，避免了隐式整型转换对指针上下文的干扰，进而提升了代码的可维护性和可读性。
#include <iostream>void set(int*);
void set(std::nullptr_t);int main() {int* p = nullptr; // 明确指向空指针set(nullptr); // 调用 nullptr_t 重载，表达意图清晰// set(0); // 虽然可编译，但语义不再直观return 0;
}
与现有API的兼容性
采用空指针常量的风格在对既有API进行改造时能减少破坏性改动。新接口可以直接使用nullptr作为默认初始化或空指针参数，而旧接口在未作改动的情况下也能以更明确的方式被调用。
#include <iostream>void log(int*);
void log(std::nullptr_t);int main() {int* p = nullptr;log(p); // 走 log(int*) 分支log(nullptr); // 走 log(std::nullptr_t) 分支，语义更清晰return 0;
}
对智能指针和标准库的影响
在std::unique_ptr、std::shared_ptr以及其他标准库组件中，nullptr作为空指针的标准表达方式，与智能指针的构造、赋值和比较操作具有良好的一致性。使用nullptr初始化智能指针，是推荐的写法，能避免与整型常量混淆。
#include <iostream>
#include <memory>int main() {std::unique_ptr uptr = nullptr; // 推荐的空指针初始化std::shared_ptr sptr = nullptr; // 同样推荐if (!uptr) std::cout << "uptr 已经为空\\n";return 0;
}
