初期化子を使用せずにスカラー型のオブジェクトのスコープにジャンプするのはどうですか？

Question

私はC++標準を読んでいるとき、次のコードは標準に従って完全に問題ないと思われます。

int main() { 
    goto lol; 
    { 
     int x; 
lol: 
     cout << x << endl; 
    } 
} 

// OK 

[n3290：6.7/3]：それはなく、初期化と宣言をバイパス ように、ブロックに転送することが可能です。 変数がスカラー型、自明なデフォルト コンストラクタとクラスタイプを持っていない限り は、それが範囲内にあるポイントへの自動保存期間を持つ変数がスコープ内 ない点からジャンププログラムは病気形成あります些細なデストラクタ、これらの型の のいずれかのcv修飾バージョン、または上記の型のいずれかの配列があり、のない と宣言されています。

なぜ機能するのですか？その定義を飛び越して、未定義のxを使用するのはまだ危険なのですか？そして、なぜ初期化子の存在が何か変わるべきなのでしょうか？

Answer 1

int x;はまだ初期化されていないため、いずれにしても初期化されていないxを使用します。あなたがそれをスキップするので、イニシャライザの存在はもちろん違いになります。例えばint x = 5;はxを初期化するので、上にジャンプした場合とそうでない場合に違いがあります。

Answer 2

まだ定義を飛び越して初期化されていないxを使用するのは危険ですか？

しかし、xは初期化せずに宣言されているため、とにかく初期化されません。したがって、gotoは、（sort-of-initialize）xを設定する代入ステートメントをスキップすることがありますが、gotoが代入ステートメントをスキップできることは驚くことではありません。宣言自体は、イニシャライザがない限り、実際にはを実行しません。は何も行いません。