无符号短+ int实现的类型是定义的吗？

Question

有了这个密码，

unsigned short us = 0; 
int i = 0;
auto sum = us + i;

sum实现的类型是定义的吗？我对C++11标准的解读是肯定的：

• 5.7/1表示采用了通常的算术转换。
• 4.13/1子弹2和3表示int的秩大于无符号短的秩。
• 5/9项目5子项目4指出，如果int可以表示无符号空的所有值，则无符号短将转换为int，sum的类型为int。
• 5/9项目5子项目5表示，如果int不能表示无符号短中的所有值，则两个操作数都转换为无符号int，并且sum的类型是无符号int。

如果上面的分析是合法的，这意味着使用auto声明由内置类型上的算术表达式初始化的变量可以导致实现定义的结果。我猜，上面提到的sum类型没有完全由标准决定，这会让许多程序员感到惊讶。

我的推理合法吗？

Answer 1

类型是特定于实现的，但不是实现定义的。实现-定义意味着实现必须记录它所做的事情。