if (ptr == nullptr) 最安全,因 nullptr 是 c++11 引入的类型安全空指针字面量,避免 null 或 0 在重载、模板推导中引发歧义,语义明确、可读性强,且与现代 c++ 类型系统和工具链(如 asan)协同良好。

直接用 if (ptr == nullptr) 判断最安全
现代 C++(C++11 起)必须用 nullptr,而不是 NULL 或字面量 0。前者是类型安全的空指针字面量,后者在函数重载或模板推导中可能引发歧义。比如:func(ptr) 若有 func(int) 和 func(char*) 两个重载,传 NULL(常定义为 0L 或 0)可能意外调用 int 版本。
常见错误现象:用 if (ptr) 看似简洁,但可读性差,且容易和布尔变量混淆;更危险的是漏判——比如忘记加括号写成 if (!ptr->member),实际执行的是 !(ptr->member),而非 !ptr 导致崩溃。
- 永远优先写成
if (ptr != nullptr)或if (ptr == nullptr),语义明确 - 不要依赖隐式转换(如
if (ptr)),尤其在代码审查或团队协作中 - 若用
auto推导指针类型,nullptr仍能正确匹配,NULL可能失败
std::optional<t></t> 或智能指针更适合表达“可能为空”的语义
原始指针本身不携带空值语义,nullptr 是约定,不是约束。编译器不会帮你检查是否漏判。而 std::optional<t></t>(C++17)或 std::unique_ptr<t></t> 明确表达了“该值可为空”这一设计意图,且支持值语义、移动语义,并能配合 has_value() 或 operator bool() 安全访问。
使用场景:函数返回可能为空的结果(如缓存查找、工厂创建)、类成员表示可选依赖。此时用原始指针 + 手动判空,不如用带语义的类型让调用方无法忽略空值处理。
-
std::unique_ptr<t></t>自带if (ptr)检查,且析构自动释放,避免内存泄漏 -
std::optional<t></t>适合“指针本身可能无效”,比如延迟初始化的裸指针容器 - 注意:不要用
std::optional<t></t>存对象副本去替代指针——那是值语义,不是空指针问题
访问前必须判断,但别在每处都重复写 if
频繁出现 if (ptr != nullptr) { ptr->foo(); } 说明接口设计有问题。要么把判空逻辑上提到调用方统一处理(如断言或提前返回),要么封装成工具函数或宏(谨慎使用宏)。
性能影响极小(一次指针比较),但可维护性差。更严重的是:有人会写成 if (ptr) ptr->foo(); else throw std::runtime_error("ptr is null");,看似防御,实则掩盖了根本问题——为什么这里会传入空指针?应该在源头(如构造、赋值、参数传入)就杜绝非法状态。
- 对内部逻辑确定非空的指针,可用
assert(ptr != nullptr)(仅 Debug 版本生效) - 对外部输入(如 API 参数、文件解析结果),必须显式判空并给出明确错误路径
- 避免“先访问再捕获异常”——指针解引用空地址触发的是
SIGSEGV(Unix)或访问冲突(Windows),不是 C++ 异常,无法用try/catch捕获
用 AddressSanitizer 检测漏判空导致的崩溃
即使写了判空,也可能因条件分支覆盖不全(比如只判了 ptr,没判 ptr->next)或竞态(多线程中判空后被其他线程置空)导致崩溃。AddressSanitizer(ASan)能在运行时捕获野指针访问,比靠日志或 core dump 定位快得多。
启用方式很简单:编译时加 -fsanitize=address -g(GCC/Clang),运行时报错会精确到行号和访问类型(read/write of size X at 0x000000000000)。注意它不能检测逻辑错误(比如该判没判),但能暴露所有实际发生的空指针解引用。
- CI 流程中建议默认开启 ASan 运行单元测试
- ASan 会增大内存开销、降低速度,不用于生产环境,但开发阶段值得依赖
- Windows 上用 MSVC 的
/fsanitize=address(需 VS2019 16.9+)或搭配 LLVM 工具链
真正难的不是写那行 if (ptr == nullptr),而是决定“谁该负责确保它不为空”以及“空意味着什么”。原始指针的空值是契约漏洞,不是语法特性。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











