std::is_fundamental

 

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_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_fundamental;		(C++11 起)

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

如果 T 为基础类型（即算术类型、void、std::nullptr_t、std::meta::info(C++26 起)），那么提供的成员常量 value 等于 true。对于其它任何类型，value 等于 false。

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

模板形参

T

-

要检查的类型

辅助变量模板

template< class T > constexpr bool is_fundamental_v = is_fundamental<T>::value;		(C++17 起)

继承自 std::integral_constant

成员常量

value [静态]

如果 T 为基础类型那么是 true，否则是 false (公开静态成员常量)

成员函数

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

成员类型

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

可能的实现

template<class T> struct is_fundamental : std::integral_constant< bool, std::is_arithmetic<T>::value || std::is_void<T>::value || std::is_same<std::nullptr_t, typename std::remove_cv<T>::type>::value // C++14 中还可以改为使用 'std::is_null_pointer<T>::value' #if __cpp_impl_reflection > 0 || std::is_reflection_v<T> #endif > {};

示例

运行此代码

#include <type_traits>

static_assert(std::is_fundamental_v<int> == true);
static_assert(std::is_fundamental_v<int&> == false);
static_assert(std::is_fundamental_v<int*> == false);
static_assert(std::is_fundamental_v<void> == true);
static_assert(std::is_fundamental_v<void*> == false);
static_assert(std::is_fundamental_v<float> == true);
static_assert(std::is_fundamental_v<float&> == false);
static_assert(std::is_fundamental_v<float*> == false);
static_assert(std::is_fundamental_v<std::nullptr_t> == true);
static_assert(std::is_fundamental_v<std::is_fundamental<int>> == false);

class A {};
static_assert(std::is_fundamental_v<A> == false);
static_assert(std::is_fundamental_v<std::is_fundamental<A>::value_type>);

int main() {}

参阅

is_compound (C++11)	检查类型是否为复合类型 (类模板)
is_arithmetic (C++11)	检查类型是否为算术类型 (类模板)
is_void (C++11)	检查类型是否为 void (类模板)
is_null_pointer (C++11)(DR*)	检查类型是否为 std::nullptr_t (类模板)
is_reflection (C++26)	检查一个类型是否是 std::meta::info (类模板)