简单C程序运行正常但Valgrind报错的原因与解决方法咨询

C语言中所有标准库字符串操作都依赖字符串末尾的'\0'空结束符判断边界，你当前的代码存在的问题是：

• 定义的copy数组长度和原字符串长度相等，没有预留存储结束符的额外空间
• 循环赋值完成后没有主动给copy补结束符，导致copy不是合法的C风格字符串

你看到的"运行正常"是偶然现象：刚好copy数组后续的栈内存第一个值是0，让printf的%s格式化逻辑碰巧停止读取。这种行为属于C语言未定义行为，随时可能出现乱码、程序崩溃等问题。

Valgrind的报错指向的就是printf读取copy时，因为找不到明确的结束符，读取到了未初始化的栈内存，逻辑判断依赖了不确定的内存值。

做两个调整即可：

• 声明copy数组时长度加1，预留结束符的存储位置
• 循环赋值结束后，主动给数组最后一位赋值'\0'作为结束标记

修复后的完整代码：

#include <stdio.h>
#include <string.h>
#include <ctype.h>

int main(void)
{
   const char *word = "Hello";

   int n = strlen(word);
   char copy[n + 1];
   for (int i = 0; i < n; i++)
   {
     copy[i] = toupper(word[i]);
   }
   copy[n] = '\0';

   printf("%s\n", copy);
}

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