未定義変数とコンパイラの最適化

Question

は下の下でコードを切り取ら：func_1()後

---それがスタックにAを押して40にそのメモリの値を設定しますスタックからAをポップします。

func_2()後---それが再びスタックにAを押して前に設定された値を継承し、我々がBにfunc_2()で名前Aを変更した場合、プリントアウトは、値が40

void func_1() 
{ int A = 40;} 

void func_2() 
{ int A; printf("%d/n",A);} 

void main (void) 
{ 
    func_1(); 
    func_2(); 
} 

になりますでしょうスタックの使用をテストし、名前付き変数のプールの使用をテストするために余分なコードを置く：私のコンピュータ上で

int A; printf("%d\n", A); 

、それは、Bが40であると言いますコンパイラがコンパイルされたコード（？）を最適化するために再利用される名前付き変数のプールを持っている場合、なぜAに0が得られたのですか？ コンパイラはいつプールを使用しますか？

私の質問は、このスライドに基づいています：http://www.slideshare.net/olvemaudal/deep-c/131-I_am_now_going_to

Answer 1

は、ほとんどの機能func_2();内の変数Aは値40が（func_1()に）保存されたことと同じスタック位置に割り当てられています。 func_2()の変数を初期化していないので、この場合は40のメモリにある変数（これは決して書き換えられなかったため）を使って変数を出力します。これは、ユーザがポインタを解放し、それが見えないかもしれないが、後で競合を見ることができるという主張よりも似ている。未定義の振舞い。言うまでもなく、あなたはそのような行動に頼るべきではありません！

私はそれが名前とは何の関係もないことを証明するために、簡単なテストをした：

void func_1() 
{ 
    int A = 40; 
    int B = 10; 
    printf("Memory A = %p Memory B = %p\n",&A, &B); 
} 

void func_2() 
{ int B; printf("B = %d Memory B = %p\n",B, &B);} 

void main (void) 
{ 
    func_1(); 

    func_2(); 
    printf("\n"); 
} 

出力：

Memory A = 0x7fff58f86b5c Memory B = 0x7fff58f86b58 
B = 40 Memory B = 0x7fff58f86b5c 

あなたがfunc_1()にB = 10が見ることができるようにfunc_2()印刷値は40でしたか？変数Aのメモリアドレスがfunc_1()であることを確認すると、0x7fff58f86b5cは変数Bが占める同じメモリアドレスがfunc_2()になります。

Answer 2

彼は理解していない振る舞いを説明しているようなアイデアを発明したばかげた役割を果たしています。名前付き変数のプールはありません。

このコードの動作は未定義であり、依存することはできません。実行時に値40を出力するように動作した場合、それは単に実装の事故に過ぎません。