<meta>

<meta>ヘッダでは、静的リフレクションのためのメタ関数群を定義する。リフレクション演算子^^で取得したstd::meta::info型の値を操作・検査するための機能を提供する。

このヘッダのすべての関数はconstevalであり、コンパイル時にのみ使用できる。

このヘッダでは、以下の標準ヘッダをインクルードする：

• <compare>
• <initializer_list>

リフレクション型

名前	説明	対応バージョン
info	リフレクションを表す型 (using info = decltype(^^::);)	C++26

コンセプト

名前	説明	対応バージョン
reflection_range	要素型がinfoであるRange (concept)	C++26

アクセス制御

名前	説明	対応バージョン
access_context	メンバ取得時のアクセス制御コンテキスト (class)	C++26

演算子

名前	説明	対応バージョン
operators	演算子の種類を表す列挙型 (enum class)	C++26
operator_of	演算子のリフレクションから演算子の種類を取得	C++26
symbol_of	演算子の種類から記号文字列を取得	C++26
u8symbol_of	演算子の種類から記号文字列をu8string_viewで取得	C++26

名前とソース位置

名前	説明	対応バージョン
has_identifier	識別子を持つかどうかを判定	C++26
identifier_of	識別子をstring_viewで取得	C++26
u8identifier_of	識別子をu8string_viewで取得	C++26
display_string_of	表示用の文字列をstring_viewで取得	C++26
u8display_string_of	表示用の文字列をu8string_viewで取得	C++26
source_location_of	ソース位置を取得	C++26

現在のスコープ

名前	説明	対応バージョン
current_function	呼び出し時点で囲んでいる関数のリフレクションを取得	C++26
current_class	呼び出し時点で囲んでいるクラスのリフレクションを取得	C++26
current_namespace	呼び出し時点で囲んでいる名前空間のリフレクションを取得	C++26

エンティティの性質

名前	説明	対応バージョン
type_of	型のリフレクションを取得	C++26
object_of	オブジェクトのリフレクションを取得	C++26
constant_of	定数のリフレクションを取得	C++26
dealias	エイリアスを解決する	C++26
has_parent	親スコープがあるかどうかを判定	C++26
parent_of	親スコープのリフレクションを取得	C++26

アクセス指定子

名前	説明	対応バージョン
is_public	publicであるか	C++26
is_protected	protectedであるか	C++26
is_private	privateであるか	C++26
is_accessible	指定したアクセスコンテキストでアクセス可能か	C++26
has_inaccessible_nonstatic_data_members	アクセス不可能なメンバ変数があるか	C++26
has_inaccessible_bases	アクセス不可能な基底クラスがあるか	C++26
has_inaccessible_subobjects	アクセス不可能な基底クラスまたはメンバ変数があるか	C++26

エンティティの分類

名前	説明	対応バージョン
is_variable	変数であるか	C++26
is_type	型であるか	C++26
is_namespace	名前空間であるか	C++26
is_type_alias	型エイリアスであるか	C++26
is_namespace_alias	名前空間エイリアスであるか	C++26
is_function	関数であるか	C++26
is_enumerator	列挙子であるか	C++26
is_value	値であるか	C++26
is_object	オブジェクトであるか	C++26
is_structured_binding	構造化束縛であるか	C++26
is_class_member	クラスメンバであるか	C++26
is_namespace_member	名前空間メンバであるか	C++26
is_nonstatic_data_member	メンバ変数であるか	C++26
is_static_member	静的メンバであるか	C++26
is_base	基底クラス関係であるか	C++26
is_function_parameter	関数パラメータであるか	C++26
is_template	テンプレートであるか	C++26
is_function_template	関数テンプレートであるか	C++26
is_variable_template	変数テンプレートであるか	C++26
is_class_template	クラステンプレートであるか	C++26
is_alias_template	エイリアステンプレートであるか	C++26
is_conversion_function_template	変換関数テンプレートであるか	C++26
is_operator_function_template	演算子関数テンプレートであるか	C++26
is_literal_operator_template	リテラル演算子テンプレートであるか	C++26
is_constructor_template	コンストラクタテンプレートであるか	C++26
is_concept	コンセプトであるか	C++26
is_complete_type	完全型であるか	C++26
is_enumerable_type	列挙可能型であるか	C++26

関数の分類

