デストラクタで delete 処理するのはいいのですが、割り込み等などで
終了させられた場合、メモリはちゃんと解放されるのでしょうか