int_leastX_t与intX_t是否存在差异？技术实现细节解析

类型定义 #

• 精确宽度整数类型：int8_t、int16_t、int32_t、int64_t 是宽度恰好为8、16、32、64位的有符号整数类型，无填充位，负数采用补码表示。这类类型仅当实现直接支持时才会提供。
• 最小宽度整数类型：int_least8_t、int_least16_t、int_least32_t、int_least64_t 是宽度至少为指定位数的最小有符号整数类型。

问题解答 #

1. LLP64模型中int32_t为int、int_least32_t为long是否合法？ #

合法。C标准对int_leastX_t的要求仅为：宽度至少为X位，且是满足该条件的最小类型。这里的“最小”指宽度最小，而非必须与intX_t一致。在LLP64模型中，int和long均为32位，此时编译器选择long作为int_least32_t完全符合标准——两者宽度相同，选择任意一个都满足“至少32位的最小宽度类型”要求。

2. 能否合理预期int_least32_t与int32_t为同一类型？是否存在实际实现中两者不同的情况？ #

不能绝对预期两者为同一类型，除虚构的DeathStation 9000外，确实存在实际实现中两者不同的场景：

• 早期嵌入式系统：部分老款嵌入式编译器未提供精确的int32_t类型，但支持32位的long，此时int_least32_t被定义为long；后续编译器更新后若将int32_t映射到int，两者就会出现差异。
• 特殊DSP架构：部分DSP架构的int为16位，long为32位，且未提供int32_t，此时int_least32_t就是long；若后续该架构新增支持int32_t（比如映射到新的32位int类型），两者也会不同。

另外，char32_t是独立的字符类型，标准未要求它必须与int32_t或int_least32_t为同一类型，仅规定它是宽度至少为32位的无符号整数类型。

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