C++自己参照配列ですか？

Question

私は、誤って配列内の自己参照によってバグを作成しました。ここではコンセプトが似非常に単純化されたデモプログラムです：

#include <iostream> 
using namespace std; 

int kTest[] = { 
    kTest[0] 
}; 

int main() { 
    cout << kTest[0] << endl; 
} 

私はコンパイラエラーまたはこのコードでさえも警告もないを受け取ったことに驚きました！私の場合は、予期せぬ出力を生み出しました。ガベージメモリにアクセスしていますか？

私はどのような状況でこれが明確な出力を持っているのか不思議に思っていました。

を編集してください：kTestがstaticの場合は違いがありますか？ constはどうですか？どちらも？

Answer 1

int kTest[] = { 
    kTest[0] 
}; 

関数内でローカルに宣言した場合それは、未定義の動作になります

int x = x; 

と全く同じに似ている、そうでない場合。

kTestがグローバル変数であるときは、よく定義されているようです。詳細は、the other answerを参照してください。

Answer 2

これは未定義です。現在draftから引用：

[basic.start.static]/3

定数初期化を行わない場合、静的 貯蔵期間を持つ変数（[basic.stc.static]）またはスレッド保存期間 （[basic.stc.thread]）はゼロで初期化されます（[dcl.init]）。一緒に、 ゼロ初期化と定数初期化は、スタティック 初期化と呼ばれます。他のすべての初期化は動的初期化です。 動的初期化が行われる前に、静的初期化を実行する必要があります。動的な初期化が開始したとき、すでにゼロに初期化されるので、0に初期化するように定義することができるkTestように見える私に

。