導入：なぜEBCOが重要なのか
C++で大規模なライブラリやテンプレートメタプログラミングを設計する際、メモリ使用量は非常に重要な指標となります。「空クラス（データメンバを持たないクラス）」を多用する設計では、本来不要なメモリ消費が重なり、パフォーマンスを低下させることがあります。本稿では、コンパイラが自動的に行う「Empty Base Class Optimization（EBCO）」の仕組みと、C++20で導入された解決策について解説します。
基礎知識：空クラスとオブジェクトの識別性
C++の言語仕様では、すべてのオブジェクトは一意のアドレスを持つ必要があります。そのため、通常は空クラスであっても、`sizeof`の結果は最低でも1バイトとなります。しかし、空クラスを「基底クラス」として継承した場合、コンパイラは「派生クラスのデータメンバとアドレスを重ね合わせる」という最適化を行います。これがEBCOです。これにより、継承関係にある空クラスは、メモリを占有することなく存在できるようになります。
実装と解決策：継承と[[no_unique_address]]
EBCOを最大限に活かすには、従来は「空クラスを基底クラスとして継承する」のが定石でした。しかし、継承は設計の柔軟性を損なうことがあります。そこでC++20から登場したのが `[[no_unique_address]]` 属性です。これをメンバ変数に付与することで、継承を使わずに、メンバ変数としてもEBCOと同様の最適化を適用することが可能になりました。
サンプルプログラム
以下のコードで、EBCOと`[[no_unique_address]]`の効果を確認してください。
include <iostream>
// 空クラス（データメンバなし）
struct Empty {};
// 従来の手法：継承によるEBCO
struct InheritedHolder : Empty {
int x;
};
// C++20の新手法：[[no_unique_address]]属性を使用
struct ModernHolder {
[[no_unique_address]] Empty e;
int x;
};
int main() {
// 通常、intは4バイトですが、Emptyを含めてもサイズは4バイトのままです
std::cout << "intのサイズ: " << sizeof(int) << " byte" << std::endl;
std::cout << "継承によるHolderのサイズ: " << sizeof(InheritedHolder) << " byte" << std::endl;
std::cout << "ModernHolderのサイズ: " << sizeof(ModernHolder) << " byte" << std::endl;
return 0;
}
応用・注意点：複数継承の落とし穴
EBCOを利用する上で最も注意すべき点は「同じ型の空クラスを複数回継承した場合」です。C++の仕様上、同じ型のインスタンスは異なるアドレスを持つ必要があります。そのため、同じ空クラスを二つ継承すると、コンパイラはそれぞれに1バイトずつ割り当てる必要が生じ、最適化が効かなくなります。
また、`[[no_unique_address]]`を使用する際も、同一型のメンバを複数配置すると、同様にアドレスを分離するためのパディングが発生します。設計時には「同じ型を複数配置していないか」を意識し、必要であれば `std::tuple` のような手法で型を分離するなどの工夫が必要です。メモリ削減は強力な武器ですが、オブジェクトの一意性という言語仕様の制約を常に念頭に置いてコーディングを行いましょう。
コメント