std::is_structural

 

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)

 

类型特征

类型特征 (C++11 起)

类型类别 is_void is_null_pointer (DR*) is_reflection (C++26) is_array is_pointer is_enum is_union is_class is_function is_reference      is_object is_scalar is_compound is_integral is_floating_point      is_fundamental is_arithmetic is_lvalue_reference is_rvalue_reference is_member_pointer is_member_object_pointer is_member_function_pointer 类型属性 is_const is_volatile is_empty is_polymorphic is_final (C++14) is_abstract is_aggregate (C++17) is_structural (C++26) is_implicit_lifetime (C++23) is_trivial (C++26 弃用) is_trivially_copyable is_standard_layout is_literal_type (C++20 前*) is_pod (C++20 弃用) is_signed is_unsigned is_bounded_array (C++20) is_unbounded_array (C++20) is_scoped_enum (C++23) has_unique_object_representations (C++17)     类型特征常量 integral_constantbool_constanttrue_typefalse_type (C++17) 元函数 conjunction (C++17) disjunction (C++17) negation (C++17)

受支持操作 is_constructibleis_trivially_constructibleis_nothrow_constructible is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible is_assignableis_trivially_assignableis_nothrow_assignable is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable is_destructibleis_trivially_destructibleis_nothrow_destructible has_virtual_destructor is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17) 关系与属性查询 is_same is_convertibleis_nothrow_convertible (C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20)     is_corresponding_member (C++20) reference_constructs_from_temporary (C++23) reference_converts_from_temporary (C++23) is_base_of is_virtual_base_of (C++26) alignment_of rank extent is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17) 类型修改 remove_cvremove_constremove_volatile add_cvadd_constadd_volatile make_signed make_unsigned remove_reference add_lvalue_referenceadd_rvalue_reference remove_pointer add_pointer remove_extent remove_all_extents 类型变换 aligned_storage (C++23 弃用) aligned_union (C++23 弃用) decay remove_cvref (C++20) result_ofinvoke_result (C++20 前*)(C++17) conditional common_type common_reference (C++20) underlying_type type_identity (C++20) enable_if void_t (C++17)

 

在标头 <type_traits> 定义
template< class T > struct is_structural;		(C++26 起)

See More

std::is_structural 是一元类型特征 (UnaryTypeTrait) 。

如果 T 是结构式类型，则提供的成员常量 value 等于 true。对于任何其他类型，value 为 false。

如果程序添加了 std::is_structural 或 std::is_structural_v 的特化，那么行为未定义。

模板形参

T

-

要检查的类型

辅助变量模板

template< class T > constexpr bool is_structural_v = is_structural<T>::value;		(C++26 起)

继承自 std::integral_constant

成员常量

value [静态]

如果 T 是结构式类型那么是 true，否则是 false (公开静态成员常量)

成员函数

operator bool	将对象转换到 bool，返回 value (公开成员函数)
operator() (C++14)	返回 value (公开成员函数)

成员类型

类型	定义
value_type	bool
type	std::integral_constant<bool, value>

注解

功能特性测试宏	值	标准	功能特性
__cpp_lib_is_structural	202603L	(C++26)	std::is_structural

示例

Run this code

#include <type_traits>

struct S { int x; };
class Bad1 { int x; };
struct Bad2 { mutable int x; };
struct A { int a[2][3]; };
struct B : public S {}; // OK：结构式类型为公开基类
struct C : private S {}; // 非结构式：私有基类
auto L = [](int n){ return -n; }; // 无捕获的 lambda

static_assert( std::is_structural_v<int>);   // 标量
static_assert( std::is_structural_v<int&>);  // 左值引用
static_assert(!std::is_structural_v<int&&>); // 右值引用
static_assert( std::is_structural_v<S>);
static_assert(!std::is_structural_v<Bad1>);
static_assert(!std::is_structural_v<Bad2>);
static_assert( std::is_structural_v<A>);
static_assert( std::is_structural_v<B>);
static_assert(!std::is_structural_v<C>);
static_assert( std::is_structural_v<decltype(L)>);

int main() { }

参阅

is_structural_type (C++26)

检查反射是否表示结构式类型 (函数)