std::experimental::reflect::ObjectSequence

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS 功能特性

模式匹配

线性代数

std::execution

契约

2D 图形

 

反射扩展

概念
Object ObjectSequence TemplateParameterScope      Named Alias RecordMember Enumerator Variable ScopeMember	Typed Namespace GlobalScope      Class Enum Record Scope Type Constant	Base FunctionParameter Callable Expression ParenthesizedExpression FunctionCallExpression FunctionalTypeConversion      Function	MemberFunction SpecialMemberFunction Constructor Destructor 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 Type 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 bool ObjectSequence = Object<T> && /* 见下文 */;		(反射 TS)

ObjectSequence 概念为元对象序列类型所满足。

元对象序列类型是从生成序列的元对象操作（如 get_data_members）获得的元对象类型。元对象序列类型中的每个元素均为元对象类型。

示例

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS 功能特性

模式匹配

线性代数

std::execution

契约

2D 图形

 

反射扩展

概念
Object ObjectSequence TemplateParameterScope      Named Alias RecordMember Enumerator Variable ScopeMember	Typed Namespace GlobalScope      Class Enum Record Scope Type Constant	Base FunctionParameter Callable Expression ParenthesizedExpression FunctionCallExpression FunctionalTypeConversion      Function	MemberFunction SpecialMemberFunction Constructor Destructor 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 Type 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 ObjectSequence = Object<T> && /* see below */;		(反射 TS)

The ObjectSequence concept is satisfied by meta-object sequence types.

A meta-object sequence type is a meta-object type that is obtained from a meta-object operation that generates a sequence, e.g. get_data_members. Each element of a meta-object sequence type is a meta-object type.

Example

运行此代码

#include<cmath>
#include<experimental/reflect>
#include<tuple>
#include<type_traits>

namespace reflect = std::experimental::reflect;

template<reflect::Typed... Ms>
using tuple_from_seq_t = std::tuple<reflect::get_reflected_type_t<
    reflect::get_type_t<Ms>>...>;

template<reflect::Record T>
using collect_tuple = reflect::unpack_sequence_t<
    tuple_from_seq_t,
    reflect::get_data_members_t<T>>;

int main()
{
    static_assert(reflect::ObjectSequence<
                      reflect::get_data_members<reflexpr(std::div_t)>>, "");
    static_assert(std::is_same<collect_tuple<reflexpr(std::div_t)>,
                               std::tuple<int, int>>::value, "");
}