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

== 实际案例：安全字符串拷贝 ==  
以下是一个防御性编程的实际案例，实现安全的字符串拷贝函数：  

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

// 安全字符串拷贝（防止缓冲区溢出）  
void safe_strcpy(char *dest, const char *src, size_t dest_size) {  
    if (dest == NULL || src == NULL || dest_size == 0) {  
        return;  
    }  
    strncpy(dest, src, dest_size - 1);  
    dest[dest_size - 1] = '\0'; // 确保字符串以NULL结尾  
}  

int main() {  
    char dest[10];  
    safe_strcpy(dest, "这是一个很长的字符串", sizeof(dest));  
    printf("拷贝结果：%s\n", dest);  
    return 0;  
}  
</syntaxhighlight>  

'''输出示例：'''  
<pre>  
拷贝结果：这是一个很  
</pre>  

=== 分析 ===  
* 检查`dest`和`src`是否为`NULL`。  
* 使用`strncpy`限制拷贝长度（避免缓冲区溢出）。  
* 手动添加NULL终止符（`dest[dest_size - 1] = '\0'`）。