在C++编程中,指针是直接操作内存的重要工具,但如果使用不当,尤其是访问空指针或非法指针,会导致程序出现段错误、崩溃等未定义行为。因此学会判断空指针、检查指针合法性是C++开发者的必备技能。

一、C++中空指针的定义与判断
1. 空指针的两种表示方式
在C++发展过程中,空指针有两种常见的表示形式,分别是传统的NULL和C++11引入的nullptr。
NULL本质上是宏定义,在多数实现中会被定义为0或者((void*)0),它存在类型不明确的问题,可能会在函数重载场景下引发歧义。而nullptr是C++11新增的空指针常量,它的类型是nullptr_t,可以隐式转换为任意指针类型,不会出现类型匹配错误,是更推荐的空指针表示方式。
2. 判断空指针的基本方法
判断指针是否为空的核心逻辑是检查指针的值是否等于空指针常量,常见写法如下:
#include <iostream>
int main() {
int* ptr1 = nullptr; // 使用nullptr初始化空指针
int* ptr2 = NULL; // 使用NULL初始化空指针(不推荐)
int a = 10;
int* ptr3 = &a; // 指向有效变量的指针
// 判断ptr1是否为空
if (ptr1 == nullptr) {
std::cout << "ptr1是空指针" << std::endl;
}
// 判断ptr2是否为空,和nullptr比较更规范
if (ptr2 == nullptr) {
std::cout << "ptr2是空指针" << std::endl;
}
// 判断ptr3是否不为空
if (ptr3 != nullptr) {
std::cout << "ptr3不是空指针,指向的值为:" << *ptr3 << std::endl;
}
return 0;
}
需要注意的是,不要写成if (ptr1)或者if (!ptr1)这样的隐式判断,虽然语法上合法,但可读性不如显式比较,尤其是在团队协作中,显式比较能让代码逻辑更清晰。
二、指针合法性检查的进阶方法
判断空指针只是指针检查的基础,有些场景下指针非空但指向的内存已经被释放,或者指向了非法内存区域,这类指针被称为野指针,也需要进行检查。
1. 避免野指针的产生
野指针的产生通常是因为指针指向的内存被释放后没有置空,或者指针未初始化就使用。预防野指针的核心原则是:
- 指针声明时尽量初始化,没有明确的指向就初始化为
nullptr - 当指针指向的动态内存被
delete或者free之后,立刻将指针赋值为nullptr - 不要返回局部变量的指针,局部变量离开作用域后内存会被回收
示例代码如下:
#include <iostream>
int* createInt() {
int* p = new int(20);
return p;
}
int main() {
int* numPtr = createInt(); // 获取动态分配的内存指针
std::cout << "初始值:" << *numPtr << std::endl;
delete numPtr; // 释放内存
numPtr = nullptr; // 释放后立即置空,避免野指针
// 后续使用前先检查
if (numPtr != nullptr) {
std::cout << *numPtr << std::endl;
} else {
std::cout << "numPtr已经是空指针,无法访问" << std::endl;
}
return 0;
}
2. 借助智能指针减少指针风险
C++11引入的智能指针(unique_ptr、shared_ptr、weak_ptr)可以自动管理内存生命周期,从根源上减少空指针和野指针的问题。智能指针本身会处理内存释放逻辑,并且可以通过get()方法获取原始指针,使用前检查原始指针是否为空即可。
#include <iostream>
#include <memory>
int main() {
std::unique_ptr<int> uPtr = std::make_unique<int>(30);
// 检查智能指针管理的原始指针是否为空
if (uPtr.get() != nullptr) {
std::cout << "智能指针指向的值为:" << *uPtr << std::endl;
}
uPtr.reset(); // 释放智能指针管理的内存
if (uPtr.get() == nullptr) {
std::cout << "智能指针已经释放内存,原始指针为空" << std::endl;
}
return 0;
}
3. 调试阶段的指针合法性校验
在调试阶段,可以使用一些工具辅助检查指针合法性,比如Windows平台下的IsBadReadPtr、IsBadWritePtr函数,不过这类函数属于平台特定接口,不适合跨平台代码使用。更通用的是在调试版本中添加断言,当指针为空时直接触发断言中断,快速定位问题。
#include <iostream>
#include <cassert>
void processData(int* data) {
// 调试阶段断言,指针为空时直接中断程序,提示问题位置
assert(data != nullptr && "processData函数传入的指针为空");
std::cout << "处理数据:" << *data << std::endl;
}
int main() {
int value = 50;
processData(&value);
// processData(nullptr); // 传入空指针会触发断言中断
return 0;
}
需要注意的是,断言只在调试版本生效,发布版本中会被忽略,因此发布版本的代码仍然需要保留显式的空指针判断逻辑。
三、常见误区与注意事项
很多开发者会误以为判断指针不为空就可以安全访问,实际上如果指针指向的内存已经被释放,即使指针非空也属于非法访问。另外,不要对nullptr进行解引用操作,即使加了判断,也要确保判断逻辑覆盖所有访问路径。
还有一点需要注意,sizeof运算符作用于指针得到的是指针本身的大小,和指针指向的内容大小无关,不要试图通过sizeof来判断指针指向的内存是否有效,这种方式是没有意义的。
总结来说,C++中判断空指针优先使用ptr == nullptr的显式比较方式,检查指针合法性要从预防野指针、使用智能指针、调试校验多方面入手,才能最大程度避免指针相关的运行时错误。