導入
C++でクラス設計を行う際、メモリ使用量を意識することは非常に重要です。特に、データを持たない「インターフェース」や「ポリシー」を表すクラスを継承する場合、何もメンバがないはずのクラスがメモリを消費してしまうことがあります。この問題を解決し、メモリレイアウトを最適化するのが「空基底クラス最適化（EBCO: Empty Base Class Optimization）」です。本記事では、この最適化を最大限に活かす設計手法を解説します。
基礎知識
C++の仕様では、「異なるオブジェクトは異なるアドレスを持つ必要がある」と定められています。そのため、通常はメンバ変数を持たない空のクラスであっても、インスタンス化されると最低1バイトのメモリが割り当てられます。しかし、空のクラスを「基底クラス」として継承した場合、コンパイラは「派生クラスのメンバ変数と同じアドレスを基底クラスに割り当てても、オブジェクトの同一性は維持できる」と判断し、基底クラスのサイズをゼロとして扱うことができます。これがEBCOです。
実装/解決策
EBCOを有効に活用するための基本は、データを持たないクラスを積極的に継承することです。ただし、注意すべき論理的制約があります。それは、「同一の型の空基底クラスを複数継承すると、それぞれ異なるアドレスを割り当てる必要があるため、EBCOが効かなくなる」という点です。これを回避するためには、テンプレートを利用して異なる型として扱うか、メンバとして保持する際に「空クラスを継承したラッパー構造体」を介する手法が有効です。
サンプルプログラム
以下のコードは、EBCOが適用された場合とそうでない場合のサイズの違いを確認する例です。
include
// データを持たない空のクラス
struct Empty {};
// EBCOが適用されるケース
struct Derived : Empty {
int x;
};
// EBCOが適用されないケース（メンバとして持つと1バイト消費される）
struct NotOptimized {
Empty e;
int x;
};
int main() {
// Derivedのサイズはint(4バイト)と一致する
std::cout << "Derivedのサイズ: " << sizeof(Derived) << " bytes" << std::endl;
// NotOptimizedはEmptyの1バイトがパディングにより加算される可能性がある
std::cout << "NotOptimizedのサイズ: " << sizeof(NotOptimized) << " bytes" << std::endl;
return 0;
}
応用・注意点
現場での設計において注意すべきは、「複数継承時の型の重複」です。例えば、`class A : Empty, Empty` と記述すると、コンパイラはそれぞれに別々のメモリアドレスを割り当てるため、結果としてサイズが増加します。
また、モダンC++（C++20以降など）では、`[[no_unique_address]]` 属性を使用することで、継承を使わずにメンバ変数として空クラスを配置してもEBCOに近い最適化を得ることが可能です。継承による設計の複雑化を避けたい場合は、この属性の活用も検討してみてください。メモリ効率と設計のシンプルさ、どちらを優先すべきかを見極めるのがプロのエンジニアの腕の見せ所です。
コメント