std::experimental::reflect::Function

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

リフレクション拡張

コンセプト
Object ObjectSequence TemplateParameterScope      Named Alias RecordMember Enumerator Variable ScopeMember	Typed Namespace GlobalScope      Class Enum Record スコープ 型 Constant	Base FunctionParameter Callable Expression ParenthesizedExpression FunctionCallExpression FunctionalTypeConversion      Function	MemberFunction SpecialMemberFunction Constructor デストラクタ Operator ConversionOperator Lambda LambdaCapture
メタオブジェクト操作
Object reflects_same get_source_line get_source_column get_source_file_name ObjectSequence get_size get_element unpack_sequence Named is_unnamed get_name get_display_name Alias get_alias 型 get_type get_reflected_type is_enum is_union uses_class_keyuses_struct_key ScopeMember get_scope	RecordMember と Base is_public is_protected is_private Record get_public_data_membersget_accessible_data_membersget_data_members get_public_member_functionsget_accessible_member_functionsget_member_functions      get_constructors get_operators get_destructor get_public_member_typesget_accessible_member_typesget_member_types get_public_base_classesget_accessible_base_classesget_base_classes Enum is_scoped_enum get_enumerators get_underlying_type	Variable get_constant is_thread_local FunctionParameter has_default_argument Callable get_parameters is_vararg is_noexcept is_deleted Variable と Callable is_constexpr Namespace と Callable is_inline ParenthesizedExpression get_subexpression FunctionCallExpression get_callable FunctionalConversion get_constructor Variable と Function get_pointer	MemberFunction is_constis_volatilehas_lvalueref_qualifierhas_rvalueref_qualifier is_override is_implicitly_declared is_defaulted is_explicit is_virtual is_pure_virtual Record と MemberFunction is_final Variable と MemberFunction is_static Lambda get_captures uses_default_copy_captureuses_default_reference_capture is_call_operator_const LambdaCapture is_explicitly_captured is_init_capture

 

ヘッダ <experimental/reflect> で定義
template< class T > concept Function = Callable<T> && Typed<T> && /* 下記参照 */;		(reflection TS)

Functionコンセプトは、Tがコンストラクタとデストラクタを除いた関数を反映している場合にのみ満たされます。