C++のトリビアルクラス（Trivial Class）とは？定義・条件・サンプルコードを解説

本記事では、C++における「トリビアルクラス（Trivial Class：些細なクラス）」について、その定義や特徴、具体的なコード例を交えながらわかりやすく解説します。

トリビアルクラスとは

トリビアルクラスとは、クラスや構造体（struct）の中に明示的にデフォルト化された値を持つクラスのことです。さらに、トリビアルクラスは独自のコンストラクタ・代入演算子・デストラクタを備えています。

C++では、特別な初期化や後始末を必要としない単純なメンバだけを持つクラスは、コンパイラが自動生成するデフォルトの特殊メンバ関数だけで十分に扱えます。このような「コンパイラ任せで済むシンプルなクラス」を、トリビアル（些細な）クラスと呼びます。

トリビアルクラスの主な条件

クラスや構造体がトリビアルであるとみなされるためには、おおむね以下の条件を満たす必要があります。

• デフォルトコンストラクタがトリビアルである（= default を使用するなど）
• コピーコンストラクタ・ムーブコンストラクタがトリビアルである
• コピー代入演算子・ムーブ代入演算子がトリビアルである
• デストラクタがトリビアルである
• 仮想関数や仮想基底クラスを持たない

サンプルコード

// デフォルトコンストラクタを使用する例
struct Trivial {
    int i;
private:
    int j;
};

// コンストラクタを自分で定義し、
// デフォルトとしてマークする例
struct Trivial2 {
    int i;
    Trivial2(int a, int b) {
        i = a;
    }
    Trivial2() = default;
};

1つ目の Trivial 構造体は、ユーザー定義のコンストラクタを持たないため、コンパイラが暗黙的に生成するデフォルトコンストラクタがそのまま利用されます。
2つ目の Trivial2 構造体では、引数付きのコンストラクタを自分で定義しつつ、= default; と記述することでデフォルトコンストラクタを明示的に要求しています。このように、ユーザー定義のコンストラクタとデフォルトコンストラクタを併存させることができます。

出力結果

（ここではクラスを定義しているだけで、オブジェクトのインスタンスは生成していないため、出力はありません。）

トリビアルクラスの活用場面

トリビアルクラスには、次のような実用的なメリットがあります。

• 高速なメモリコピー：トリビアルにコピー可能な型は、memcpy や memmove によるバイト単位の複製が安全に行えます。
• 低レベル処理との相性の良さ：シリアライズやネットワーク送受信など、データをバイト列として扱う処理に適しています。
• コンパイル時の型判定：<type_traits> ヘッダの std::is_trivial<T>::value を使えば、ある型がトリビアルかどうかをコンパイル時に確認できます。

まとめ

トリビアルクラスとは、明示的にデフォルト化された値を持ち、コンパイラが自動生成するコンストラクタ・代入演算子・デストラクタで足りるシンプルなクラスです。パフォーマンスが重要な場面や低レベルなメモリ操作を行う際に特に威力を発揮するため、C++プログラマーにとって押さえておきたい重要な概念といえます。