上級

delete後のポインタ使用が「たまたま動いてしまう」危険性

deleteした直後の同じポインタを使って読み書きしてしまうバグです。未定義動作であるにもかかわらず、解放直後のメモリはすぐには再利用されないことが多く、正しい値が読めてしまうことがあります。

なぜエラーが出ないのか

出力: 実行のたびに変わりうる無関係な値（クラッシュはしない）

（エラーなし）

C++は何も報告しません。コンパイルも実行も正常に完了するためです

出力: 実行のたびに変わりうる無関係な値（クラッシュはしない）

実際の挙動 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるか、コードを目で追うしかありません。この種の誤りが最も発見が遅れます

このエラーが出る典型パターン

 1  #include <iostream>
 2  int main() {
 3      int *p = new int(42);
 4      delete p;
 5      std::cout << *p << std::endl;    
                        ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  int main() {
 3      int *value = new int(100);
 4      delete value;
 5      std::cout << *value << std::endl;    
                          ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  int main() {
 3      int *n = new int(7);
 4      delete n;
 5      std::cout << *n << std::endl;  
                       ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  int main() {
 3      int *x = new int(21);
 4      delete x;
 5      std::cout << *x << std::endl;        
                          ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  int main() {
 3      int *level = new int(4);
 4      delete level;
 5      std::cout << *level << std::endl;
                        ^
 6      return 0;
 7  }

よくある誤解

「エラーなく動いたのだから解放は間違っていなかった」というのは誤解です。deleteは確保していた領域を「他の用途に使ってよい」と管理システムに伝えるだけで、その領域の中身自体を即座に上書きするとは限りません。プログラムが複雑になり別の場所で確保・解放が起きるようになると、突然壊れた値が現れることがあります。

実務での勘所

delete直後にポインタをnullptrへ明示的に代入しておく習慣は、二重解放だけでなくuse-after-freeの発見にも役立ちます。もしその後どこかでうっかりこのポインタを使ってしまっても、nullptrの参照は(未定義動作ではあるものの)ほぼ確実にその場で即座にクラッシュするため、ずっと後になって無関係な場所で不可解な値化けとして現れるより、原因の特定がはるかに簡単になります。危険な操作を、遅れて起きる曖昧なバグではなくその場で確実に落ちるバグに変えるという考え方は、手動メモリ管理全般で有効な防御的な習慣です。

演習をはじめる

関連するエラー

• free(): double free detected の原因と直し方（C++のdelete）newで確保したメモリに対してdeleteを2回呼んでしまったときに出る実行時エラーです。
• ローカル変数への参照を返すとSegmentation faultになる原因関数のローカル変数への参照を関数の外に返してしまうバグです。