宣言文を飛び越えること

gotoやswitchを使えば、変数の宣言文を飛び越えることが可能になる。

int main()
{
    goto label ;
    int x ; // 宣言文
label : ;
}

このコードは問題のないコードである。しかし、このようなコードを書いてはいけない。なぜなら、「問題のないコード」の定義が、非常に限定的だからである。いま執筆中の本では、この問題について、以下のように記述した。

まず、変数の型は、スカラー型か、trivialなデフォルトコンストラクターとtrivialなデストラクターを持つクラス型でなければならない。また、そのような型にCV修飾子を加えた型と、配列型でもよい。その上で、初期化子が存在していてはならない。

struct POD { } ;
// trivialではないコンストラクターを持つクラス
struct Object { Object() {} } ;

int main()
{
    // 変数の宣言文を飛び越えるgoto文
    goto label ;

    // エラー
    // 変数の型はスカラー型だが、初期化子がある。
    int value = 0 ;

    int scalar ; // OK

    // エラー
    // 変数のクラス型がtrivialではないコンストラクターを持っている
    Object object ;

    POD pod ; // OK

label : ;
}