std::is_integral
来自cppreference.com
<tbody>
</tbody>
| 在标头 <type_traits> 定义
|
||
template< class T > struct is_integral; |
(C++11 起) | |
std::is_integral 是一元类型特征 (UnaryTypeTrait) 。
检查 T 是否为整数类型。如果 T 是类型 bool、char、char8_t(C++20 起)、char16_t、char32_t、wchar_t、short、int、long、long long，或任何实现定义的扩展整数类型，包含任何有符号、无符号及 cv 限定的变体，那么提供的成员常量 value 等于 true。否则，value 等于 false。
如果程序添加了 std::is_integral 或 std::is_integral_v 的特化，那么行为未定义。
模板形参
| T | - | 要检查的类型 |
辅助变量模板
<tbody> </tbody> template< class T > constexpr bool is_integral_v = is_integral<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>
|
可能的实现
// 注意：这个实现使用了 C++20 的设施
template<class T>
struct is_integral : std::bool_constant<
requires (T t, T* p, void (*f)(T)) // T* 形参排除引用类型
{
reinterpret_cast<T>(t); // 排除类类型
f(0); // 排除枚举类型
p + t; // 排除除整型以外所有尚未排除的类型
}> {};
|
示例
运行此代码
#include <type_traits>
static_assert
(
std::is_integral_v<float> == false &&
std::is_integral_v<int*> == false &&
std::is_integral_v<int> == true &&
std::is_integral_v<const int> == true &&
std::is_integral_v<bool> == true &&
std::is_integral_v<char> == true
);
class A {};
static_assert(std::is_integral_v<A> == false);
struct B { int x:4; };
static_assert(std::is_integral_v<B> == false);
using BF = decltype(B::x); // 位域的类型
static_assert(std::is_integral_v<BF> == true);
enum E : int {};
static_assert(std::is_integral_v<E> == false);
template <class T>
constexpr T same(T i)
{
static_assert(std::is_integral<T>::value, "必须为整数。");
return i;
}
static_assert(same('"') == 042);
int main() {}
参阅
(C++20) |
指定类型为整数类型 (概念) |
[静态] |
鉴别整数类型 ( std::numeric_limits<T> 的公开静态成员常量)
|
(C++11) |
检查类型是否为浮点数类型 (类模板) |
(C++11) |
检查类型是否为算术类型 (类模板) |
(C++11) |
检查类型是否为枚举类型 (类模板) |