我很好奇C的内置bool类型的一些行为.据我所知,
std::common_type使用隐式可转换性来确定通用类型.我会期望一个表达式与bool和另一种类型会导致bool转换为该类型.例如,我可以看到bool float – > float和bool double – >双.但是,bool int8_t – > int32_t和bool int16_t – > int32_t.为什么会这样？
解决方法
简答：积分推广.
在数值运算中,如果所有可能的值适合于int,则将小整数类型(包括bool,char,unsigned char,signed char,short,unsigned short等)提升为int,否则将其提升为unsigned int.
在大多数机器上,int32_t与int相同.在bool int8_t或bool int16_t的情况下,两者都被提升为int.
