RecordMember
, Enumerator
, or Variable
, or reflects a namespace other than the global namespace
get_base_classes
Object
operations checks if two meta-object types reflect the same entity or alias
ObjectSequence
operations obtains the size of a meta-object sequence
Named
operations checks if the reflected entity or alias is named
Alias
operations obtains the meta-object type reflecting the associated entity of the reflected alias
Type
operations obtains the meta-object type reflecting the type of the reflected entity or alias
ScopeMember
operations obtains the meta-object type reflecting the scope of the reflected entity or alias
Base
operations obtains the meta-object type reflecting the base class in the given base class relationship
RecordMember
and Base
operations checks if the reflected member or base class is public
Record
operations obtains a meta-object sequence type whose elements reflect public, accessible, or all data members of the reflected class
Enum
operations checks whether the reflected enumeration is scoped
Variable
operations obtains the value of the reflected variable which is a constant expression
FunctionParameter
operations checks whether the reflected parameter has a default argument
Callable
operations obtains a meta-object sequence type whose elements reflects the parameters of the reflected function
Variable
and Callable
operations checks if the reflected variable or function is constexpr
Namespace
and Callable
operations checks whether the reflected namespace or function is inline
ParenthesizedExpression
operations obtains the meta-object type reflecting the unparenthesized expression of the reflected parethesized expression
FunctionCallExpression
operations obtains the meta-object type reflecting the function in the reflected function-call-expression
FunctionalTypeConversion
operations obtains the meta-object type reflecting the constructor in reflected functional-type-conv-expression
Variable
and Function
operations get the address of the reflected variable or function, or the pointer-to-member value to the reflected non-static member
MemberFunction
operations checks if the reflected member function is declared with const, volatile, &, or && qualifier respectively
Record
and MemberFunction
operations checks if the reflected class or member function is marked with final
Variable
and MemberFunction
operations checks if the reflected variable is of static storage duration, or the reflected member function is static
SpecialMemberFunction
operations checks if the reflected special member function is implicitly declared
Constructor
and ConversionOperator
operations checks if the reflected constructor or conversion function is declared with explicit
MemberFunction
and Destructor
operations checks if the reflected member function is virtual
Lambda
operations obtains a meta-object sequence type whose elements reflect the captures of the reflected closure type
=
or &
respectively
operator()
of the reflected closure type is declared with const
LambdaCapture
operations checks if the reflected lambda capture is explicitly captured
namespace std::experimental::reflect { inline namespace v1 { // 21.12.3 Concepts for meta-object types template <class T> concept Object = /* see description */; template <class T> concept ObjectSequence = /* see description */; // refines Object template <class T> concept TemplateParameterScope = /* see description */; // refines Scope template <class T> concept Named = /* see description */; // refines Object template <class T> concept Alias = /* see description */; // refines Named and ScopeMember template <class T> concept RecordMember = /* see description */; // refines ScopeMember template <class T> concept Enumerator = /* see description */; // refines Constant template <class T> concept Variable = /* see description */; // refines Typed and ScopeMember template <class T> concept ScopeMember = /* see description */; // refines Named template <class T> concept Typed = /* see description */; // refines Object template <class T> concept Namespace = /* see description */; // refines Named and Scope template <class T> concept GlobalScope = /* see description */; // refines Namespace template <class T> concept Class = /* see description */; // refines Record template <class T> concept Enum = /* see description */; // refines Type, Scope, and ScopeMember template <class T> concept Record = /* see description */; // refines Type, Scope, and ScopeMember template <class T> concept Scope = /* see description */; // refines Object template <class T> concept Type = /* see description */; // refines Named template <class T> concept Constant = /* see description */; // refines Typed and ScopeMember template <class T> concept Base = /* see description */; // refines Object template <class T> concept FunctionParameter = /* see description */; // refines Typed and ScopeMember template <class T> concept Callable = /* see description */; // refines Scope and ScopeMember template <class T> concept Expression = /* see description */; // refines Object template <class T> concept ParenthesizedExpression = /* see description */; // refines Expression template <class T> concept FunctionCallExpression = /* see description */; // refines Expression template <class T> concept FunctionalTypeConversion = /* see description */; // refines Expression template <class T> concept Function = /* see description */; // refines Typed and Callable template <class T> concept MemberFunction = /* see description */; // refines RecordMember and Function template <class T> concept SpecialMemberFunction = /* see description */; // refines RecordMember template <class T> concept Constructor = /* see description */; // refines Callable and RecordMember template <class T> concept Destructor = /* see description */; // refines Callable and SpecialMemberFunction template <class T> concept Operator = /* see description */; // refines Function template <class T> concept ConversionOperator = /* see description */; // refines MemberFunction and Operator template <class T> concept Lambda = /* see description */; // refines Type and Scope template <class T> concept LambdaCapture = /* see description */; // refines Variable // 21.12.4 Meta-object operations // Multi-concept operations 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>::value; template <class T> requires RecordMember<T> || Base<T> constexpr auto is_protected_v = is_protected<T>::value; template <class T> requires RecordMember<T> || Base<T> constexpr auto is_private_v = is_private<T>::value; template <class T> requires Variable<T> || Callable<T> constexpr auto is_constexpr_v = is_constexpr<T>::value; template <class T> requires Variable<T> || MemberFunction<T> constexpr auto is_static_v = is_static<T>::value; template <class T> requires Class<T> || MemberFunction<T> constexpr auto is_final_v = is_final<T>::value; template <class T> requires Constructor<T> || ConversionOperator<T> constexpr auto is_explicit_v = is_explicit<T>::value; template <class T> requires Namespace<T> || Callable<T> constexpr auto is_inline_v = is_inline<T>::value; template <class T> requires Base<T> || MemberFunction<T> || Destructor<T> constexpr auto is_virtual_v = is_virtual<T>::value; template <class T> requires MemberFunction<T> || Destructor<T> constexpr auto is_pure_virtual_v = is_pure_virtual<T>::value; template <class T> requires Variable<T> || Function<T> constexpr auto get_pointer_v = get_pointer<T>::value; // 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>::value; template <class T> constexpr auto get_source_line_v = get_source_line<T>::value; template <class T> constexpr auto get_source_column_v = get_source_column<T>::value; template <class T> constexpr auto get_source_file_name_v = get_source_file_name<T>::value; // 21.12.4.2 ObjectSequence operations 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>::value; 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 Named operations 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>::value; template <Named T> constexpr auto get_name_v = get_name<T>::value; template <Named T> constexpr auto get_display_name_v = get_display_name<T>::value; // 21.12.4.4 Alias operations template <Alias T> struct get_aliased; template <Alias T> using get_aliased_t = typename get_aliased<T>::type; // 21.12.4.5 Type operations 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>::value; template <Class T> constexpr auto uses_class_key_v = uses_class_key<T>::value; template <Class T> constexpr auto uses_struct_key_v = uses_struct_key<T>::value; template <Type T> constexpr auto is_union_v = is_union<T>::value; // 21.12.4.6 Member operations 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 Enum operations 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>::value; 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 Value operations 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>::value; template <Variable T> constexpr auto is_thread_local_v = is_thread_local<T>::value; // 21.12.4.10 Base operations 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 Namespace operations 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>::value; // 21.12.4.13 Callable operations 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>::value; template <Callable T> constexpr auto is_deleted_v = is_deleted<T>::value; // 21.12.4.14 ParenthesizedExpression operations 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 Function operations 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>::value; template <MemberFunction T> constexpr auto is_volatile_v = is_volatile<T>::value; template <MemberFunction T> constexpr auto has_lvalueref_qualifier_v = has_lvalueref_qualifier<T>::value; template <MemberFunction T> constexpr auto has_rvalueref_qualifier_v = has_rvalueref_qualifier<T>::value; template <MemberFunction T> constexpr auto is_override_v = is_override<T>::value; // 21.12.4.19 SpecialMemberFunction operations 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>::value; template <SpecialMemberFunction T> constexpr auto is_defaulted_v = is_defaulted<T>::value; // 21.12.4.20 Constructor operations template <Constructor T> struct is_explicit<T>; // 21.12.4.21 Destructor operations 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>::value; template <Lambda T> constexpr auto uses_default_reference_capture_v = uses_default_reference_capture<T>::value; template <Lambda T> constexpr auto is_call_operator_const_v = is_call_operator_const<T>::value; // 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>::value; template <LambdaCapture T> constexpr auto is_init_capture_v = is_init_capture<T>::value; } // inline namespace v1 } // namespace std::experimental::reflect
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4