算术运算符是否必须将整数参数提升为 int？ [复制]

Question

cppreference says:

特别是，算术运算符不接受小于 int 的类型作为参数，并且在左值到右值转换后会自动应用整数提升（如果适用）。

当a 和b 都是short 时，所有主要编译器（g++、clang 和 msvc）say 即 decltype(a+b) 是 int。

但是，标准说：

Integral promotions [conv.prom]/1
除bool、char16_­t、char32_­t 或wchar_­t 以外的整数类型的纯右值，其整数转换秩小于int 的秩可以转换为int [。 ..].

Usual arithmetic conversions [expr.arith.conv]/1.5.1
-- 如果两个操作数的类型相同，则不需要进一步转换。

我只能看到“可以转换”，我找不到需要对算术运算符进行整数提升的地方。
这里的 cppreference 错了吗？

Answer 1

你离它只有一条线。来自 [expr]/11 (N4659)：

许多期望算术或枚举类型的操作数的二元运算符会导致转换并以类似的方式产生结果类型。目的是产生一个通用类型，这也是结果的类型。这种模式称为通常的算术转换，定义如下：

...

否则，积分提升 (7.6) 应在两个操作数上执行。然后将以下规则应用于提升的操作数：

添加了重点。 [conv.prom] 说它们可以发生以及它们是如何工作的。 [expr]/11 指定它们将发生的时间之一。