unsigned short + intの型は実装定義ですか？このコードを考えると

Question

、

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

がsum実装定義のタイプですか？ C++ 11標準の私の読書は、yesと答えています。

• 5.7/1は、通常の算術変換が適用されると言います。
• 4.13/1の箇条書き2と3は、intのランクが、符号なしの短いランクよりも大きいと言います。
• 5/9 bullet 5 subbullet 4は、intがunsigned shortのすべての値を表すことができる場合、unsigned shortがintに変換され、sumの型がintであることを示します。
• 5/9 bullet 5 subbullet 5では、intがunsigned shortのすべての値を表すことができない場合、両方のオペランドがunsigned intに変換され、sumの型はunsigned intになります。

上記の分析が正当である場合、それは内蔵型に算術式を使用して初期化変数を宣言するautoを使用して実装定義結果をもたらすことができることを意味します。私はそれが上記のsumのタイプが完全に標準によって決定されていないと多くのプログラマーを驚かせるだろうと思っています。

私の推論は正当なものですか？

Answer 1

タイプは実装固有ですが、実装定義ではありません。実装定義とは、実装が何をしているのかを文書化しなければならないことを意味します。