C++11の「Rule of Five（5つのルール）」とは？リソース管理を正しく行うための基本原則

C++における「Rule of Five（5つのルール）」は、リソース管理を適切に行うために適用される重要な原則です。リソース管理とは、管理対象オブジェクトのライフタイム（生存期間）をクライアント側が意識しなくても済むようにする仕組みであり、メモリリークなどの問題を未然に防ぐことができます。

しかし、この管理にはコストが伴います。「Rule of Five」の核心は、以下の5つの関数のうち1つでも自分で定義する必要があるならば、残りの4つについても適切な方針を定め、実装しなければならないというものです。

例えば、オブジェクト「Foo」を管理する「FooManager」というクラスを作成する場合を考えてみましょう。FooManagerを実装する際には、以下の5つの関数すべてを適切に扱う必要があります。

Rule of Fiveを構成する5つの関数

1. デストラクタ（destructor）

マネージャオブジェクトがスコープから外れた（破棄された）ときに、それが管理していたすべてのリソースを解放する役割を担います。デストラクタを正しく実装しないと、メモリリークが発生する可能性があります。

2. コピー代入演算子（assignment operator）

独自に定義しない場合、コンパイラがデフォルトのコピー代入演算子を自動生成します。しかし、このデフォルトの動作はメンバごとのシャローコピー（浅いコピー）であり、ディープコピー（深いコピー）ではありません。その結果、メモリリークや誤った代入といった問題を引き起こす恐れがあります。

3. コピーコンストラクタ（copy constructor）

コンパイラが生成するコピーコンストラクタも、FooManagerのすべての属性をメンバごとにコピーします。これはコピー代入演算子と同様の問題を抱えており、同じリソースを複数のオブジェクトが参照してしまう二重解放などのバグにつながる可能性があります。

4. ムーブコンストラクタ（move constructor）

オブジェクトのコピーは、一時オブジェクトの生成・コピー・破棄を伴うため、コストが高くなりがちです。そこでC++11では右辺値参照（r-value reference）という概念が導入されました。右辺値参照は右辺値に明示的に束縛できます。右辺値とは名前を持たないオブジェクト、すなわち一時オブジェクトのことです。この右辺値参照をコンストラクタで利用することで、渡された一時オブジェクトへの参照を作成し、不要なコピーを回避できます。

5. ムーブ代入演算子（move assignment operator）

リソースはある時点で1つの所有者だけが持つのが理想的です。このリソースの所有権を、あるマネージャから別のマネージャへ移転（ムーブ）したい場合に、ムーブ代入演算子を提供すると有効です。

まとめ

Rule of Fiveは、デストラクタ、コピー代入演算子、コピーコンストラクタ、ムーブコンストラクタ、ムーブ代入演算子の5つをセットで考えるべきという原則です。1つでも特別なリソース管理が必要な場合は、残りも適切に実装・設計することで、安全で効率的なC++コードを実現できます。

Rule of Fiveについてさらに詳しく学びたい方は、以下の資料が参考になります。
Rule of the Big Five（PDF）