>>230
メモリを確保した関数でそのメモリを解放する簡易なプログラムならばその通り
しかし現実には確保したメモリが他のデータ構造に組み込まれて最終的に解放されるのは別の複数の関数であったり
そこへの参照(ポインタ)が解放時に残っていないことを満たさなければいけなかったり
複数のスレッドで共有することもある
それらが複雑に組み合わさって全てのケースを細かく人間がミスなく管理しきれるかというと無理だ
そしてメモリ管理バグを日々どこかで量産され続けている