为什么 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。