std:: is_integral

std::is_integral 是一个 UnaryTypeTrait 。

检查 T 是否为 整数类型 。提供成员常量 value ，当 T 是类型 bool 、 char 、 char8_t (C++20 起) 、 char16_t 、 char32_t 、 wchar_t 、 short 、 int 、 long 、 long long ，或任何实现定义的扩展整数类型（包括所有有符号、无符号及 cv 限定变体）时，该常量值为 true 。否则 value 等于 false 。

如果程序为 std::is_integral 或 std::is_integral_v 添加特化，则行为是未定义的。

模板参数

辅助变量模板

可能实现

// 注意：此实现使用 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, "Integral required.");
    return i;
}
static_assert(same('"') == 042);
int main() {}

参见