std::is_arithmetic
来自 cppreference.com
定义在头文件 <type_traits> 中 |
||
template< class T > struct is_arithmetic; |
(自 C++11 起) | |
std::is_arithmetic
是一个 UnaryTypeTrait.
如果 T
是一个算术类型(即一个整数类型或一个浮点类型)或其 cv
限定版本,则提供一个值为 true 的成员常量 value
。对于任何其他类型,value
为 false.
如果程序为 std::is_arithmetic
或 std::is_arithmetic_v
(自 C++17 起) 添加了专门化,则行为未定义。
内容 |
[编辑] 模板参数
T | - | 要检查的类型 |
[编辑] 辅助变量模板
template< class T > constexpr bool is_arithmetic_v = is_arithmetic<T>::value; |
(自 C++17 起) | |
继承自 std::integral_constant
成员常量
value [静态] |
true 如果 T 是一个算术类型,否则为 false(公共静态成员常量) |
成员函数
operator bool |
将对象转换为 bool,返回 value (公共成员函数) |
operator() (C++14) |
返回 value (公共成员函数) |
成员类型
类型 | 定义 |
value_type
|
bool |
type
|
std::integral_constant<bool, value> |
[编辑] 备注
算术类型是内置类型,对于这些类型定义了 算术运算符 (+
, -
, *
, /
)(可能与通常的算术转换结合使用)。
所有算术类型都提供了 std::numeric_limits 的专门化。
[编辑] 可能的实现
template<class T> struct is_arithmetic : std::integral_constant<bool, std::is_integral<T>::value || std::is_floating_point<T>::value> {}; |
[编辑] 示例
运行此代码
#include <atomic> #include <cstddef> #include <type_traits> class A {}; enum class B : int { e }; static_assert( std::is_arithmetic_v<bool> == true and std::is_arithmetic_v<char> == true and std::is_arithmetic_v<char const> == true and std::is_arithmetic_v<int> == true and std::is_arithmetic_v<int const> == true and std::is_arithmetic_v<float> == true and std::is_arithmetic_v<float const> == true and std::is_arithmetic_v<std::size_t> == true and std::is_arithmetic_v<char&> == false and std::is_arithmetic_v<char*> == false and std::is_arithmetic_v<int&> == false and std::is_arithmetic_v<int*> == false and std::is_arithmetic_v<float&> == false and std::is_arithmetic_v<float*> == false and std::is_arithmetic_v<A> == false and std::is_arithmetic_v<B> == false and std::is_arithmetic_v<decltype(B::e)> == false and std::is_arithmetic_v<std::byte> == false and std::is_arithmetic_v<std::atomic_int> == false ); int main() {}
[编辑] 参见
(C++11) |
检查类型是否为整数类型 (类模板) |
(C++11) |
检查类型是否为浮点类型 (类模板) |