Experimental library header <experimental/reflect>

From cppreference.net

<experimental/execution>

Filesystem TS

<experimental/filesystem>

Parallelism TS (v1, v2)

`experimental/algorithm`
`experimental/execution_policy`
`experimental/exception_list`

`experimental/numeric`
`<experimental/simd>`
`experimental/task_block`

Library Fundamentals TS (v1, v2, v3)

`experimental/algorithm`
`<experimental/any>`
`experimental/array`
`experimental/chrono`
`experimental/deque`
`experimental/forward_list`
`<experimental/functional>`
`experimental/future`
`experimental/iterator`
`experimental/list`
`experimental/map`
`experimental/memory`
`<experimental/memory_resource>`
`experimental/numeric`
`<experimental/optional>`
`experimental/propagate_const`

`experimental/random`
`experimental/ratio`
`experimental/regex`
`experimental/scope`
`experimental/set`
`experimental/source_location`
`experimental/string`
`<experimental/string_view>`
`experimental/system_error`
`experimental/tuple`
`experimental/type_traits`
`experimental/unordered_map`
`experimental/unordered_set`
`experimental/utility`
`experimental/vector`

Concurrency TS

`experimental/atomic`
`experimental/barrier`

`experimental/future`
`experimental/latch`

Ranges TS

`<experimental/ranges/algorithm>`
`<experimental/ranges/concepts>`
`<experimental/ranges/functional>`
`<experimental/ranges/iterator>`

`<experimental/ranges/random>`
`<experimental/ranges/tuple>`
`<experimental/ranges/type_traits>`
`<experimental/ranges/utility>`

Coroutines TS


               experimental/coroutine

Networking TS

`experimental/buffer`
`experimental/executor`
`experimental/internet`
`experimental/io_context`

`<experimental/net>`
`experimental/netfwd`
`experimental/socket`
`experimental/timer`

Reflection TS

<experimental/reflect>

此头文件属于 Reflection TS 的一部分。

定义于命名空间


           std::experimental::reflect

定义于内联命名空间


           std::experimental::reflect::v1

