上級

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  }

よくある誤解

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

まとめ

delete後のポインタ使用が「たまたま動いてしまう」危険性は上級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

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