C/C++でローカル変数のメモリにスコープ外からアクセスできるのか？

C/C++では、ローカル変数のメモリにスコープ外からアクセスできてしまう可能性があります。まずは具体的なコード例を見てみましょう。

コード例

#include<iostream>
int* foo() {
    int x = 3;
    return &x;
}

int main() {
    int* address = foo();
    cout << *address;
    *address = 12;
    cout << *address;
}

出力結果

このプログラムは、次のような出力を返す場合があります。

3
12

なぜ動いて見えるのか

先述のとおり、このコードは「たまたま動作するかもしれない」だけです。ここでは、かつて x のアドレスだったメモリ領域に対して、単に読み書きを行っているにすぎません。main 関数内ではすでに foo のスコープ外にいるため、address は実質的に「どこかのランダムなメモリ領域」を指すポインタです。

上記の例では運よく、そのメモリ領域がまだ存在しており、ほかの処理には使われていませんでした。そのため、使い続けても何も壊れず（別プロセスのメモリや不正なメモリ領域を操作することはない）、まだ誰にも上書きされていないため、値の 3 がそのまま残っていたというわけです。

実際のプログラムでは危険

しかし現実のプログラムでは、そのメモリはほぼ即座に再利用される可能性があり、このようなアクセスによってプログラムを破壊してしまう恐れがあります。こうしたメモリアクセスに関するバグは、原因の特定と修正が極めて困難なことで知られています。

foo 関数から制御が戻るとき、プログラムは OS に対して「x のメモリはもう使用されていないため、他の用途に割り当てて構わない」と伝えます。運良くそのメモリが再割り当てされず、OS も不正アクセスとして検知しなければ、見かけ上は問題なく動いてしまうかもしれません。

まとめ：未定義動作に頼らないこと

このようなコードは言語仕様上未定義動作（undefined behavior）に該当します。コンパイラや環境が変われば挙動は保証されず、一見正しく動いたとしてもそれは偶然にすぎません。スコープ外のローカル変数へは決してアクセスせず、必要に応じて動的メモリ確保やスマートポインタなど、安全な手段を利用しましょう。