名前	説明	対応バージョン
is_conversion_function	変換関数であるか	C++26
is_operator_function	演算子関数であるか	C++26
is_literal_operator	リテラル演算子であるか	C++26
is_special_member_function	特殊メンバ関数であるか	C++26
is_constructor	コンストラクタであるか	C++26
is_default_constructor	デフォルトコンストラクタであるか	C++26
is_copy_constructor	コピーコンストラクタであるか	C++26
is_move_constructor	ムーブコンストラクタであるか	C++26
is_assignment	代入演算子であるか	C++26
is_copy_assignment	コピー代入演算子であるか	C++26
is_move_assignment	ムーブ代入演算子であるか	C++26
is_destructor	デストラクタであるか	C++26
is_deleted	= deleteされているか	C++26
is_defaulted	= defaultされているか	C++26
is_explicit	explicitであるか	C++26
is_noexcept	noexceptであるか	C++26
is_user_provided	ユーザー提供であるか	C++26
is_user_declared	ユーザー宣言であるか	C++26

関数パラメータの検査

名前	説明	対応バージョン
parameters_of	関数パラメータのリフレクションを取得	C++26
return_type_of	関数の戻り値型のリフレクションを取得	C++26
variable_of	パラメータ変数のリフレクションを取得	C++26
has_default_argument	デフォルト引数を持つか	C++26
is_vararg_function	可変長引数を持つか	C++26
is_explicit_object_parameter	明示的オブジェクトパラメータであるか	C++26

メンバの性質

名前	説明	対応バージョン
is_virtual	virtualであるか	C++26
is_pure_virtual	純粋仮想であるか	C++26
is_override	overrideであるか	C++26
is_final	finalであるか	C++26
is_const	const修飾されているか	C++26
is_volatile	volatile修飾されているか	C++26
is_mutable_member	mutableメンバであるか	C++26
is_lvalue_reference_qualified	左辺値参照修飾されているか	C++26
is_rvalue_reference_qualified	右辺値参照修飾されているか	C++26
is_bit_field	ビットフィールドであるか	C++26
has_default_member_initializer	デフォルトメンバ初期化子を持つか	C++26

記憶域とリンケージ

名前	説明	対応バージョン
has_static_storage_duration	静的記憶域期間を持つか	C++26
has_thread_storage_duration	スレッド記憶域期間を持つか	C++26
has_automatic_storage_duration	自動記憶域期間を持つか	C++26
has_internal_linkage	内部リンケージを持つか	C++26
has_module_linkage	モジュールリンケージを持つか	C++26
has_external_linkage	外部リンケージを持つか	C++26
has_c_language_linkage	C言語リンケージを持つか	C++26
has_linkage	リンケージを持つか	C++26

メンバ・基底クラスの取得

名前	説明	対応バージョン
members_of	すべてのメンバを取得	C++26
bases_of	基底クラスを取得	C++26
static_data_members_of	静的データメンバを取得	C++26
nonstatic_data_members_of	メンバ変数を取得	C++26
enumerators_of	列挙子を取得	C++26
subobjects_of	基底クラスとメンバ変数を統合して取得	C++26

テンプレート操作

名前	説明	対応バージョン
has_template_arguments	テンプレート引数を持つか	C++26
template_of	テンプレートのリフレクションを取得	C++26
template_arguments_of	テンプレート引数のリフレクションを取得	C++26
can_substitute	テンプレート引数が置換可能か判定	C++26
substitute	テンプレートにテンプレート引数を適用	C++26

レイアウト情報

名前	説明	対応バージョン
member_offset	メンバオフセットを表す型 (class)	C++26
offset_of	メンバのオフセットを取得	C++26
size_of	サイズを取得	C++26
alignment_of	アライメントを取得	C++26
bit_size_of	ビットサイズを取得	C++26

値の抽出と生成

名前	説明	対応バージョン
extract	リフレクションから値を抽出	C++26
reflect_constant	値からリフレクションを生成	C++26
reflect_object	オブジェクトからリフレクションを生成	C++26
reflect_function	関数からリフレクションを生成	C++26

集成体の定義

名前	説明	対応バージョン
data_member_options	データメンバの仕様を指定するオプション (class)	C++26
data_member_spec	データメンバの仕様を作成	C++26
is_data_member_spec	データメンバの仕様であるか	C++26
define_aggregate	集成体型を定義	C++26

静的ストレージへの配置

以下のdefine_static_*とis_string_literalはstd名前空間に定義される（std::meta名前空間ではない）。reflect_constant_*はstd::meta名前空間に定義される。

