为何cout可打印超定义长度的char数组？cin.getline越界未报错？

先来看你提供的代码和运行现象：

你的代码：

#include<iostream>
using namespace std;
int main(void) {
    char name[5];
    cout << "Name: ";
    cin.getline(name, 20);
    cout << name;
}

运行输出：

Name: HelloWorld
HelloWorld

输入更长字符串（如HelloWorld Goodbye）时，cmd直接报错退出。

这个问题本质是缓冲区溢出引发的未定义行为，咱们一步步拆解原因：

核心问题：缓冲区溢出与未定义行为 #

你定义的char name[5]只在栈上分配了5个字节的内存空间——注意，C风格字符串需要最后一个字节存储终止符'\0'，所以这个数组最多只能安全存放4个可见字符加一个终止符。

但你调用cin.getline(name, 20)时，告诉函数“最多读取19个字符再加终止符”，相当于让程序往一个只能装5字节的容器里硬塞20字节的内容，这就是典型的缓冲区溢出。

而C++标准中，这种越界访问内存的行为属于未定义行为（Undefined Behavior）——意思是标准不规定程序必须崩溃、报错或执行特定动作，它可能“看起来正常工作”，也可能直接崩溃，甚至出现更诡异的结果，完全取决于内存布局、编译器优化、操作系统等随机因素。

为什么短输入“正常”，长输入崩溃？ #

• 当输入HelloWorld（10个字符）时，溢出的内容刚好覆盖了栈上没有存储程序关键数据的区域（比如未被使用的临时内存），程序的执行上下文没有被破坏，所以还能继续运行，看起来“正常”。这纯粹是运气，绝非程序本身没问题。
• 当输入更长的字符串时，溢出的内容覆盖了栈上的关键数据——比如main函数执行完毕后要返回的地址、栈帧的保护字段（如果编译器开启了相关保护）。操作系统检测到程序试图访问非法内存，或者执行流程被彻底破坏，就会直接终止进程，也就是你看到的cmd报错退出。

关于编译器和环境的影响 #

你使用的GCC 7（Nuwen环境）在Windows 10下，默认可能没有开启最严格的栈保护选项（比如-fstack-protector-all）。如果开启了该选项，编译器会在栈帧中插入额外的检测字段，一旦缓冲区溢出覆盖这个字段，程序会立刻崩溃，而非等到破坏关键数据才报错。但即便没开启，当溢出范围足够大，触及操作系统的内存保护边界，还是会触发崩溃。

解决办法 #

最稳妥的方式是放弃C风格字符数组，改用C++的std::string，它会自动管理内存，从根源避免缓冲区溢出：

#include<iostream>
#include<string>
using namespace std;
int main(void) {
    string name;
    cout << "Name: ";
    getline(cin, name);
    cout << name;
}

如果一定要用C风格数组，必须确保getline的第二个参数不超过数组的实际大小（包含终止符），比如改成cin.getline(name, sizeof(name))，这样最多读取4个字符加终止符，就不会出现溢出问题了。

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