int16溢出致死循环：不同整型比较为何结果不同？

首先明确：这不是编译器优化导致的，核心原因是C/C++标准规定的整数提升与隐式类型转换规则，我们逐个拆解三种场景的背后逻辑：

1. 直接用字面量65535的死循环 #

for (int16_t i = 0; i < 65535; i++) { /* 死循环 */ }

这里的65535默认是int类型（在多数32位/64位系统中，int是32位有符号整数）。当int16_t类型的i和int类型的65535比较时，会触发整数提升：i被转换为int类型。

当i递增到32767（int16_t的最大值）后，再执行i++会发生有符号整数溢出（这属于C/C++中的未定义行为，但多数编译器会按补码规则处理），此时i的值变为-32768。将这个值提升为int后还是-32768，显然小于65535，循环条件永远成立，因此陷入死循环。

2. 使用int32_t类型t仍死循环 #

const int32_t t = 65535;
for (int16_t i = 0; i < t; i++) { /* 仍死循环 */ }

和第一种场景逻辑完全一致：比较时int16_t的i会被提升为int32_t类型。i溢出后变成-32768（转换为int32_t后还是负数），依然小于65535，循环条件始终为真，所以还是死循环。

3. 使用uint32_t类型t循环正常退出 #

const uint32_t t = 65535;
for (int16_t i = 0; i < t; i++) { /* 正常退出 */ }

这里的类型转换规则发生了变化：当有符号整数和无符号整数比较时，有符号整数会被强制转换为无符号整数。

当i递增到32767后再加1，变成int16_t的-32768。将这个值转换为uint32_t时，会按照无符号整数的规则处理：-32768对应的uint32_t值是4294934528（即2^32 - 32768），这个值远大于65535，因此i < t的条件不成立，循环正常退出。

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