導入
C++開発において、std::unique_ptrなどのスマートポインタはメモリ管理の自動化に欠かせない存在です。しかし、クラスの前方宣言（不完全型）と組み合わせる際、コンパイルエラーに悩まされた経験はありませんか？このTipsを理解すれば、ヘッダー間の依存関係を整理しつつ、安全にスマートポインタを利用できるようになります。
基礎知識
不完全型とは、クラス名だけが宣言され、その中身（メンバ変数やサイズ）が定義されていない状態を指します。コンパイル時にクラスのメモリサイズが確定していないため、通常はインスタンス化できません。
std::unique_ptrは、デストラクタが呼ばれる際に、保持している型のサイズを知る必要があります。そのため、delete演算子を適用する箇所では、型が「完全」である（定義されている）ことが必須となります。
実装/解決策
解決策はシンプルです。「デストラクタを実装ファイル（.cpp）側に明示的に定義する」ことです。
ヘッダーファイルでは型を前方宣言のみに留め、コンストラクタやデストラクタの本体をソースファイル側に記述します。これにより、ヘッダー側では型が不完全であっても、コンパイル時にはソースファイル側で型が確定しているため、安全にdeleteが実行されます。
サンプルプログラム
以下の構成で実装を行うことで、ヘッダー間の循環参照を防ぎつつ安全に管理できます。
// — MyClass.h (ヘッダーファイル) —
include
struct MyStruct; // 前方宣言（不完全型）
class MyClass {
public:
MyClass();
~MyClass(); // ここでは宣言のみ
private:
std::unique_ptr
};
// — MyClass.cpp (ソースファイル) —
include “MyClass.h”
// 構造体の完全な定義
struct MyStruct {
int data;
};
// コンストラクタ
MyClass::MyClass() : p(std::make_unique
// デストラクタをここで定義する
// この時点でMyStructが完全型として認識されるため安全に削除できる
MyClass::~MyClass() = default;
応用・注意点
この手法は、Pimplイディオム（Pointer to Implementation）と呼ばれる設計手法の根幹でもあります。Pimplイディオムを使えば、実装の詳細をヘッダーから隠蔽できるため、コンパイル時間の短縮にも大きく寄与します。
注意点として、もしヘッダーファイル内でクラスのデストラクタをインライン定義（classの定義内で{}を書く）してしまうと、コンパイラはそこでdeleteを実行しようとします。その時点で型が不完全であればコンパイルエラーになるため、デストラクタは必ずソースファイル側で定義する習慣をつけましょう。
コメント