爲什麼在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。