C++クラスのデストラクタは重要ではない？

Question

C++のクラスにおいて、理論上、デストラクタは重要だが、実用上は必ずしも重要でないというような話を聞きました。

理論的には、一度割り当てたメモリを、不必要になった際に解放し、メモリリークを防ぐものとして重要、と認識しています。「実用上は必ずしも重要でない」とは、どのようなことを言っているのでしょうか？

どなたかご教示いただけますと幸いです。

Comments

[退会済みユーザー]

文脈によるので、何とも言えませんし、そういうのはご本人に聞いて頂いた方がいいです。
あえて想像で考えるなら、仮にメモリリークしてたとしても、プロセス終了時には開放されるわけで、クライアント側のライフサイクルが短くてリソース消費量の少ないプロセスなら、それほどクリティカルではないと思います。もちろん良い悪いで言えばダメなのですが、状況次第ではドキュメントだけ残してすぐには直さないという選択肢もありえます。

[kotoraemon]

確かに文脈によりますね。
「仮にメモリリークしてたとしても、プロセス終了時には開放されるわけで、クライアント側のライフサイクルが短くてリソース消費量の少ないプロセスなら、それほどクリティカルではない」「もちろん良い悪いで言えばダメ」、非常に勉強になりました。

Answer 1

「実用上は必ずしも重要でない」

そんなことは全く無いです。

ただし自分で定義も宣言も書くべきではないと言えるでしょうが。(RAIIなクラスを作るときや継承が絡むときを除く)

デストラクタの宣言を書くとmove ctorが自動生成されなかったり、いろいろだるいので、デストラクタを書くとなったら全部のコンストラクタを自力で書くことになりますね。

Comments

[asm]

P0052r10が実装されたらなぁ・・・と思わずにはいられないですね。

[kotoraemon]

なるほど、理論上も実用上も重要だが、ただし自分で定義も宣言も書くという必要はないといえるのですね。まだまだ勉強不足なので非常にためになりました。ありがとうございました。

[yumetodo]

P0052って私が翻訳しようとしてQiitaに書きかけてずっと放置しているやつじゃん・・・
https://qiita.com/yumetodo/items/3513677a4b8942763886
いつの間にR10に

Answer 2

こんにちは。

デストラクタ、実用上非常に便利ですよ。C#等の他のメジャーな言語にはないので、それらの言語を使う時は無駄に苦労します。（C#のusingとDestroyとか面倒で面倒で）

獲得したら開放しないと行けないものはメモリ以外にも本当に多数あります。
ファイルはオープンしたらクローズしないと行けないですし、獲得したMutexは確実に開放する必要があります。
それらを RAIIパターンにて、コンストラクタでオープンしてデストラクタでクローズするって超便利です。リソース・リークの可能性を大きく低減できますから。

デストラクタで発生したエラーを通知できない（＝事実上デストラクタでエラーを発生させてはいけない）という欠点があるので悩ましい部分はありますが、その欠点を乗り越える苦労をしてでも使う価値があると私は思います。

Comments

[kotoraemon]

理論上だけでなく、実用上も非常に便利なのですね。基礎の部分もまだまだ勉強不足なので、非常にためになりました。これからよく勉強していきたいと思います。ありがとうございました。

Answer 3

現代の一般的なOSはプロセス終了時に開きっぱなしのメモリやファイル等はOSが片付けます。
つまり、起動してすぐ終了する程度の規模であれば気にしなくても問題にならないということです。

もちろん、起動しっぱなしで大きなメモリを何個も確保し解放する必要がある場合や
なんらかのバグで終了できなくなる場合や特殊なOSに移植する場合などに困るので
しっかりとデストラクタで解放したほうがよいです。

Comments

[yumetodo]

まあそういうときはstd::quick_exitを使うことを考えるべきかもしれない。

[kotoraemon]

回答ありがとうございます。
デストラクタで解放したほうがよい、ということを前提として、「起動してすぐ終了する程度の規模」であれば、気にしなくても問題を引き起こさないということですね。勉強になりました。
std::quick_exitについても勉強したいと思います。ありがとうございました。

Answer 4

クラスの中で何もメモリを確保しないのであれば良いですが、クラスの中で大きなメモリを動的に取る場合は必要です。デストラクタで開放しないクラスを、ループの中で沢山使用するとメモリが枯渇して落ちてしまいます。

Comments

[kotoraemon]

＞クラスの中で大きなメモリを動的に取る場合は必要です。デストラクタで開放しないクラスを、ループの中で沢山使用するとメモリが枯渇して落ちてしまいます。
重要な点ですね。勉強になります。ありがとうございました。

Answer 5

メモリのことだけ心配するならそうかも知れませんが、
組み込み屋的には、デバイスを抽象化したクラスではデバイスの後始末が必要なことも多いのでおろそかに出来ません。そんなのOSが面倒みてくれるわけもなく。

Answer 6

使い方次第としか言えません。

強いて意図を探るとすれば、**「割り当てるメモリのライフサイクルがプロセスのライフサイクルとほぼ同一」**ならばほぼ不要です。プロセス終了時にOSがまとめてお片付けしてくれるからです。

ただし、**デストラクタでファイル書き込みする場合などは話が別です。**これをスキップすると動作が変わってしまいます。

Comments

[kotoraemon]

「割り当てるメモリのライフサイクルがプロセスのライフサイクルとほぼ同一」ならば不要、「プロセス終了時にOSがまとめてお片付けしてくれる」、なるほど、明解な回答ありがとうございます。勉強になりました。