一、空指针与野指针的基本概念
在C语言中，指针是程序中最基本也是最强大的数据类型之一。然而，不当使用指针会导致严重的运行时错误。
空指针（NULL Pointer）：指向地址为0的特殊指针，表示“不指向任何有效内存”。野指针（Dangling Pointer）：原本指向有效内存的指针，在该内存被释放后仍继续使用。
int *ptr1 = NULL; // 空指针
int *ptr2;
{
int x = 10;
ptr2 = &x;
} // x超出作用域，ptr2成为野指针
二、主要区别对比表
特性空指针野指针定义显式赋值为NULL指向已释放或无效内存来源初始化或主动置空内存释放或变量生命周期结束解引用后果未定义行为，通常崩溃不可预测行为，可能暂时正常调试难易度容易发现（如段错误）难以定位，问题延迟暴露
三、危害分析
空指针的危害：
访问空指针会导致程序崩溃（Segmentation Fault）虽然易于调试，但在关键系统中可能导致服务中断
野指针的危害：
读写已释放内存可能导致数据损坏程序行为不稳定，错误不易复现安全漏洞风险（如缓冲区溢出攻击）
四、常见场景与解决方案
以下是野指针和空指针常出现的典型编程场景：
// 示例1：空指针使用
void print(int *p) {
printf("%d\n", *p); // 若p为NULL，触发崩溃
}
// 示例2：野指针使用
int *dangerous_func() {
int x = 20;
return &x; // 返回局部变量地址，调用者获得野指针
}
graph TD
A[定义指针] --> B{是否初始化?}
B -- 是 --> C[是否指向有效内存?]
C -- 否 --> D[成为空指针]
C -- 是 --> E[正常使用]
B -- 否 --> F[未定义行为]
A --> G[使用后是否释放内存?]
G -- 是 --> H[是否设置为NULL?]
H -- 否 --> I[成为野指针]
H -- 是 --> J[安全释放]
五、防御性编程建议
始终初始化指针为NULL释放内存后立即将指针设为NULL避免返回局部变量的地址使用工具辅助检测（如Valgrind、AddressSanitizer）编写单元测试验证指针操作逻辑