std:: is_integral

std::is_integral est un UnaryTypeTrait .

Vérifie si T est un type entier . Fournit la constante membre value qui est égale à true , si T est le type bool , char , char8_t (depuis C++20) , char16_t , char32_t , wchar_t , short , int , long , long long , ou tout type entier étendu défini par l'implémentation, incluant toutes les variantes signées, non signées et qualifiées cv. Sinon, value est égale à false .

Si le programme ajoute des spécialisations pour std::is_integral ou std::is_integral_v , le comportement est indéfini.

Paramètres du modèle

Modèle de variable d'assistance

Implémentation possible

// Note: cette implémentation utilise les fonctionnalités de C++20
template<class T>
struct is_integral : std::bool_constant<
    requires (T t, T* p, void (*f)(T)) // Le paramètre T* exclut les types référence
    {
        reinterpret_cast<T>(t); // Exclut les types classe
        f(0); // Exclut les types énumération
        p + t; // Exclut tout ce qui n'est pas encore exclu sauf les types intégraux
    }> {};

Exemple

#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); // type du champ 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, "Type entier requis.");
    return i;
}
static_assert(same('"') == 042);
int main() {}

Voir aussi