C语言基础：野指针与空指针的区别及规避方法

一颗松果

发布时间：2026-10-16 | 5人浏览过

原创

C语言中的指针是强大但也极易出错的工具。本文将详细解释野指针和空指针的核心区别，分析导致野指针的常见原因（如未初始化、越界、释放后未置空），并通过代码示例展示如何通过规范初始化和内存管理来规避这些风险，确保程序稳定运行。

核心概念：野指针与空指针

在C语言编程中，区分野指针和空指针是内存安全的基础：

野指针 (Wild Pointer)：指针变量被赋值了一个随机的、无效的或操作系统不允许访问的内存地址。该指针“指向”的区域是不确定的，操作它会导致未定义行为（如段错误），但仅赋值过程本身通常不会直接报错。
空指针 (Null Pointer)：指针被明确赋予 NULL 值（通常为0）。这表示该指针当前不指向任何有效的内存对象。对空指针进行解引用是非法的，但在判断指针有效性时非常有用。

野指针的三大成因与风险

野指针的形成通常有以下几种典型场景，理解成因有助于提前规避。

第1步：检查指针是否未初始化

目的：防止指针指向随机内存空间。
入口：定义局部指针变量时。
动作：确保指针在首次使用前被赋值为有效的地址或 NULL。
结果：避免读取或写入未知的内存区域。

指针变量创建后，其默认值是随机的，绝非自动成为 NULL。

// 危险：指针 p 未初始化，指向随机地址
int *p;
*p = 20; // 引发未定义行为

正确做法是将其初始化为 NULL 或在定义时赋予合法地址。

第2步：验证数组遍历是否越界

目的：防止指针偏移超出分配内存范围。
入口：循环处理数组或使用指针遍历数据时。
动作：严格限制指针移动的范围，确保不超过数组边界。
重要参数：数组长度、索引上限。
完成状态：指针始终指向有效分配的内存块内部。

当指针指向的范围超出合理界限（如数组末尾），它就变成了野指针。

int arr[10] = {0};
int *p = arr;
// 错误：i <= 11 会导致越界，p 指向非法内存
for(int i = 0; i <= 11; i++) {
    *(p++) = i;
}

// 正确：严格控制在 0-9 范围内
for(int i = 0; i < 10; i++) {
    *(p++) = i;
}

第3步：监控动态内存释放后的状态

目的：防止使用已释放的悬垂指针。
入口：free() 或 delete 操作后。
动作：内存释放后，立即将指针变量赋值为 NULL。
结果：虽然内存已被操作系统收回，但指针变为空指针，后续再次 free 是安全的（通常无效且无害），若误用也会因空指针检查而暴露问题。

释放内存只是归还空间，并未清空指针自身的值，此时指针成为“悬垂指针”。需手动置空。

int *p = (int*)malloc(10 * sizeof(int));
if (!p) return;

// 使用 p...
free(p);
p = NULL; // 关键步骤：释放后置空，避免产生野指针

补充风险：返回局部变量的地址

局部变量存储在栈区，函数结束时内存会被回收。若函数返回指向局部变量的指针，调用者获取的即为野指针。

int* test() {
    int a = 20;
    return &a; // 危险：返回栈内存地址
}

int main() {
    int *p = test();
    printf("%d\n", *p); // 未定义行为：a 已不存在
    return 0;
}

空指针的正确使用与预防

空指针（NULL）是C语言中表示“无指向”的标准标记。与其让指针变为危险的野指针，不如显式地将其设为空指针。

第4步：实施解引用前的有效性检查

目的：避免因访问无效地址导致的程序崩溃。
入口：在使用指针修改或读取数据前。
动作：使用 if (ptr != NULL) 进行判空处理。
结果：确保只有在指针指向合法内存时才执行操作。

虽然 NULL 指针本身不会引发像野指针那样的随机数据破坏，但对其解引用同样是非法操作。

void test(){
    char *p = NULL;
    // 错误：直接对 NULL 指针拷贝内容，引发异常
    strcpy(p, "1111"); 
    
    // 正确做法：应先分配内存或检查指针有效性
    if (p == NULL) {
        // 处理错误情况，例如分配内存或返回
        return;
    }
}