为什么在C++中bool和int8_t的常见类型是int32_t？

Question

我很好奇C++中内建的bool类型的一些行为。据我了解，std::common_type决定使用隐式可转换性的通用类型。我期望bool和另一种类型的表达式会导致bool转换为该类型。例如，我可以看到bool + float→float和bool + double→double。但是，bool + int8_t→int32_t和bool + int16_t→int32_t。为什么会这样？

Answer 1

简短回答：积分促销。

在数值运算，小积分类型（包括bool，char，unsigned char，signed char，short，unsigned short等）被提升到int如果所有可能的值适合在int，否则将它们提升到unsigned int。

今天大多数机器上，int32_t与int相同。在bool + int8_t或bool + int16_t的情况下，两者都被提升为int。