C++中auto类型推导咨询：与static_cast转换值相乘的类型判定

要搞懂你代码里auto的类型结果，核心得明白C++处理整数算术运算时的两个关键规则：整型提升（Integral Promotion）和通常算术转换（Usual Arithmetic Conversions）。auto的类型就是根据这些规则计算出的运算结果类型来推导的。

先明确两个核心规则 #

• 整型提升：当小整数类型（比如uint8_t、int8_t、char这类）参与算术运算时，如果该类型的所有取值都能被int类型容纳（通常都是这样——毕竟int至少是16位，而uint8_t最大只有255），这个小类型会被自动提升为int类型参与运算。
• 通常算术转换：当两个不同类型的整数参与运算时，C++会把它们转换成同一个类型，转换逻辑大致是：
  1. 先看类型的「秩」（简单理解就是类型的“大小等级”，比如long long秩比int高，int比char高），秩低的会转成秩高的类型；
  2. 如果秩相同，其中一个是无符号类型、另一个是有符号类型，那么有符号类型会转成无符号类型。

逐个拆解你的代码案例 #

咱们对着你的代码逐条分析：

1. auto a = static_cast<uint8_t>(sizeof(uint64_t)); #

这里没有算术运算，就是直接把uint8_t类型的值赋值给a，所以auto直接推导为uint8_t（在大多数平台上就是unsigned char），和你预期一致。

2. auto b = 8 * static_cast<uint8_t>(sizeof(uint64_t)); #

这里的两个操作数：8是int类型，static_cast<uint8_t>(...)是uint8_t类型。
根据整型提升规则，uint8_t会被提升为int——因为uint8_t的最大值255完全在int的取值范围内（int至少能到32767）。
现在两个操作数都是int，相乘的结果自然是int，所以auto推导为int，这就是b是int的原因。

3. auto c = static_cast<uint32_t>(sizeof(uint64_t)); #

和a的情况类似，直接赋值uint32_t类型的值，auto就推导为uint32_t（通常平台上就是unsigned int），符合你的预期。

4. auto d = 8 * static_cast<uint32_t>(sizeof(uint64_t)); #

这里的操作数：8是int类型，static_cast<uint32_t>(...)是uint32_t类型。
如果你的平台上int是32位（主流平台都是），那么int和uint32_t的秩相同。根据通常算术转换规则，有符号的int会被转换成无符号的uint32_t，两者相乘的结果是uint32_t，所以auto推导为uint32_t（也就是unsigned int），和你预期一致。

总结关键场景 #

• 当小无符号整数类型（比如uint8_t、uint16_t）和int做运算时，小类型会被提升为int，运算结果是int；
• 当无符号整数类型的秩和int相同或更高时（比如uint32_t和32位int），int会被转成无符号类型，运算结果是无符号类型；
• 直接赋值的情况下，auto会直接推导为被赋值的类型。

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