为什么在C和C++中的算术运算之前必须将一个short转换为int？

Question

short s = 1, t = 2 ;
auto  x = s + t ;

Answer 1

如果我们在6.3.1.8通常的算术转换一节中查看国际标准编程语言-C的基本原理，它说（我的重点是后面）：

标准中关于这些转换的规则是对K&R中的规则的轻微修改：修改适应了添加的类型和保值规则。显式许可的添加是为了在“更宽”的类型中执行计算，而不是绝对必要的，因为这有时会产生更小、更快的代码，更不用说更经常的正确答案了。只要得到相同的最终结果，也可以通过Ias if规则以“更窄”的类型执行计算。总是可以使用显式转换来获得所需类型中的值

C99标准草案第6.3.1.8节涵盖了应用于算术表达式操作数的常用算术转换，例如第6.5.6节加法运算符说：

我们在6.5.5节乘法运算符中也找到了类似的文本。在短操作数的情况下，首先应用6.3.1.1节布尔、字符和整数中的整数提升，该节说：

如果int可以表示原始类型的所有值，则该值转换为int；否则，它将转换为无符号int。这些类型称为整数提升。⁴⁸⁾所有其他类型都因整数提升而不变。

关于整数提升的基本原理或国际标准-编程语言-C的6.3.1.1一节中的讨论实际上更有趣，我将有选择地引用B/C，它太长了，不能完全引用：

[...]

无符号保留方法要求将两个较小的无符号类型提升为无符号int。这是一个简单的规则，并生成一个独立于执行环境的类型。

如果这些类型可以正确地表示原始类型的所有值，则该值保留方法要求将这些类型提升为有符号的int；否则，则要求将这些类型提升为无符号的int。因此，如果执行环境将short表示为小于int的东西，则无符号short将变为int；否则将变为无符号int。