std::experimental::reflect::Expression

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (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) 作用域 类型 常量 (Constant)	基类 (Base) 函数参数 (FunctionParameter) 可调用 (Callable) 表达式 (Expression) 带括号的表达式 (ParenthesizedExpression) 函数调用表达式 (FunctionCallExpression) 函数式类型转换 (FunctionalTypeConversion)      函数 (Function)	成员函数 (MemberFunction) 特殊成员函数 (SpecialMemberFunction) 构造函数 (Constructor) 析构函数 运算符 (Operator) 转换运算符 (ConversionOperator) Lambda (Lambda) 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 (Lambda) get_captures uses_default_copy_captureuses_default_reference_capture is_call_operator_const Lambda 捕获 (LambdaCapture) is_explicitly_captured is_init_capture

 

定义于头文件 <experimental/reflect>
template< class T > concept Expression = Object<T> && /* 参见下文 */;		(反射 TS)

当且仅当 T 反射一个表达式时，才满足 Expression 概念。