autoで変数を宣言し、プリミティブなリテラル定義の動作で初期化していますか？

Question

プリミティブリテラルでautoを使用して宣言した変数を初期化すると、結果は次のように定義されます。

auto i = 6; // Is this always going to evaluate to a int? 
      // Or could it evaluate to some similar type like short? 

Answer 1

整数型のタイプ6は、hereを確認できるので、intです。 cppreference.comから次に

、：変数の場合

、自動は が宣言されている変数の型が自動的にその初期化子から推論されることを指定します。 6がint型の種類を持っているので

のでiは、int型の種類があります。

この動作は完全に明確です。

Answer 2

はい、これはまさにautoの対象です。

たとえば、auto i;は意味がありません。コンパイラは6を使用して型を推定します。 6は整数リテラルです。

Answer 3

はい、すべてのリテラルに明確な型があるためです。リテラル6のタイプはintです。したがって、autoはintに翻訳されます。

intが16または32ビットの長さの場合は実装が定義されていますが、これは未定義のビヘイビアを生成しません。プログラム全体の同じintの長さが同じであるためです。それに加えて、アーキテクチャに応じてintの長さにかかわらず、6はshortまたはlongではなくintです。