C++中cin输入verify后变量n_alunni意外变0的问题排查

这是典型的栈内存越界写入触发的未定义行为，由verify数组定义与输入流处理逻辑的不匹配直接导致：

• 定义的char verify[1]长度仅为1字节，而使用cin >>读取char数组时，输入流会按照C风格字符串的规则处理：除将输入的有效字符写入数组外，会自动在写入内容末尾追加一个值为\0的字符串结束符。
• 栈上的局部变量为相邻排布，当前编译环境下，1字节verify数组的相邻高地址位置，刚好对应存储n_alunni这个int变量的内存空间。即便只输入1个有效确认字符（比如输入'y'），cin在把字符写入verify[0]后，会把自动补的\0写入相邻的、属于n_alunni的内存块。
• 主流x86系统采用小端序存储int类型，n_alunni的最低有效字节恰好与verify数组相邻。该位置原本存储n_alunni非0的低位值，被cin写入的\0（0x00字节）直接覆盖，最终表现为n_alunni被意外修改为0。

可根据使用场景选择任意一种合规改法：

• 直接将定长char数组替换为独立char变量，把char verify[1];改为char verify;。此时cin >> verify为单字符读取逻辑，不会触发C风格字符串的结束符补全，从根源上避免越界。
• 如果必须使用char数组存储输入，需预留足够内存存放自动追加的结束符：比如要存储1个确认字符，将数组长度定义为2（char verify[2];），为\0留足存储空间。
• 更稳妥的写法是直接用std::string接收用户输入：string会根据输入长度自动扩容，不存在固定长度数组的越界风险。

提示：内存越界属于C++标准定义的未定义行为，不同编译器的内存排布、栈保护机制不同，不一定每次都会刚好篡改n_alunni的值，也可能直接触发栈崩溃、出现难以排查的随机异常。

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