namespace std::实验性::reflect {
inline namespace v1 {
// 21.12.3 元对象类型概念
template <class T>
concept Object = /* 查看描述 */;
template <class T>
concept ObjectSequence = /* 参见描述 */; // refines Object
template <class T>
concept TemplateParameterScope = /* 查看描述 */; // 精化作用域
template <class T>
concept Named = /* 查看描述 */;          // refines Object
template <class T>
concept Alias = /* 查看描述 */;          // 精化 Named 和 ScopeMember
template <class T>
concept RecordMember = /* 查看描述 */;   // 精化 ScopeMember
template <class T>
concept Enumerator = /* 查看描述 */;     // 精化常量
template <class T>
concept Variable = /* 查看描述 */;       // 精化 Typed 和 ScopeMember
template <class T>
concept ScopeMember = /* 查看描述 */;    // 精化 Named
template <class T>
concept Typed = /* 查看描述 */;          // refines Object
template <class T>
concept Namespace = /* 查看描述 */;      // 精化 Named 和 Scope
template <class T>
concept GlobalScope = /* 查看描述 */;    // refines Namespace
template <class T>
concept Class = /* 查看描述 */;          // 精化记录
template <class T>
concept Enum = /* 查看描述 */;           // refines Type, Scope, and ScopeMember
template <class T>
concept Record = /* 查看描述 */;         // 精炼 Type、Scope 和 ScopeMember
template <class T>
concept Scope = /* 查看描述 */;          // refines Object
template <class T>
concept Type = /* 查看描述 */;           // 精化 Named
template <class T>
concept Constant = /* 查看描述 */;       // 精化 Typed 和 ScopeMember
template <class T>
concept Base = /* 查看描述 */;           // refines Object
template <class T>
concept FunctionParameter = /* 查看描述 */; // 精化 Typed 和 ScopeMember
template <class T>
concept Callable = /* 查看描述 */;       // 精化 Scope 和 ScopeMember
template <class T>
concept Expression = /* 查看描述 */;     // refines Object
template <class T>
concept ParenthesizedExpression = /* 查看描述 */; // refines Expression
template <class T>
concept FunctionCallExpression = /* 查看描述 */; // refines Expression
template <class T>
concept FunctionalTypeConversion = /* 查看描述 */; // refines Expression
template <class T>
concept Function = /* 参见描述 */;       // 精炼 Typed 和 Callable
template <class T>
concept MemberFunction = /* 查看描述 */; // refines RecordMember and Function
template <class T>
concept SpecialMemberFunction = /* 查看描述 */; // refines RecordMember
template <class T>
concept Constructor = /* 查看描述 */;    // 精炼 Callable 和 RecordMember
template <class T>
concept Destructor = /* 查看描述 */;     // 精炼 Callable 和 SpecialMemberFunction
template <class T>
concept Operator = /* 查看描述 */;       // 精化函数
template <class T>
concept ConversionOperator = /* 查看描述 */; // refines MemberFunction and Operator
template <class T>
concept Lambda = /* 查看描述 */;         // 精化类型与作用域
template <class T>
concept LambdaCapture = /* 查看描述 */;  // refines Variable
// 21.12.4 元对象操作
// 多概念操作
template <Object T> struct is_public;
template <Object T> struct is_protected;
template <Object T> struct is_private;
template <Object T> struct is_constexpr;
template <Object T> struct is_static;
template <Object T> struct is_final;
template <Object T> struct is_explicit;
template <Object T> struct is_inline;
template <Object T> struct is_virtual;
template <Object T> struct is_pure_virtual;
template <Object T> struct get_pointer;
template <class T>
requires RecordMember<T> || Base<T>
  constexpr auto is_public_v = is_public<T>::值;
template <class T>
requires RecordMember<T> || Base<T>
  constexpr auto is_protected_v = is_protected<T>::值;
template <class T>
requires RecordMember<T> || Base<T>
  constexpr auto is_private_v = is_private<T>::值;
template <class T>
requires Variable<T> || Callable<T>
  constexpr auto is_constexpr_v = is_constexpr<T>::值;
template <class T>
requires Variable<T> || MemberFunction<T>
  constexpr auto is_static_v = is_static<T>::值;
template <class T>
requires Class<T> || MemberFunction<T>
  constexpr auto is_final_v = is_final<T>::值;
template <class T>
requires Constructor<T> || ConversionOperator<T>
  constexpr auto is_explicit_v = is_explicit<T>::值;
template <class T>
requires Namespace<T> || Callable<T>
  constexpr auto is_inline_v = is_inline<T>::值;
template <class T>
requires Base<T> || MemberFunction<T> || Destructor<T>
  constexpr auto is_virtual_v = is_virtual<T>::值;
template <class T>
requires MemberFunction<T> || Destructor<T>
  constexpr auto is_pure_virtual_v = is_pure_virtual<T>::值;
template <class T>
requires Variable<T> || Function<T>
  constexpr auto get_pointer_v = get_pointer<T>::值;
// 21.12.4.1 Object operations
template <Object T1, Object T2> struct reflects_same;
template <Object T> struct get_source_line;
template <Object T> struct get_source_column;
template <Object T> struct get_source_file_name;
template <Object T1, Object T2>
  constexpr auto reflects_same_v = reflects_same<T1, T2>::值;
template <class T>
  constexpr auto get_source_line_v = get_source_line<T>::值;
template <class T>
  constexpr auto get_source_column_v = get_source_column<T>::值;
template <class T>
  constexpr auto get_source_file_name_v = get_source_file_name<T>::值;
// 21.12.4.2 ObjectSequence 操作
template <ObjectSequence T> struct get_size;
template <size_t I, ObjectSequence T> struct get_element;
template <template <class...> class Tpl, ObjectSequence T>
  struct unpack_sequence;
template <ObjectSequence T>
  constexpr auto get_size_v = get_size<T>::值;
template <size_t I, ObjectSequence T>
  using get_element_t = typename get_element<I, T>::type;
template <template <class...> class Tpl, ObjectSequence T>
  using unpack_sequence_t = typename unpack_sequence<Tpl, T>::type;
// 21.12.4.3 命名操作
template <Named T> struct is_unnamed;
template <Named T> struct get_name;
template <Named T> struct get_display_name;
template <Named T>
  constexpr auto is_unnamed_v = is_unnamed<T>::值;
template <Named T>
  constexpr auto get_name_v = get_name<T>::值;
template <Named T>
  constexpr auto get_display_name_v = get_display_name<T>::值;
// 21.12.4.4 别名操作
template <Alias T> struct get_aliased;
template <Alias T>
  using get_aliased_t = typename get_aliased<T>::type;
// 21.12.4.5 类型操作
template <Typed T> struct get_type;
template <Type T> struct get_reflected_type;
template <Type T> struct is_enum;
template <Class T> struct uses_class_key;
template <Class T> struct uses_struct_key;
template <Type T> struct is_union;
template <Typed T>
  using get_type_t = typename get_type<T>::type;
template <Type T>
  using get_reflected_type_t = typename get_reflected_type<T>::type;
template <Type T>
  constexpr auto is_enum_v = is_enum<T>::值;
template <Class T>
  constexpr auto uses_class_key_v = uses_class_key<T>::值;
template <Class T>
  constexpr auto uses_struct_key_v = uses_struct_key<T>::值;
template <Type T>
  constexpr auto is_union_v = is_union<T>::值;
// 21.12.4.6 成员操作
template <ScopeMember T> struct get_scope;
template <RecordMember T> struct is_public<T>;
template <RecordMember T> struct is_protected<T>;
template <RecordMember T> struct is_private<T>;
template <ScopeMember T>
  using get_scope_t = typename get_scope<T>::type;
// 21.12.4.7 Record operations
template <Record T> struct get_public_data_members;
template <Record T> struct get_accessible_data_members;
template <Record T> struct get_data_members;
template <Record T> struct get_public_member_functions;
template <Record T> struct get_accessible_member_functions;
template <Record T> struct get_member_functions;
template <Record T> struct get_public_member_types;
template <Record T> struct get_accessible_member_types;
template <Record T> struct get_member_types;
template <Record T> struct get_constructors;
template <Record T> struct get_destructor;
template <Record T> struct get_operators;
template <Class T> struct get_public_base_classes;
template <Class T> struct get_accessible_base_classes;
template <Class T> struct get_base_classes;
template <Class T> struct is_final<T>;
template <Record T>
  using get_public_data_members_t = typename get_public_data_members<T>::type;
template <Record T>
  using get_accessible_data_members_t = typename get_accessible_data_members<T>::type;
template <Record T>
  using get_data_members_t = typename get_data_members<T>::type;
template <Record T>
  using get_public_member_functions_t = typename get_public_member_functions<T>::type;
template <Record T>
  using get_accessible_member_functions_t = typename get_accessible_member_functions<T>::type;
template <Record T>
  using get_member_functions_t = typename get_member_functions<T>::type;
template <Record T>
  using get_public_member_types_t = typename get_public_member_types<T>::type;
template <Record T>
  using get_accessible_member_types_t = typename get_accessible_member_types<T>::type;
template <Record T>
  using get_member_types_t = typename get_member_types<T>::type;
template <Record T>
  using get_constructors_t = typename get_constructors<T>::type;
template <Record T>
  using get_destructor_t = typename get_destructor<T>::type;
template <Record T>
  using get_operators_t = typename get_operators<T>::type;
template <Class T>
  using get_public_base_classes_t = typename get_public_base_classes<T>::type;
template <Class T>
  using get_accessible_base_classes_t = typename get_accessible_base_classes<T>::type;
template <Class T>
  using get_base_classes_t = typename get_base_classes<T>::type;
// 21.12.4.8 枚举操作
template <Enum T> struct is_scoped_enum;
template <Enum T> struct get_enumerators;
template <Enum T> struct get_underlying_type;
template <Enum T>
  constexpr auto is_scoped_enum_v = is_scoped_enum<T>::值;
template <Enum T>
  using get_enumerators_t = typename get_enumerators<T>::type;
template <Enum T>
  using get_underlying_type_t = typename get_underlying_type<T>::type;
// 21.12.4.9 值操作
template <Constant T> struct get_constant;
template <Variable T> struct is_constexpr<T>;
template <Variable T> struct is_static<T>;
template <Variable T> struct is_thread_local;
template <Variable T> struct get_pointer<T>;
template <Constant T>
  constexpr auto get_constant_v = get_constant<T>::值;
template <Variable T>
  constexpr auto is_thread_local_v = is_thread_local<T>::值;
// 21.12.4.10 基础操作
template <Base T> struct get_class;
template <Base T> struct is_virtual<T>;
template <Base T> struct is_public<T>;
template <Base T> struct is_protected<T>;
template <Base T> struct is_private<T>;
template <Base T>
  using get_class_t = typename get_class<T>::type;
// 21.12.4.11 命名空间操作
template <Namespace T> struct is_inline<T>;
// 21.12.4.12 FunctionParameter operations
template <FunctionParameter T> struct has_default_argument;
template <FunctionParameter T>
  constexpr auto has_default_argument_v = has_default_argument<T>::值;
// 21.12.4.13 可调用操作
template <Callable T> struct get_parameters;
template <Callable T> struct is_vararg;
template <Callable T> struct is_constexpr<T>;
template <Callable T> struct is_noexcept;
template <Callable T> struct is_inline<T>;
template <Callable T> struct is_deleted;
template <Callable T>
  using get_parameters_t = typename get_parameters<T>::type;
template <Callable T>
  constexpr auto is_vararg_v = is_vararg<T>::值;
template <Callable T>
  constexpr auto is_deleted_v = is_deleted<T>::值;
// 21.12.4.14 圆括号表达式操作
template <ParenthesizedExpression T> struct get_subexpression;
template <ParenthesizedExpression T>
  using get_subexpression_t = typename get_subexpression<T>::type;
// 21.12.4.15 FunctionCallExpression operations
template <FunctionCallExpression T> struct get_callable;
template <FunctionCallExpression T>
  using get_callable_t = typename get_callable<T>::type;
// 21.12.4.16 FunctionalTypeConversion operations
template <FunctionalTypeConversion T> struct get_constructor;
template <FunctionalTypeConversion T>
  using get_constructor_t = typename get_constructor<T>::type;
// 21.12.4.17 函数操作
template <Function T> struct get_pointer<T>;
// 21.12.4.18 MemberFunction operations
template <MemberFunction T> struct is_static<T>;
template <MemberFunction T> struct is_const;
template <MemberFunction T> struct is_volatile;
template <MemberFunction T> struct has_lvalueref_qualifier;
template <MemberFunction T> struct has_rvalueref_qualifier;
template <MemberFunction T> struct is_virtual<T>;
template <MemberFunction T> struct is_pure_virtual<T>;
template <MemberFunction T> struct is_override;
template <MemberFunction T> struct is_final<T>;
template <MemberFunction T>
  constexpr auto is_const_v = is_const<T>::值;
template <MemberFunction T>
  constexpr auto is_volatile_v = is_volatile<T>::值;
template <MemberFunction T>
  constexpr auto has_lvalueref_qualifier_v = has_lvalueref_qualifier<T>::值;
template <MemberFunction T>
  constexpr auto has_rvalueref_qualifier_v = has_rvalueref_qualifier<T>::值;
template <MemberFunction T>
  constexpr auto is_override_v = is_override<T>::值;
// 21.12.4.19 特殊成员函数操作
template <SpecialMemberFunction T> struct is_implicitly_declared;
template <SpecialMemberFunction T> struct is_defaulted;
template <SpecialMemberFunction T>
  constexpr auto is_implicitly_declared_v = is_implicitly_declared<T>::值;
template <SpecialMemberFunction T>
  constexpr auto is_defaulted_v = is_defaulted<T>::值;
// 21.12.4.20 构造函数操作
template <Constructor T> struct is_explicit<T>;
// 21.12.4.21 析构函数操作
template <Destructor T> struct is_virtual<T>;
template <Destructor T> struct is_pure_virtual<T>;
// 21.12.4.22 ConversionOperator operations
template <ConversionOperator T> struct is_explicit<T>;
// 21.12.4.23 Lambda operations
template <Lambda T> struct get_captures;
template <Lambda T> struct uses_default_copy_capture;
template <Lambda T> struct uses_default_reference_capture;
template <Lambda T> struct is_call_operator_const;
template <Lambda T>
  using get_captures_t = typename get_captures<T>::type;
template <Lambda T>
  constexpr auto uses_default_copy_capture_v = uses_default_copy_capture<T>::值;
template <Lambda T>
  constexpr auto uses_default_reference_capture_v = uses_default_reference_capture<T>::值;
template <Lambda T>
  constexpr auto is_call_operator_const_v = is_call_operator_const<T>::值;
// 21.12.4.24 LambdaCapture operations
template <LambdaCapture T> struct is_explicitly_captured;
template <LambdaCapture T> struct is_init_capture;
template <LambdaCapture T>
  constexpr auto is_explicitly_captured_v = is_explicitly_captured<T>::值;
template <LambdaCapture T>
  constexpr auto is_init_capture_v = is_init_capture<T>::值;
} // inline namespace v1
} // namespace std::experimental::reflect

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Diagnostics library
Memory management library
Metaprogramming library (C++11)
General utilities library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Technical specifications
Symbols index
External libraries

