型の分類表 | Programming Place Plus　新C++編

型の分類表 🔗

C++ の型を分類しました。本編の解説に合わせて、C++14 をベースにして作成しており、それより前のバージョンでの事情を無視しています。リンクは、本編でその型を取り上げているページへ移動します。

分類が非常に複雑であり、１つの整った表形式では表現しきれないため、同じ型が複数回登場することがあります。

Ｃ言語の型の分類表がこちらのページにあります。

まず、基本型と複合型に分類できます。

• 基本型 (fundamental types)
  • 算術型 (arithmetic types)
    • 整数型 (integer types、integral types)
      • bool型
      • 文字型 (character types)
        • 狭い文字型 (narrow character types)
          • char型
          • signed char型
          • unsigned char型
        • wchar_t型
        • char16_t型
        • char32_t型
      • 符号付き整数型 (signed integer types)
        • 標準符号付き整数型 (standard signed integer types)
          • signed char型
          • (signed) short型
          • (signed) int型
          • (signed) long型
          • (signed) long long型
        • 拡張符号付き整数型 (extended signed integer types)
          • 処理系定義
      • 符号なし整数型 (unsigned integer types)
        • 標準符号なし整数型 (standard unsigned integer type)
          • unsigned char型
          • unsigned short型
          • unsigned int型
          • unsigned long型
          • unsigned long long型
        • 拡張符号なし整数型 (extended unsigned integer type)
          • 処理系定義（拡張符号付き整数型に対応するように定義される）
      • 標準整数型 (standard integer types)
        • 標準符号付き整数型
        • 標準符号なし整数型
      • 拡張整数型 (extended integer types)
        • 拡張符号付き整数型
        • 拡張符号なし整数型
    • 浮動小数点型 (floating point types)
      • float型
      • double型
      • long double型
  • 不完全型 (incomplete types)
    • void型
    • 不完全オブジェクト型 (incompletely-defined object types)
      • 宣言されているが定義されていないクラス
      • 基底型が判明していない列挙型
      • 要素数が不明な配列型
      • 要素の型が不完全型である配列型
• 複合型 (compound types)
  • 以下のすべて。また、これらを再帰的に繰り返すことを含む
    • 配列型 (array types)
    • 関数型 (function types)
    • ポインタ型 (pointer types)
      • オブジェクトポインタ型 (object pointer type)
        • オブジェクト型を指し示すポインタ
        • voidポインタ
      • 関数ポインタ (function pointer type)
    • 参照型 (reference types)
      • オブジェクトまたは関数を参照するもの。さらに以下の２つに分類される
        • lvalueリファレンス（左辺値参照） (lvalue reference)
        • rvalueリファレンス（右辺値参照） (rvalue reference)
    • クラス型 (class types)
      • classキーワードで定義したクラス
      • structキーワードで定義した構造体（実質、class と同じ）
      • unionキーワードで定義した共用体
    • 列挙型 (enumeration types)
      • unscoped enum
      • scoped enum
    • 静的でないデータメンバへのポインタ

上記の分類のほかに、型のもつ特徴によって以下のように分類されます。

• オブジェクト型 (object types)
  • 以下の “いずれでもない” 型。CV修飾の有無は問わない
    • 関数型
    • 参照型
    • void型
• スカラ型 (scalar types)
  • 以下のすべて、およびこれらの CV修飾された型
    • 算術型
    • 列挙型
    • ポインタ型
    • メンバポインタ型 (pointer to member types)
    • std::nullptr_t型
• POD型 (POD types)
  • 以下のすべて、およびこれらの配列型と CV修飾された型
    • スカラ型
    • PODクラス (POD class)
      • POD構造体 (POD struct)
        • 以下のすべてを満たす共用体でないクラス型^[2]
          • トリビアルクラス型である
          • 標準レイアウトクラスである
          • POD構造体や POD共用体でない（また、それらの配列でない）、静的でないデータメンバを持たない
      • POD共用体 (POD union)
        • 以下のすべてを満たす共用体^[2]
          • トリビアルクラス型である
          • 標準レイアウトクラスである
          • POD構造体や POD共用体でない（また、それらの配列でない）、静的でないデータメンバを持たない
• トリビアル型 (trivial types)
  • 以下のすべて、およびこれらの配列型と CV修飾された型
    • スカラ型
    • トリビアルクラス型
• トリビアルクラス型 (trivial class)^[1]
  • 以下のすべてを満たすクラス型
    • デフォルトコンストラクタをもつ
    • トリビアルでないデフォルトコンストラクタをもたない
    • トリビアルにコピー可能である
• トリビアルにコピー可能な型 (trivially copyable types)
  • 以下のすべて、およびこれらの配列型や、const修飾された型
    • CV修飾されていないスカラ型
    • トリビアルにコピー可能なクラス型（trivially copyable class）
      • 以下をすべて満たすクラス^[1]
        • トリビアルでないコピーコンストラクタをもたない
        • トリビアルでないムーブコンストラクタをもたない
        • トリビアルでないコピー代入演算子をもたない
        • トリビアルでないムーブ代入演算子をもたない
        • トリビアルなデストラクタをもつ
