在 C/C++ 中添加两个布尔值

Question

我尝试将 bool 值加在一起，比如：

bool i = 0, j = 0, k = 0;
cout << sizeof(i + j + k) << endl;

结果为 4，表示将结果转换为 'int' 值。

我想问：这是C/C++标准操作吗？如果临时值溢出，编译器是否总是保证将其转换为更大的类型？谢谢！

感谢您的回答，一个后续问题： 说，如果我这样做： unsigned short i = 65535, j = 65535; cout << sizeof(i + j) << endl; 结果是4。为什么它被提升为'int'？

Answer 1

导致转换的不是溢出，而是您进行算术运算的事实。在 C++（以及行为起源的 C）中，内置类型的基本算术运算符的操作数在进行计算之前会经过一组明确定义的提升。这些规则中最基本的（稍微简化了）是任何小于int 的类型都被提升为int。

您的后续问题具有相同的答案 - 您的 short 小于 int，因此在添加之前它被提升为 int。

This StackOverflow question 有几个回答更详细地描述了促销活动。

Answer 2

首先，sizeof 不会告诉您结果已转换为 int 值。 bool 与 int 具有相同的大小是允许的，而且确实很常见。

但是你确实会在这里得到一个int，但这与值无关（实际上，类型不能依赖于值，因为通常在运行时才会知道值，而类型必须在编译时确定时间）。

发生的情况是，在添加之前，bool 值被提升为 int，因为 bool 被定义为整数类型，小于 int 的整数类型被提升all到int。然后添加三个int 值（无论您使用什么bool 值都不会溢出，因为INT_MAX 保证大于3）。