为何向容量为2的char数组复制超长字符串未触发立即报错？

这问题问得太典型了——不管是刚摸C语言的新手，还是写了几年代码的老开发者，大概率都遇到过这种“明明越界了却还能跑”的迷惑场景。先看你贴的这段代码：

#include <stdio.h>
#include <stdlib.h>
int main() {
    char buffer[2];
    strcpy(buffer, "12345678910");
    printf("%s\n", buffer);
    return 0;
}

你说的现象完全符合C语言里**未定义行为（Undefined Behavior）**的特征——下面给你拆解背后的逻辑：

为什么短的超长字符串不会崩溃？ #

• 栈内存的“闲置区域”背锅：你的buffer是在栈上分配的，栈里的变量是连续排布的。当你用strcpy往buffer里塞超出容量的字符串时，其实是在往buffer后面的栈内存里写数据。如果这些内存暂时是程序自己的栈空间（比如还没用到的局部变量、栈帧的冗余空间），没有覆盖到关键数据（比如函数的返回地址、栈帧指针、编译器插入的栈保护“金丝雀”值），程序就不会立刻崩溃。甚至printf还能输出整个字符串——因为它是找\0终止符，只要后面内存里没提前碰到\0，就会一直读下去。
• 栈保护机制的触发条件：现在主流编译器（比如GCC、Clang）默认会开启栈保护（-fstack-protector），但它只在函数返回时检查栈帧是否被篡改。只有当你的超长字符串覆盖了栈保护的“金丝雀”值，或者超出了栈的可用空间（触发栈溢出），才会触发段错误或者栈检查失败的报错。这就是为什么字符串短的时候没事，长到一定程度才炸。

关键结论：未定义行为≠一定会崩溃 #

C标准明确规定，数组越界访问属于未定义行为——这意味着编译器完全不保证程序会有任何可预测的行为。它可能正常运行，可能崩溃，可能输出乱码，甚至可能在优化后出现完全匪夷所思的结果。你这次“侥幸”没崩溃，只是运气好，不代表代码是正确的。

给你的编码建议 #

• 彻底抛弃strcpy、strcat这类不检查缓冲区大小的危险函数，改用strncpy、strlcpy（部分系统支持），或者更安全的snprintf来控制写入的字节数。
• 定义缓冲区时，一定要留足\0终止符的空间，并且明确计算所需的最大容量，比如要存N个字符，缓冲区至少要定义成char buffer[N+1]。
• 编译时打开所有警告（比如GCC的-Wall -Wextra），很多越界问题能被编译器提前揪出来。
• 养成用静态分析工具（比如Clang Static Analyzer）检查代码的习惯，能帮你发现这类隐蔽的内存安全问题。

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