cppreference.net

Namespaces

Variants

Experimental library header <experimental/reflect>

目录

概念

类

`Object` 操作

`ObjectSequence` 操作

`Named` 操作

`Alias` operations

`Type` 操作

`ScopeMember` 操作

`Base` 操作

`RecordMember` 和 `Base` 操作

`Record` 操作

`Enum` 操作

`Variable` 操作

`FunctionParameter` 操作

`Callable` 操作

`Variable` 与 `Callable` 操作

`Namespace` 与 `Callable` 操作

`ParenthesizedExpression` 操作

`FunctionCallExpression` 操作

`FunctionalTypeConversion` 操作

`Variable` 和 `Function` 操作

`MemberFunction` 操作

`Record` 与 `MemberFunction` 操作

`Variable` 和 `MemberFunction` 操作

`SpecialMemberFunction` 操作

`Constructor` 和 `ConversionOperator` 操作

`MemberFunction` 和 `Destructor` 操作

`Lambda` 操作

`LambdaCapture` 操作

概要

cppreference.net

Namespaces

Variants

Experimental library header <experimental/reflect>

目录

概念

类

Object 操作

ObjectSequence 操作

Named 操作

Alias operations

Type 操作

ScopeMember 操作

Base 操作

RecordMember 和 Base 操作