名前	説明	対応バージョン
define_static_string	コンパイル時文字列を静的ストレージに配置しconst CharT*を返す	C++26
define_static_array	コンパイル時配列を静的ストレージに配置しspan<const T>を返す	C++26
define_static_object	コンパイル時オブジェクトを静的ストレージに配置しconst T*を返す	C++26
reflect_constant_string	コンパイル時文字列のリフレクションを生成する	C++26
reflect_constant_array	コンパイル時配列のリフレクションを生成する	C++26
is_string_literal	ポインタが文字列リテラルを指しているかを判定する	C++26

アノテーション

名前	説明	対応バージョン
is_annotation	アノテーションであるか	C++26
annotations_of	すべてのアノテーションを取得	C++26
annotations_of_with_type	指定した型のアノテーションのみ取得	C++26

型特性（プライマリ型カテゴリ）

名前	説明	対応バージョン
is_void_type	void型か	C++26
is_null_pointer_type	nullptr_t型か	C++26
is_integral_type	整数型か	C++26
is_floating_point_type	浮動小数点数型か	C++26
is_array_type	配列型か	C++26
is_pointer_type	ポインタ型か	C++26
is_lvalue_reference_type	左辺値参照型か	C++26
is_rvalue_reference_type	右辺値参照型か	C++26
is_member_object_pointer_type	メンバオブジェクトポインタ型か	C++26
is_member_function_pointer_type	メンバ関数ポインタ型か	C++26
is_enum_type	列挙型か	C++26
is_union_type	共用体型か	C++26
is_class_type	クラス型か	C++26
is_function_type	関数型か	C++26
is_reflection_type	リフレクション型か	C++26

型特性（複合型カテゴリ）

名前	説明	対応バージョン
is_reference_type	参照型か	C++26
is_arithmetic_type	算術型か	C++26
is_fundamental_type	基本型か	C++26
is_object_type	オブジェクト型か	C++26
is_scalar_type	スカラ型か	C++26
is_compound_type	複合型か	C++26
is_member_pointer_type	メンバポインタ型か	C++26

型特性（型の性質）

名前	説明	対応バージョン
is_const_type	const型か	C++26
is_volatile_type	volatile型か	C++26
is_trivially_copyable_type	トリビアルコピー可能型か	C++26
is_standard_layout_type	スタンダードレイアウト型か	C++26
is_empty_type	空の型か	C++26
is_polymorphic_type	多態的型か	C++26
is_abstract_type	抽象型か	C++26
is_final_type	final型か	C++26
is_aggregate_type	集成体型か	C++26
is_signed_type	符号付き型か	C++26
is_unsigned_type	符号なし型か	C++26
is_bounded_array_type	境界付き配列型か	C++26
is_unbounded_array_type	境界なし配列型か	C++26
is_scoped_enum_type	スコープ付き列挙型か	C++26
is_constructible_type	構築可能型か	C++26
is_default_constructible_type	デフォルト構築可能型か	C++26
is_copy_constructible_type	コピー構築可能型か	C++26
is_move_constructible_type	ムーブ構築可能型か	C++26
is_assignable_type	代入可能型か	C++26
is_copy_assignable_type	コピー代入可能型か	C++26
is_move_assignable_type	ムーブ代入可能型か	C++26
is_swappable_with_type	指定型とのswap可能型か	C++26
is_swappable_type	swap可能型か	C++26
is_destructible_type	破棄可能型か	C++26
is_trivially_constructible_type	トリビアルに構築可能型か	C++26
is_trivially_default_constructible_type	トリビアルにデフォルト構築可能型か	C++26
is_trivially_copy_constructible_type	トリビアルにコピー構築可能型か	C++26
is_trivially_move_constructible_type	トリビアルにムーブ構築可能型か	C++26
is_trivially_assignable_type	トリビアルに代入可能型か	C++26
is_trivially_copy_assignable_type	トリビアルにコピー代入可能型か	C++26
is_trivially_move_assignable_type	トリビアルにムーブ代入可能型か	C++26
is_trivially_destructible_type	トリビアルに破棄可能型か	C++26
is_nothrow_constructible_type	例外を送出せずに構築可能型か	C++26
is_nothrow_default_constructible_type	例外を送出せずにデフォルト構築可能型か	C++26
is_nothrow_copy_constructible_type	例外を送出せずにコピー構築可能型か	C++26
is_nothrow_move_constructible_type	例外を送出せずにムーブ構築可能型か	C++26
is_nothrow_assignable_type	例外を送出せずに代入可能型か	C++26
is_nothrow_copy_assignable_type	例外を送出せずにコピー代入可能型か	C++26
is_nothrow_move_assignable_type	例外を送出せずにムーブ代入可能型か	C++26
is_nothrow_swappable_with_type	例外を送出せずに指定型とswap可能型か	C++26
is_nothrow_swappable_type	例外を送出せずにswap可能型か	C++26
is_nothrow_destructible_type	例外を送出せずに破棄可能型か	C++26
is_structural_type	構造的型か	C++26
is_implicit_lifetime_type	暗黙の生存期間型か	C++26
has_virtual_destructor	仮想デストラクタを持つか	C++26
has_unique_object_representations	一意なオブジェクト表現を持つか	C++26
reference_constructs_from_temporary	参照が一時オブジェクトから構築されるか	C++26
reference_converts_from_temporary	参照への変換が一時オブジェクトを経由するか	C++26

