C语言strcpy写入4字节触发溢出警告：为何XYZ被算为4字节？

这事儿的核心在于C语言里的字符串规则——所有C风格字符串都必须以空字符'\0'作为结束标志，这个字符要单独占1字节的空间。咱们一步步拆解你的问题：

先看正常运行的情况 #

你定义的buf1[3]是一个长度为3的字符数组：

• 初始化char buf1[3] = "AB"时，编译器会自动把'A'、'B'和'\0'这三个字符放进数组里，刚好填满3字节的空间，所以printf能正常识别为字符串。
• 用strcpy(buf1, "XY")的时候，"XY"作为字符串，实际在内存里是'X'、'Y'、'\0'，同样是3字节，复制到buf1里刚好放下，不会溢出，所以程序运行正常。

再看出问题的"XYZ"情况 #

当你用strcpy(buf1, "XYZ")时，问题就来了：

• 字符串"XYZ"在内存中的实际存储是'X'、'Y'、'Z'、'\0'——没错，加上终止符一共是4字节！
• strcpy函数的逻辑是把源字符串的所有内容（包括末尾的'\0'）都复制到目标缓冲区，而你的buf1只有3字节的空间，这就导致第4字节的'\0'被写到了buf1之外的内存区域。
• 编译器检测到了这个溢出风险，所以给出了"写入4字节"的警告；而运行时的段错误，是因为溢出的'\0'覆盖了栈上的关键数据（比如函数返回地址），破坏了程序的执行流程，操作系统直接终止了程序。

额外补充 #

如果你只是想复制"XYZ"这三个字符而不带终止符，可以用memcpy(buf1, "XYZ", 3)，这样编译器不会警告，但printf输出buf1的时候会因为找不到'\0'而乱输出，直到在内存中碰到某个随机的'\0'——这显然不是正确的用法，正确的做法应该是把缓冲区的长度定义为至少4字节（3个字符+1个终止符）。

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