std:: is_integral

std::is_integral ist ein UnaryTypeTrait .

Prüft, ob T ein integraler Typ ist. Stellt die Memberkonstante value bereit, die gleich true ist, falls T der Typ bool , char , char8_t (seit C++20) , char16_t , char32_t , wchar_t , short , int , long , long long oder irgendein implementierungsdefinierter erweiterter Ganzzahltyp ist, einschließlich aller vorzeichenbehafteten, vorzeichenlosen und cv-qualifizierten Varianten. Andernfalls ist value gleich false .

Wenn das Programm Spezialisierungen für std::is_integral oder std::is_integral_v hinzufügt, ist das Verhalten undefiniert.

Template-Parameter

Hilfsvariablen-Template

Mögliche Implementierung

// Hinweis: Diese Implementierung verwendet C++20-Funktionen
template<class T>
struct is_integral : std::bool_constant<
    requires (T t, T* p, void (*f)(T)) // T* Parameter schließt Referenztypen aus
    {
        reinterpret_cast<T>(t); // Schließt Klassentypen aus
        f(0); // Schließt Aufzählungstypen aus
        p + t; // Schließt alle noch nicht ausgeschlossenen Typen außer integralen Typen aus
    }> {};

Beispiel

#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); // bit-field's type
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() {}

Siehe auch