是unsigned short + 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 bullet 5 subbullet 4表示如果int可以表示無符號短整型的所有值，則將無符號短整型轉換爲int，並且sum的類型爲int。
• 5/9 bullet 5 subbullet 5表示如果int無法表示無符號短整型中的所有值，則兩個操作數都轉換爲無符號整型，並且sum的類型爲unsigned int。

如果上述分析是合法的，則意味着使用auto來聲明使用內置類型的算術表達式初始化的變量可能導致實現定義的結果。我猜這會讓很多程序員感到驚訝，以上sum的類型不完全由標準決定。

我的推理是否合法？

Answer 1

該類型是特定於實現的，但未實現定義。實現定義意味着實現必須記錄它的功能。