C++中未使用的int变量k整数溢出为何引发程序异常输出？

你碰到的这个异常现象，本质根本不是“没用到的k变量自己溢出坏了”，是溢出触发了输入流的错误状态，直接把后续所有逻辑全搞崩了，具体运行逻辑拆解开非常清楚：

• 首先在绝大多数通用编译环境下，C++的int是32位有符号整数，能存储的最大值为2^31-1 = 2147483647，你输入的k值是1234567891564，比这个上限大了近600倍，根本无法存入int类型的变量。
• 很多人误以为“读不进去大不了k是个乱值，不影响后面读其他数”，这是完全错误的认知：当cin尝试给数值类型变量读入数据时，如果发现输入值超出了目标类型的可表示范围，会直接将输入流标记为fail错误状态。一旦流进入fail状态，后续所有>>读操作都会直接短路返回，不会真的从输入缓冲区读任何数据。

对着你的代码逐行跑一遍流程，结果完全是必然的：

1. 执行cin >> n >> k时，第一个输入值是5，在int范围内，正常读入给n，所以n=5是对的。接下来读k时遇到超范围的大值，读入失败，流立刻被打上fail标记，k本身的值是什么已经不重要了。
2. 执行vector<int> a(n)时，因为n已经被正确读为5，所以会成功创建一个长度为5的int数组，数组元素会被值初始化为0。
3. 接下来进入循环读数组元素：此时cin已经处于错误状态，每一次cin >> it都不会实际读取后面输入的1、2、3、4、5，直接返回失败，数组元素从头到尾都保持初始化的0值。
4. sum初始值就是0，循环里没有成功读入任何值做累加，自然一直是0。
5. 最后输出sum和数组元素，自然就是全0的异常结果。

这里要特别纠正一个常见误区：不要觉得“我代码里根本没用到k，它出问题和别的逻辑没关系”。整数溢出很多时候造成的破坏根本不是“变量本身存了错值”，它可能触发连锁的错误状态，甚至在更严重的场景下（比如计算内存分配长度、数组下标时发生溢出）直接导致内存越界写入，这类漏洞是二进制漏洞里非常经典的可利用类型，严重时可以直接被攻击者用来获取设备控制权限，绝对不是“算错个数”的小问题。

补充个小细节：有符号整数溢出在C++标准里本身属于未定义行为，也就是说编译器可以生成任何代码，出现什么离谱结果都不违反标准，永远不要假设溢出只会让变量存个“错的但合理”的值。

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