使用fwrite写入结构体数组到二进制文件时的Valgrind错误排查

错误含义说明 #

Syscall param write(buf) points to uninitialised byte(s) 表示：程序调用系统级write函数时，传入的缓冲区包含未初始化的内存字节。这些字节是通过堆分配（比如malloc）但从未被赋值的垃圾数据，虽然程序可能正常运行，但属于内存使用不规范，会导致写入的二进制文件包含无效垃圾值，也可能引发不可预测的行为。

问题根源 #

你对问题的判断完全正确：

• 用malloc分配tPessoa结构体时，堆内存的初始内容是随机垃圾值；
• 调用scanf给字符数组赋值时，只会覆盖输入内容对应的字节（末尾自动加\0），数组剩余的空间依然是未初始化的垃圾值；
• 当fwrite把整个tPessoa结构体（包括未初始化的数组剩余部分）写入文件时，就触发了Valgrind的检测警报。

修复方案 #

方案1：分配结构体后立即清零内存（推荐） #

在LePessoasInput函数中，每次malloc分配tPessoa结构体后，用memset将整个结构体的内存清零，确保所有未赋值的字节都被设为\0：

pessoas[(*nPessoas) - 1] = (tPessoa *) malloc(sizeof(tPessoa));
// 新增：将结构体所有内存初始化为0
memset(pessoas[(*nPessoas)-1], 0, sizeof(tPessoa));

这样既解决了Valgrind的错误，也避免了二进制文件中混入垃圾数据。

方案2：限制输入长度，避免缓冲区溢出（额外优化） #

你的scanf写法存在缓冲区溢出风险，如果用户输入的内容超过字符数组的长度，会导致内存越界。可以修改scanf格式串，限制输入的最大长度：

// 最多读取99个字符，留1位给字符串终止符\0
scanf("%99[^\n]%*c", pessoas[(*nPessoas)-1]->nome);
// 生日格式为DD/MM/YYYY，最多10个字符
scanf("%10[^\n]%*c", pessoas[(*nPessoas)-1]->dataNascimento);
// CPF格式为XXX.XXX.XXX-XX，最多14个字符
scanf("%14[^\n]%*c", pessoas[(*nPessoas)-1]->cpf);

验证 #

修改后重新编译程序，再用以下命令运行：

valgrind --leak-check=full --track-origins=yes ./你的程序文件名

此时Valgrind将不再报告未初始化字节的错误。

内容的提问来源于stack exchange，提问作者Vitor Rodrigues