C++输入输出流影响变量默认初始化行为的异常问题研究

成因分析 #

首先明确你的核心认知偏差和错误假设：

1. 你认为的「long long类型默认零初始化」规则只适用于静态存储期变量，函数内部无static修饰的内置类型属于自动存储期，不存在默认零初始化的规则。
2. cin >> n不会创建新的执行线程，整个程序全程为单线程运行，你观察到的所有现象本质是C++标准明确规定的未定义行为，和栈内存复用逻辑直接相关。

核心规则说明 #

C++中，定义在函数内部、无static修饰的int、long long等内置POD类型属于自动存储期变量：

• 如果你没有显式为其赋值初始化，变量占用的内存会直接保留对应位置之前的遗留数据，读取未初始化的自动存储期变量属于未定义行为，程序输出任何结果都符合标准要求。

两段代码的差异原因 #

1. 代码段1输出0的原因：
   进程刚启动时，操作系统分配给程序的栈内存会被内核默认清零，你没有调用任何函数修改栈内存的前提下，m所在的内存还保留着初始的0值，所以输出0，这只是特定运行环境下的巧合，不属于C++标准的强制保证。
2. 代码段2输出非0的原因：
   cin >> n是函数调用，执行该调用时，operator>>的函数栈帧会占用main函数栈上方的空间，函数执行过程中会用到大量内部临时变量，修改对应栈内存的内容。未初始化的m刚好存放在被这个函数调用修改过的栈内存区域，所以m的值就被cin调用的残留内容覆盖。

对应特性的解释 #

• 输入不同的n值，对应的m输出值不同：输入的n会影响cin函数内部的处理逻辑，内部临时变量的值也会随之变化，最终残留到m所在内存的值自然不同。
• 输入相同的n值，每次运行得到的m输出值完全一致：相同输入下，cin的内部执行流程是固定的，写入对应栈位置的临时值也固定，所以残留值每次都一样。
• 若将n或m用static关键字修饰，则m输出为0：static修饰的变量属于静态存储期，程序加载阶段就会被统一零初始化，和栈内存无关，所以值固定为0，符合规则。
• 将m、n的类型替换为int时，该异常行为依然存在：int同样是自动存储期的POD类型，未初始化读取同样是未定义行为，自然会出现相同现象。

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