ローカル変数とプログラムの戻りアドレスがまだ残っています

Question

これは私が話したいスナップショットです。このコードでは、main関数はローカルに宣言された変数 'a'のアドレスを返す 'foo'を呼び出します。私は、ローカルで宣言された変数が範囲外になったときにメモリの割り当てを解除するという印象を受けました。変数 'a'は、fooへの呼び出しが終了した後に割り当て解除され、 'a'に関連するものは残されてはいけません。しかし、この場合、その基本的な前提を壊しているようです。下には何が起こっていますか？

int* foo() { 
    int a = 5; 
    return &a; 
} 

int main() { 
    int* p = foo(); 
    // Prints 5 
    std::cout << "Coming from foo = " << *p << std::endl; 
    *p = 8; 
    // Prints 8 
    std::cout << "Setting explicitly = " << *p << std::endl; 
} 

Answer 1

コードでは、未定義の動作が発生します。適切に名前が付けられているように、それは定義されていません。つまり、期待される結果を得るか、そうでないかもしれません。あなたがすべきことは、明確に定義されていないので、そのような結果に依存しないことです。あなたは期待した結果を得て運が良かったかもしれませんが、私を信じて、それは罠です！

Answer 2

どのような値が印刷されるかは、マシン/コンパイラによって異なります。スタックの割り当て解除は、以前に何が消去されたのかを意味するものではありません。エリアが無効になったことを意味します。つまり、それらのアドレスにアクセスしようとするとその動作が保証されません。あなたのケースでは、ローカル変数aを格納するために使用される場所が上書きされていないことが起こります。