C语言中嵌入式STM32的自增整数循环为何不会因溢出崩溃？

一、int类型溢出为何没引发问题？ #

首先明确：C标准中规定有符号整数溢出属于未定义行为，但在STM32搭载的ARM Cortex-M系列硬件上，有符号整数加法溢出会按照补码规则循环（比如32位int的最大值0x7FFFFFFF加1后会变为0x80000000，即最小的负数），不会触发硬件异常。

而你给出的代码里，i的自增操作完全不影响程序执行流程——while(1)本身就是死循环，无论i的值如何变化，都不会改变循环的运行状态，也没有用i的溢出值做逻辑判断、内存访问等操作，所以即使溢出了，也不会引发任何可见问题。

二、用while(1) i++循环等待特定中断是否安全？ #

从中断响应的角度来说，这种写法不会阻止中断触发——ARM Cortex-M架构中，中断优先级高于普通线程级代码（main函数的循环属于线程级），只要中断已正确开启，即使CPU在死循环里，也能正常响应中断。

但这种写法存在明显的不合理之处：

• 极度浪费CPU资源：CPU持续执行无意义的自增操作，会占用100%内核资源，导致设备功耗升高；如果是在RTOS环境下，会阻塞其他低优先级任务的调度。
• 代码可读性极差：从代码完全看不出循环的目的是等待中断，后续维护成本极高。合理的写法应该是使用中断标志位，比如while(!interrupt_triggered);，或者直接用while(1);（如果不需要额外操作）。
• 存在被编译器优化的可能：如果编译器检测到i的值没有被任何代码使用，会直接把i++的操作优化掉，最终变成单纯的while(1);——虽然不影响等待中断的功能，但也凸显了这种写法的冗余性。

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