std::meta::is_enumerable_type

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

元编程库

类型特征

编译时有理数算术

Compile-time integer sequences

integer_sequence (C++14)

编译时反射 (C++26)

 

反射库

{{nv h2|[[cpp/meta/reflection#反射名字和位置|名字和位置}}}} 检查字符串字面量 is_string_literal 辅助类型 info tuple_size tuple_element is_applicable_type is_nothrow_applicable_type      apply_result variant_size variant_alternative type_order exception 提升为静态存储 reflect_constant_string reflect_constant_array define_static_string define_static_array define_static_object 运算符表示 operators operator_of symbol_of u8symbol_of has_identifier identifier_of u8identifier_of display_string_of u8display_string_of source_location_of 反射查询 ➜ 访问控制上下文 access_context

成员可访问性查询 is_accessible has_inaccessible_nonstatic_   data_members has_inaccessible_bases has_inaccessible_subobjects      作用域识别 current_function current_class current_namespace 反射成员查询 members_of bases_of static_data_members_of nonstatic_data_members_of subobjects_of enumerators_of 标注反射 annotations_of annotations_of_with_type 值提取 extract 反射代换 reflection_range can_substitute substitute 表达式结果反射 reflect_constant reflect_object reflect_function 类定义生成 data_member_options data_member_spec is_data_member_spec define_aggregate

基础类型类别 is_void_type is_null_pointer_type is_integral_type is_floating_point_type is_array_type is_pointer_type is_lvalue_reference_type is_rvalue_reference_type is_member_object_pointer_type is_member_function_pointer_type      is_enum_type is_union_type is_class_type is_function_type is_reflection_type 复合类型类别 is_reference_type is_arithmetic_type is_fundamental_type is_object_type is_scalar_type is_compound_type is_member_pointer_type 类型属性 ➜ 类型关系 is_same_type is_base_of_type is_virtual_base_of_type is_convertible_type is_nothrow_convertible_type is_layout_compatible_type is_pointer_interconvertible_   base_of_type is_invocable_type is_invocable_r_type is_nothrow_invocable_type is_nothrow_invocable_r_type

常性/易变性修改 remove_const remove_volatile remove_cv add_const add_volatile add_cv 引用修改 remove_reference add_lvalue_reference add_rvalue_reference 符号性修改 make_signed make_unsigned 数组修改 remove_extent remove_all_extents 指针修改 remove_pointer add_pointer 其他变换 remove_cvref decay common_type common_reference underlying_type invoke_result unwrap_reference unwrap_ref_decay

 

反射类型与查询

反射查询 type_of object_of constant_of is_public is_protected is_private is_virtual is_pure_virtual is_override is_final is_deleted is_defaulted is_user_provided is_user_declared is_explicit is_noexcept is_bit_field is_enumerator is_annotation is_const is_volatile is_mutable_member is_lvalue_reference_qualified is_rvalue_reference_qualified has_static_storage_duration has_thread_storage_duration has_automatic_storage_duration      has_internal_linkage has_module_linkage has_external_linkage has_c_language_linkage has_linkage is_complete_type is_enumerable_type is_variable is_type is_namespace is_type_alias is_namespace_alias is_function is_conversion_function is_operator_function is_literal_operator is_special_member_function is_constructor is_default_constructor is_copy_constructor

is_move_constructor is_assignment is_copy_assignment is_move_assignment is_destructor is_function_parameter is_explicit_object_parameter has_default_argument is_vararg_function is_template is_function_template is_variable_template is_class_template is_alias_template is_conversion_function_template      is_operator_function_template is_literal_operator_template is_constructor_template is_concept is_value is_object is_structured_binding is_class_member is_namespace_member is_nonstatic_data_member is_static_member is_base has_default_member_initializer has_parent parent_of dealias has_template_arguments template_of template_arguments_of parameters_of variable_of return_type_of 反射布局查询 member_offset offset_of size_of alignment_of bit_size_of 类型属性 is_const_type is_volatile_type is_trivially_copyable_type

is_standard_layout_type is_empty_type is_polymorphic_type is_abstract_type is_final_type is_aggregate_type is_structural_type is_signed_type is_unsigned_type is_bounded_array_type is_unbounded_array_type is_scoped_enum_type is_constructible_type is_default_constructible_type is_copy_constructible_type is_move_constructible_type is_assignable_type is_copy_assignable_type is_move_assignable_type is_swappable_with_type is_swappable_type is_destructible_type is_trivially_constructible_type is_trivially_default_constructible_type is_trivially_copy_constructible_type is_trivially_move_constructible_type is_trivially_assignable_type is_trivially_copy_assignable_type is_trivially_move_assignable_type is_trivially_destructible_type is_nothrow_constructible_type is_nothrow_default_constructible_type is_nothrow_copy_constructible_type is_nothrow_move_constructible_type is_nothrow_assignable_type is_nothrow_copy_assignable_type is_nothrow_move_assignable_type is_nothrow_swappable_with_type is_nothrow_swappable_type is_nothrow_destructible_type is_implicit_lifetime_type has_virtual_destructor has_unique_object_representations reference_constructs_from_temporary reference_converts_from_temporary 类型属性查询 rank extent

 

在标头 <meta> 定义
consteval bool is_enumerable_type( std::meta::info r );		(C++26 起)

判断 r 是否表示一个完整的类类型，或者一个枚举项列表已完全定义的枚举类型，或者它们的类型别名。

形式上，如果满足以下条件，则类型 T 从点 P 起是``可枚举的``：

• T 是在点 P 处完整的类类型，或者
• T 是由声明 D 定义的枚举类型，使得从 P 可达 D，并且 P 不位于 D 的枚举说明符 内部。

参数

r

-

一个反射值

返回值

如果 std::meta::dealias(r) 表示的类型在求值上下文中的某个点上是可枚举的，则返回 true，否则返回 false

注解

标准反射函数要求一个类型是可枚举的，以便获取其基类、成员或枚举项的列表。

示例

运行此代码

#include <meta>

struct A; // 不完整类型
static_assert(std::meta::is_enumerable_type(^^A) == false);

struct B {}; // 完整类型
static_assert(std::meta::is_enumerable_type(^^B) == true);

template <typename>
struct C; // 不完整的类模板
static_assert(std::meta::is_enumerable_type(^^C<long>) == false);

template <>
struct C<int> {}; // 完整的显式模板特化
static_assert(std::meta::is_enumerable_type(^^C<int>) == true);

template <>
struct C<long>; // 不完整的显式模板特化
static_assert(std::meta::is_enumerable_type(^^C<long>) == false);

enum class E;
static_assert(std::meta::is_enumerable_type(^^E) == false);

enum class E { e };
static_assert(std::meta::is_enumerable_type(^^E) == true);
static_assert(std::meta::is_enumerable_type(^^E::e) == false);

union U;
static_assert(std::meta::is_enumerable_type(^^U) == false);

union U { int i; short j; };
static_assert(std::meta::is_enumerable_type(^^U) == true);

int main() {}

参阅

is_complete_type (C++26)

检查反射是否表示个完整类型 (函数)