• 標準レイアウト型 (standard-layout types)
  • 以下のすべて、およびこれらの配列型と CV修飾された型
    • スカラ型
    • 標準レイアウトクラス型（standard-layout class）
      • 以下をすべて満たすクラス^[3]
        • 標準レイアウトクラス（また、その参照や配列）でない静的でないデータメンバをもたない
        • 仮想関数をもたない
        • 仮想基底クラスをもたない
        • すべての静的でないデータメンバのアクセス指定が同じ
        • 標準レイアウトクラスでない基底クラスをもたない
        • 「もっとも派生したクラスが静的でないデータメンバをもたず、静的でないデータメンバをもつ基底クラスが最大でも１つである」または「静的でないデータメンバをもつ基底クラスをもたない」
        • 最初の静的でないデータメンバと同じ型の基底クラスをもたない
      • 標準レイアウト構造体 (standard-layout struct)
        • 標準レイアウトクラス型のうち、structキーワードを使って定義されたもの
      • 標準レイアウト共用体 (standard-layout union)
        • 標準レイアウトクラス型のうち、unionキーワードを使って定義されたもの
• リテラル型 (literal types)^[4]
  • void型
  • スカラ型
  • 参照型
  • 要素がリテラル型の配列型
  • 【C++14】以下の条件をすべて満たすクラス型
    • トリビアルなデストラクタをもつ
    • 集成体である。または、コピーコンストラクタ・ムーブコンストラクタのいずれでもない、constexpr なコンストラクタ・テンプレートコンストラクタを最低でも１つもつ
    • すべての静的でないデータメンバと基底クラスが、非volatile なリテラル型である
  • 【C++17】以下の条件をすべて満たす、CV修飾を含めたクラス型
    • トリビアルなデストラクタをもつ
    • クロージャ型あるいは集成体である。または、コピーコンストラクタ・ムーブコンストラクタのいずれでもない、constexpr なコンストラクタ・テンプレートコンストラクタを最低でも１つもつ
    • 共用体の場合は、静的でないデータメンバのうち最低でも１つが、非volatile なリテラル型である
    • 共用体でない場合は、すべての静的でないデータメンバと基底クラスが、非volatile なリテラル型である
  • 【C++20】以下の条件をすべて満たす、CV修飾を含めたクラス型
    • constexpr なデストラクタをもつ
    • クロージャ型あるいは集成体である。または、コピーコンストラクタ・ムーブコンストラクタのいずれでもない、constexpr なコンストラクタ・テンプレートコンストラクタを最低でも１つもつ
    • 共用体の場合は、静的でないデータメンバのうち最低でも１つが、非volatile なリテラル型である
    • 共用体でない場合は、すべての静的でないデータメンバと基底クラスが、非volatile なリテラル型である
• 集成体（アグリゲート）(aggregate)
  • 配列型
  • 以下を条件をすべて満たすクラス型
    • ユーザー定義コンストラクタをもたない
    • private または protected の静的でないデータメンバをもたない
    • 基底クラスをもたない
    • 仮想関数をもたない
• クロージャ型 (closure types)^[8]
  • ラムダ式の型（クロージャオブジェクトの型）
• レイアウト互換型 (layout-comぃpatible types)^[5]
  • ２つの型 T1 と T2 が同じ型であるとき、この２つの型をこう呼ぶ
• 呼び出し可能型 (callable type)
  • () を使った呼び出しができる型
• 【C++17】プレースホルダー型 (placeholder types)^[6]
  • 型推論によって置き換えられるように、auto や decltype(auto) によって記述した型
• 【C++20】構造的型 (structural types)^[7]
  • スカラ型
  • lvalueリファレンス
  • 以下を満たすリテラルクラス型（リテラル型であるクラス型）
    • すべての基底クラスと静的でないデータメンバが、public であり変更不可であること
    • すべての基底クラスと静的でないデータメンバの型が、構造的型か配列型であること

参考リンク 🔗

• 1. C++ standard working draft N4140 §9 Classes - 6 | 14882: Contents
• 2. C++ standard working draft N4140 §9 Classes - 10 | 14882: Contents
• 3. C++ standard working draft N4140 §9 Classes - 7 | 14882: Contents
• 4.
  • (C++14) C++ standard working draft N4140 §3.9 Types - 10 | 14882: Contents
  • (C++17) C++ standard working draft N4659 §6.9 Types - 10 | 14882: Contents
  • (C++20) C++ standard working draft N4659 §6.8 Types - 10 | 14882: Contents
• 5. C++ standard working draft N4140 §9 Types - 11 | 14882: Contents
• 6. C++ standard working draft N4659 §10.1.7.4 The auto specifier - 1 | 14882: Contents
• 7. C++ standard working draft N4861 §13.2 Template parameters - 7 | 14882: Contents
• 8. C++ standard working draft N4140 §5.1.2 Lambda expressions - 3 | 14882: Contents
• C++ standard working draft N4140 §3.9 Types | 14882: Contents
• Type - cppreference.com
• Programming Place Plus　新C++編　参考書籍
  • 当サイトの参考書籍一覧ページ。C++　に関する書籍を多数紹介
• Programming Place Plus　新C++編　リンク集
  • 当サイトの参考Webサイト集。C++ の全般的な学習に有益なサイトを紹介

更新履歴 🔗

• ’2024/11/10
  • クロージャ型を追加
  • C++17 のプレースホルダー型を追加
  • C++20 の構造的型を追加
  • C++14、C++17、C++20 のリテラル型の要件を整理
• ’2022/11/24
  • 新規作成

新C++編のトップページへ

Programming Place Plus のトップページへ