编辑“︁C 语言防御性编程”︁（章节）

== 指针验证 ==  
C语言中未初始化的指针或空指针可能导致程序崩溃。防御性编程要求在使用指针前检查其有效性：  

<syntaxhighlight lang="c">  
#include <stdio.h>  
#include <stdlib.h>  

void process_data(int *data, size_t size) {  
    if (data == NULL || size == 0) {  
        fprintf(stderr, "错误：无效的指针或大小\n");  
        return;  
    }  
    // 安全处理数据  
    for (size_t i = 0; i < size; i++) {  
        printf("%d ", data[i]);  
    }  
    printf("\n");  
}  

int main() {  
    int *arr = malloc(5 * sizeof(int));  
    if (arr == NULL) {  
        perror("内存分配失败");  
        return 1;  
    }  
    process_data(arr, 5);  
    free(arr);  
    return 0;  
}  
</syntaxhighlight>  

'''关键点：'''  
* 检查指针是否为`NULL`（`data == NULL`）。  
* 检查数组大小是否为0（`size == 0`）。  
* 使用`perror`输出错误信息（如内存分配失败）。