Arduino中int16_t为何在第二段代码未溢出回绕却超范围输出？

变量存储位置引发的行为分歧 #

第一段代码里的int16_t i是全局变量，存放在全局数据区。每次自增都会直接修改16位的内存单元，当数值达到int16_t最大值32767后，再自增就会触发硬件层面的16位有符号数回绕，变为-32768，符合常规的溢出表现。

第二段代码里的int16_t i是setup()函数内的局部变量，存储在栈内存中。这里的核心问题是：C/C++标准明确规定，有符号整数溢出属于未定义行为——编译器可针对这种情况进行任意优化，无需遵循硬件的回绕规则。

AVR-GCC编译器的具体优化操作 #

Arduino Uno使用的AVR-GCC编译器对这段代码做了如下优化：

• 由于循环是无限的，且代码中没有任何依赖i溢出后结果的逻辑（比如条件判断、外部变量交互），编译器会假设i永远不会溢出。
• 为提升执行效率，编译器直接将i的自增操作放在寄存器中完成，甚至忽略int16_t的16位宽度限制，用更宽的寄存器（或寄存器组合）跟踪i的数值，完全跳过了对16位栈变量的写入操作。
• 最终Serial.println()打印的是寄存器中存储的大数值，自然能突破16位整数的范围，出现超过200000的输出。

与Arduino文档提示的关联 #

你引用的Arduino文档提示完全对应这个问题：有符号变量溢出的结果不可预测，“典型回绕”只是其中一种可能表现，而编译器优化导致的异常数值也是未定义行为的常见情况。如果需要可靠的回绕行为，必须使用无符号整数类型（如uint16_t）——无符号整数溢出是定义明确的行为，编译器会严格遵循回绕规则。

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