型特性（型プロパティクエリ）

名前	説明	対応バージョン
rank	配列型の次元数を取得	C++26
extent	配列型の指定次元の要素数を取得	C++26

型特性（型の関係）

名前	説明	対応バージョン
is_same_type	同じ型か	C++26
is_base_of_type	基底クラスであるか	C++26
is_virtual_base_of_type	仮想基底クラスであるか	C++26
is_convertible_type	変換可能か	C++26
is_nothrow_convertible_type	例外を送出せずに変換可能か	C++26
is_layout_compatible_type	レイアウト互換か	C++26
is_pointer_interconvertible_base_of_type	ポインタ相互変換可能な基底クラスか	C++26
is_invocable_type	呼び出し可能か	C++26
is_invocable_r_type	指定戻り値型で呼び出し可能か	C++26
is_nothrow_invocable_type	例外を送出せずに呼び出し可能か	C++26
is_nothrow_invocable_r_type	例外を送出せずに指定戻り値型で呼び出し可能か	C++26
is_applicable_type	tuple-like型の各要素を引数として呼び出し可能か	C++26
is_nothrow_applicable_type	tuple-like型の各要素を引数として例外を送出せずに呼び出し可能か	C++26

型変換

名前	説明	対応バージョン
remove_const	constを除去	C++26
remove_volatile	volatileを除去	C++26
remove_cv	CV修飾を除去	C++26
add_const	constを付加	C++26
add_volatile	volatileを付加	C++26
add_cv	CV修飾を付加	C++26
remove_reference	参照を除去	C++26
add_lvalue_reference	左辺値参照を付加	C++26
add_rvalue_reference	右辺値参照を付加	C++26
remove_cvref	CV修飾と参照を除去	C++26
remove_pointer	ポインタを除去	C++26
add_pointer	ポインタを付加	C++26
decay	配列・関数からポインタへの変換を適用	C++26
make_signed	符号付き型に変換	C++26
make_unsigned	符号なし型に変換	C++26
remove_extent	配列の次元を除去	C++26
remove_all_extents	配列のすべての次元を除去	C++26
common_type	共通型を取得	C++26
common_reference	共通参照型を取得	C++26
underlying_type	基底型を取得	C++26
invoke_result	呼び出し結果型を取得	C++26
apply_result	tuple-like型を引数として適用したときの結果型を取得	C++26
unwrap_reference	reference_wrapperを展開	C++26
unwrap_ref_decay	decay後にreference_wrapperを展開	C++26
tuple_size	tuple-like型の要素数を取得	C++26
tuple_element	tuple-like型の要素型を取得	C++26
variant_size	variant型の候補型の数を取得	C++26
variant_alternative	variant型の候補型を取得	C++26
type_order	型の順序を取得	C++26

エラー処理

名前	説明	対応バージョン
exception	リフレクションメタ関数のエラーを表す例外クラス (class)	C++26

バージョン

言語

• C++26

処理系

• Clang: ??
• GCC: 16 ✅
• Visual C++: ??

関連項目

• C++26 静的リフレクション
• C++26 コンパイル時のタプルやリストを展開処理するtemplate for文

参照

• P2996R13 Reflection for C++26
• P3394R4 Annotations for Reflection
• P3293R3 Splicing a base class subobject
• P3096R12 Function Parameter Reflection in Reflection for C++26
• P3491R3 define_static_{string,object,array}
• P3560R2 Error Handling in Reflection
• P3920R0 Wording for NB comment resolution on trivial relocation
  • C++26策定中に、trivially relocatable関係が一旦削除された
• LWG Issue 4555. Remove is_consteval_only
  • C++26で入る予定だったis_consteval_only_typeの追加が取り消された
• LWG Issue 4416. <meta> should include <compare>
  • C++26で、<meta>ヘッダが<compare>をインクルードするよう修正された。std::meta::type_orderなどがstrong_orderingを返すため