std:: is_integral

std::is_integral является UnaryTypeTrait .

Проверяет, является ли T целочисленным типом . Предоставляет константу-член value , которая равна true , если T является типом bool , char , char8_t (since C++20) , char16_t , char32_t , wchar_t , short , int , long , long long , или любыми определёнными реализацией расширенными целочисленными типами, включая все знаковые, беззнаковые и cv-квалифицированные варианты. В противном случае 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, "Требуется целочисленный тип.");
    return i;
}
static_assert(same('"') == 042);
int main() {}

Смотрите также