c++ 空指针,悬挂指针(悬空指针),野指针的使用与区别小结_C/C++

在 c、c++ 等编程语言中，指针是一个强大但容易出错的特性。除了空指针、悬挂指针、野指针外，还有一些其他类型的指针概念。下面为你详细介绍它们的区别和示例：

1. 空指针（null pointer）

定义：明确不指向任何内存地址的指针，通常用null（c）或nullptr（c++）表示。
产生场景：

风险：解引用空指针会导致程序崩溃（段错误）。

示例：

int* ptr = null;
// *ptr = 10;  // 错误：解引用空指针

定义：指向已释放内存的指针。
产生场景：

风险：解引用悬挂指针会导致未定义行为（如读取随机数据、程序崩溃）。

示例：

int* ptr = new int(42);
delete ptr;  // 内存已释放
// ptr 现在是悬挂指针
// *ptr = 10;  // 危险：解引用悬挂指针

int* getlocalptr() {
    int x = 10;
    return &x;  // 错误：返回局部变量的地址（悬挂指针）
}
// int* ptr = getlocalptr();  // ptr 是悬挂指针

定义：未初始化的指针，指向随机内存地址。
产生场景：

风险：解引用野指针会访问非法内存，导致程序崩溃或数据损坏。

示例：

int* ptr;  // 野指针（未初始化）
// *ptr = 10;  // 错误：解引用野指针

定义：泛指所有指向无效内存的指针，包括悬挂指针、野指针，以及越界指针。
产生场景：

风险：解引用无效指针导致未定义行为。

示例：

int arr[5];
int* ptr = &arr[10];  // 越界指针（无效）
// *ptr = 10;  // 错误：访问非法内存

定义：c++ 中未初始化的引用（语法层面不允许，但可通过强制类型转换间接产生）。
产生场景：

风险：使用野引用会导致未定义行为。

示例：

int& ref = *(int*)0x12345678;  // 野引用（指向随机地址）
// ref = 10;  // 危险：修改非法内存

定义：与悬挂指针类似，但针对引用类型。
产生场景：

风险：使用悬空引用会导致未定义行为。

示例：

int& getlocalref() {
    int x = 10;
    return x;  // 错误：返回局部变量的引用（悬空引用）
}
// int& ref = getlocalref();  // ref 是悬空引用

说明：与 “悬挂指针” 是同一概念的不同翻译。

说明：与 “野指针” 是同一概念，强调未初始化的特性。

定义：错误地调用函数指针。
产生场景：

风险：调用无效函数指针会导致程序崩溃。

示例：

void (*funcptr)() = null;
// funcptr();  // 错误：调用空函数指针

指针类型	定义	示例	风险
野指针	未初始化的指针	int* ptr;	解引用非法内存
野引用	通过非法地址创建的引用	int& ref = (int)0x1234;	修改非法内存

使用智能指针（c++）：

std::unique_ptr<int> ptr = std::make_unique<int>(42);  // 自动管理内存

指针类型	定义	典型场景	解引用风险
空指针	指向null	int* ptr = nullptr;	立即崩溃（段错误）
悬挂指针	指向已释放的内存	delete ptr;后未置空	未定义行为（可能随机值）
野指针	未初始化的随机指针	int* ptr;（未赋值）	崩溃或数据损坏
无效指针	泛指所有无效内存的指针	越界指针、重复释放的指针	未定义行为
悬空引用	引用已销毁的对象	返回局部变量的引用	未定义行为