is_integral<>

is_integral<>是C++11中的一个类型特征，用于判断一个类型是否为整数类型。如果一个类型是整数类型，则is_integral<>会返回true，否则返回false。

is_integral<>可以用于静态断言、模板特化等场景。它可以帮助程序员在编译期间捕获一些类型错误，从而提高程序的健壮性和可维护性。

is_integral<>所支持的整数类型包括：bool、char、signed char、unsigned char、wchar_t、short、unsigned short、int、unsigned int、long、unsigned long、long long和unsigned long long。

相关问题

template<> struct _Is_integral<bool> : true_type { // determine whether _Ty is integral };什么意思

这段代码定义了一个模板特化，用于判断布尔类型（bool）是否为整型（integral）。这个特化的模板参数是bool类型。在这个特化中，_Is_integral被定义为true_type，意味着bool类型被认为是整型。这个特化是用于在编译期间进行类型判断的。如果使用_Is_integral<bool>::value可以获得true，说明bool类型是整型，否则为false。

template < typename _T, typename std::enable_if< std::disjunction<std::is_integral<_T>, std::is_enum<_T>>::value, int>::type = 0>

您的第一个问题是关于模板元编程的内容。您想要了解的是这段代码的作用是什么？

这段代码是一个模板函数的声明，使用了模板参数 `_T`。通过使用 `std::enable_if` 和 `std::disjunction`，它限制了 `_T` 只能是整型或枚举类型。同时，通过指定一个默认的整型模板参数（`int::type = 0`），它还提供了一个条件，以便在编译时进行选择性的启用或禁用函数模板。

换句话说，这段代码的作用是限制模板函数只能接受整型或枚举类型的参数，并且提供了一个条件，以便在编译时进行选择性的启用或禁用函数模板。