std:: is_integral

std::is_integral es un UnaryTypeTrait .

Comprueba si T es un tipo integral . Proporciona la constante miembro value que es igual a true , si T es el tipo bool , char , char8_t (desde C++20) , char16_t , char32_t , wchar_t , short , int , long , long long , o cualquier tipo de entero extendido definido por la implementación, incluyendo todas las variantes con signo, sin signo y con calificadores cv. De lo contrario, value es igual a false .

Si el programa añade especializaciones para std::is_integral o std::is_integral_v , el comportamiento es indefinido.

Parámetros de plantilla

Plantilla de variable auxiliar

Implementación posible

// Nota: esta implementación utiliza facilidades de C++20
template<class T>
struct is_integral : std::bool_constant<
    requires (T t, T* p, void (*f)(T)) // El parámetro T* excluye tipos referencia
    {
        reinterpret_cast<T>(t); // Excluye tipos clase
        f(0); // Excluye tipos enumeración
        p + t; // Excluye todo lo no excluido aún excepto tipos integrales
    }> {};

Ejemplo

#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); // tipo del campo de bits
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, "Se requiere tipo integral.");
    return i;
}
static_assert(same('"') == 042);
int main() {}

Véase también