c++ - 変数は、初期化値の計算中に定義されたと見なされますか?

Question

これは私の小さなプログラムです:

enum Type
{
    b = 1,
    c = 2
};

int main()
{
    Type b = b;
    std::cout << b << std::endl;

    return 0;
}

上記の定義は、この一連のステップで構成されていると結論付けることができますか?

また、明示的に初期化されている場合でも、変数は常に 0 で初期化されますか?

私の2番目の質問は、指定された例の初期化リストで変数を使用している場合、あいまいさに関するエラーが発生しないのはなぜですか? bコンパイラは最初に変数リストを見つけようとしていて、宣言された列挙型をチェックしていますか?

score 7 · Accepted Answer

ステップ 1 は正しいですが、残りは間違っています。何が起こるかというと、変数bが定義され、すぐに変数の値に初期化されますb。これは、独自の初期化で使用される前に初期化されないため、未定義の動作につながります。b

初期化する場合Type::bは、明示的に次のように記述する必要があります。

Type b = Type::b;

score 1 · Accepted Answer

変数はそれ自体の初期化中に定義されたと見なされますが、初期化が完了するまで変数を評価することは依然として不正です。そのためType b = b、未定義の動作です。

変数が定義されている理由は、これを実行できるようにするためです。

struct X {
    int *p;
    int a;
};
X x = {&x.a, 123};
cout << *x.p << endl;

自身の評価以外の目的で初期化される変数を使用することは合法です。上記の例では、の初期化子は、そのメンバーのアドレスを計算するためにx参照できる必要があります。それ自体は評価されない ( demo )ため、これは正当です。xaa

2 に答える 2