Record 操作

Enum 操作

Variable 操作

FunctionParameter 操作

Callable 操作

Variable 与 Callable 操作

Namespace 与 Callable 操作

ParenthesizedExpression 操作

FunctionCallExpression 操作

FunctionalTypeConversion 操作

Variable 和 Function 操作

MemberFunction 操作

Record 与 MemberFunction 操作

Variable 和 MemberFunction 操作

SpecialMemberFunction 操作

Constructor 和 ConversionOperator 操作

MemberFunction 和 Destructor 操作

Lambda 操作

LambdaCapture 操作

概要

`Object` 操作

`ObjectSequence` 操作

`Named` 操作

`Alias` operations

`Type` 操作

`ScopeMember` 操作

`Base` 操作

`RecordMember` 和 `Base` 操作

`Record` 操作

`Enum` 操作

`Variable` 操作

`FunctionParameter` 操作

`Callable` 操作

`Variable` 与 `Callable` 操作

`Namespace` 与 `Callable` 操作

`ParenthesizedExpression` 操作

`FunctionCallExpression` 操作

`FunctionalTypeConversion` 操作

`Variable` 和 `Function` 操作

`MemberFunction` 操作

`Record` 与 `MemberFunction` 操作

`Variable` 和 `MemberFunction` 操作

`SpecialMemberFunction` 操作

`Constructor` 和 `ConversionOperator` 操作

`MemberFunction` 和 `Destructor` 操作

`Lambda` 操作

`LambdaCapture` 操作