C语言整数提升问题咨询：8位MCU下无符号整数除法运算

先看你给出的代码：

uint64_t impulses = 4000000;
uint16_t impulses_per_meter = 999;
uint32_t meters = impulses / impulses_per_meter;

你的理解正误判断 #

• 关于整数提升的部分是对的：计算impulses / impulses_per_meter时，impulses_per_meter（uint16_t类型）会先被提升为uint64_t类型（和impulses的类型一致），再执行除法运算。
• 关于**结果截断为uint16_t**的部分是错的：除法运算的结果是uint64_t类型，之后是赋值给uint32_t类型的meters，这一步是将uint64_t转换为uint32_t，而非截断为uint16_t。

运算结果是否会出错 #

不会出错。计算4000000 / 999的整数结果是4004，这个值远小于uint32_t的最大值（4294967295），因此从uint64_t转换为uint32_t时不会发生溢出，最终meters的取值是正确的4004。

8位MCU的注意事项 #

8位MCU本身不原生支持uint32_t、uint64_t这类宽位整数类型，编译器会通过软件模拟来实现这些类型的运算，因此这段代码的执行效率会比在16/32位MCU上低，但只要编译器符合C标准，运算逻辑和结果都是正确的，不会出现计算错误。

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