デストラクタ
デストラクタ
【英】destructor
デストラクタとは、C++などのオブジェクト指向のプログラミング言語において、あるオブジェクトを破棄する際に呼び出す関数のことである。
プログラムは処理のためにメモリ領域などの資源を一時的に占有するので、処理が済んだ後はそれらの資源を自由に使用できるよう開放してやる必要がある。適切に開放が行わなければ、新しく使用できる資源が少なくなってメモリリークなどの異常を起こしてしまう。デストラクタを用いれば、プログラム内の任意のオブジェクトを終了し、資源に空き領域を確保することができる。デストラクタにがオブジェクトを開放してやることで、そのオブジェクトのために確保していた資源を開放し、他のオブジェクトやアプリケーションなどに資源を使用できるようになる。
JavaやC#などの言語においては、ファイナライザ（finalizer）と呼ばれる関数がデストラクタに対応している。ただし、これらのプログラミング言語では仮想マシンとよばれる環境が自動的に空きメモリを確保する仕組みを持っているため、基本的にデストラクタを呼び出す必要はない。
ちなみに、デストラクタに対してオブジェクトを初期化するための関数はコンストラクタなどと呼ばれている。
参照リンク
C# および C++ のデストラクタ構文 - （Microsoft）
デストラクタ
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/01/07 17:57 UTC 版)
デストラクタ（英: destructor）は、オブジェクト指向プログラミング言語でオブジェクト（インスタンス）を削除する際に呼び出されて後処理などを行なう関数あるいはメソッドのこと。C++やDelphi、Rustにおいてサポートされている。デストラクタは確実かつ安全なリソース管理を実現するための重要な役割を担う。
日本語では「解体子」という直訳が割り当てられることもあるが[1]、ほとんど使用されることはない。
なお、本項では類似概念であるファイナライザについても合わせて述べる。
C++
デストラクタはオブジェクトの寿命が終了するタイミング、メモリ領域が破棄される直前に自動的に呼び出される。具体的には自動変数（ローカル変数）ならばその変数が属するブロックを抜けた直後、静的オブジェクトならばプログラム終了直前、new演算子で生成したオブジェクトならばdelete演算子が適用された時である。主にコンストラクタで確保したリソースを解放するための処理が記述される。
派生クラスの場合は、まず派生クラスのデストラクタが呼ばれて派生クラスによる追加部分が解体されてから、基底クラスのデストラクタが順次呼ばれることでオブジェクトが解体される。基底クラスのポインタで派生クラスのインスタンスをポリモーフィックに利用する場合は、基底クラスのデストラクタを仮想関数にしなければならない（仮想デストラクタ）。これはポインタが参照するインスタンスをdeleteする際に呼び出されるデストラクタがポインタの型で決定されるため、基底クラスのデストラクタが仮想でない場合は、基底クラスのデストラクタだけが呼ばれて派生クラスのデストラクタが呼ばれないためである。基底クラスが仮想デストラクタを持っていれば、実際のインスタンスに応じて派生クラスのデストラクタが正しく呼び出される。ただしこのメカニズムは一般的な仮想関数と同様に仮想関数テーブルを経由して実現されるものであるため、デストラクタを仮想にするとオブジェクトのメモリ上のサイズが多少増加し、また仮想関数テーブルを経由することで呼び出しのオーバーヘッドが多少増えることになる。
自動変数のデストラクタは、例外でブロックを脱出した際にも呼び出される。そのため、コンストラクタでリソースを確保し、デストラクタでリソースを解放するクラスを自動変数として生成することで、ブロック中のどこから例外が投げられてもリソースの解放が確実に行われる。このイディオムをRAII (Resource Acquisition Is Initialization) という。
デストラクタは例外を投げるべきではない。先に述べたようにデストラクタは例外伝播中にも呼ばれる可能性があるが、その時にデストラクタがさらに例外を投げると二重例外となり、プログラムの強制終了を招くからである。
デストラクタは、プログラマが定義しない場合にC++コンパイラが暗黙に生成するメンバー関数のうちの一つである。暗黙のデストラクタの仕様は「中身が空」で「非仮想」となっている。
デストラクタの名前は、クラス名の前に~記号（チルダ、ティルダ）を付けたものと決められている。
下記の例では、main関数を抜けるときにMyClass型の自動変数objが破棄されることによって、デストラクタ~MyClass()が自動的に呼ばれる。
#include <iostream>
class MyClass {
public:
// デフォルトコンストラクタ。
MyClass() { std::cout << "MyClass() is called." << std::endl; }
// デストラクタ。
~MyClass() { std::cout << "~MyClass() is called." << std::endl; }
};
int main() {
std::cout << "main() function started." << std::endl;
MyClass obj; // 関数ブロックを抜けると破棄される。
std::cout << "main() function finished." << std::endl;
}
例えばnew演算子で動的に生成した別のオブジェクト（動的に確保したメモリ領域）へのポインタや、オープンしたファイルのハンドルなどをクラスのメンバー変数として保持しておき、delete演算子による削除（メモリ領域の解放）やファイルのクローズといった後始末用の処理をデストラクタに記述することで、クラスオブジェクトの寿命が尽きたときに後始末を確実に自動実行させることができる。
ファイナライザ
ファイナライザ (finalizer) は、ガベージコレクタを持つ言語において不要オブジェクトが回収される前に自動的に呼び出されるメソッドである。
Java、Rubyなどに存在する。C++/CLIにはデストラクタとファイナライザの両方が存在する。C#にはファイナライザのみが存在するが、構文がC++のデストラクタに酷似しており、かつては「デストラクタ」と呼ばれていた[2][3]。
デストラクタと違い、ファイナライザはオブジェクトが不要になってもすぐには呼ばれるとは限らない。不要になってから実際に回収されるまでの間に、いつか呼ばれるというだけである。それは不要になった直後かもしれないし、遙か後になるかもしれない。さらにはメモリに十分な余裕があれば、オブジェクトが回収されずファイナライザが永遠に呼ばれないということさえありうる。.NET Frameworkの場合はアプリケーションの終了時にファイナライザが呼ばれるが、一般的にはプロセス終了時ですらファイナライザが呼ばれるかどうかは不定である。
このようにいつ呼び出されるかわからない、呼ばれるかどうかすらわからないメソッドのため、確実に実行されなければならないような処理は一般的にファイナライザに任せることはできない。したがって、「ファイナライザによるRAII」は誤りである。ファイナライザで行えることは極めて限定されており、「リソースを解放し忘れていないか確認し、解放し忘れていれば解放する」というような最終防壁としての利用法がせいぜいである。リソースは不要になった時点で適切に解放されているべきであり、ファイナライザのチェックは保険に過ぎない。解放し忘れは本来はバグで、ファイナライザに頼る設計をしてはいけない。ファイナライザを誤って実装すると、脆弱性が生じることもある[4]。
以上のような不確実性に加え、ファイナライザの利用はガベージコレクタの性能を低下させることもあり、積極的に利用されるものではない。ファイナライザを持つオブジェクトはファイナライザ管理リストに登録されるため、ファイナライザを持たないオブジェクトと比べてオーバーヘッドも増える[5]。業務サーバーのような、少々のバグがあっても動き続けていなければ困るようなアプリケーションでは用いられることもある。
Java 9ではファイナライザが非推奨となった[6]。
他言語の類似機能
「デストラクタによるRAII」に近い機能を実現する手段は、JavaではAutoCloseableインターフェイスの実装とtry-with-resources文、C#ではSystem.IDisposableインターフェイスの実装とusing文である。なお、C++/CLIでは、マネージ型にデストラクタを定義するだけでIDisposableインターフェイスを暗黙的に実装したことになる[7]。
Objective-Cでは、インスタンスの参照カウントがゼロになったときにdeallocメソッドがランタイムによって自動的に呼ばれる[8]。このメソッド内に各種の後始末処理（Objective-Cの管理下にないリソースの解放など）を記述することができる。Swiftでの該当機能はデイニシャライザdeinitである[9]。
脚注
- ^ デストラクタ（解体子）とは - IT用語辞典 e-Words
- ^ Destructors (C# Programming Guide) | Microsoft Docs
- ^ Finalizers (C# Programming Guide) | Microsoft Docs
- ^ ヒント: ファイナライザーによる脆弱性からコードを保護する | IBM, Internet Archive
- ^ ファイナライザを理解する ～ファイナライザに起因するトラブルを避けるために～ | 富士通 | 橋口 雅史
- ^ Object (Java SE 9 & JDK 9 )
- ^ How to: Define and consume classes and structs (C++/CLI) | Microsoft Learn
- ^ dealloc | Apple Developer Documentation
- ^ Deinitialization | Documentation
関連項目
 | この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。 |
デストラクタ
固有名詞の分類
- デストラクタのページへのリンク
