std::underlying_type

Определён в заголовочном файле `<type_traits>`
template< class T > struct underlying_type;		(начиная с C++11)

Если T является полным типом перечисления (enum), предоставляет псевдоним типа-члена type, обозначающий базовый тип T.

В противном случае поведение не определено.	(до C++20)
В противном случае, если `T` не является типом перечисления, член `type` отсутствует. В противном случае (`T` является неполным типом перечисления) программа некорректна.	(начиная с C++20)

Если программа добавляет специализации для std::underlying_type, поведение не определено.

Типы-члены

Имя	Определение
`type`	базовый тип `T`

Вспомогательные типы

template< class T >
using underlying_type_t = typename underlying_type<T>::type;

(начиная с C++14)

Примечания

Каждый тип перечисления имеет базовый тип, который может быть

Указан явно (для scoped- и unscoped-перечислений);
Не указан — в этом случае он int для scoped-перечислений или является целочисленным типом, определяемым реализацией и способным представлять все значения перечисления (для unscoped-перечислений).

Пример

#include <iostream>
#include <type_traits>

enum e1 {};
enum class e2 {};
enum class e3 : unsigned {};
enum class e4 : int {};

int main()
{
    constexpr bool e1_t = std::is_same_v<std::underlying_type_t<e1>, int>;
    constexpr bool e2_t = std::is_same_v<std::underlying_type_t<e2>, int>;
    constexpr bool e3_t = std::is_same_v<std::underlying_type_t<e3>, int>;
    constexpr bool e4_t = std::is_same_v<std::underlying_type_t<e4>, int>;

    std::cout
        << "underlying type for 'e1' is " << (e1_t ? "int" : "non-int") << '\n'
        << "underlying type for 'e2' is " << (e2_t ? "int" : "non-int") << '\n'
        << "underlying type for 'e3' is " << (e3_t ? "int" : "non-int") << '\n'
        << "underlying type for 'e4' is " << (e4_t ? "int" : "non-int") << '\n';
}

Возможный вывод:

underlying type for 'e1' is non-int
underlying type for 'e2' is int
underlying type for 'e3' is non-int
underlying type for 'e4' is int

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

DR	Применён к	Опубликованное поведение	Корректное поведение
LWG 2396	C++11	неполные типы перечисления допускались	требуется полный тип перечисления

См. также

спецификатор `decltype`(C++11)	получает тип выражения или сущности
is_enum (C++11)	проверяет, является ли тип типом перечисления (шаблон класса)
is_enum_type (C++26)	проверяет, является ли отражённый тип типом перечисления (функция)
is_scoped_enum (C++23)	проверяет, является ли тип scoped-типом перечисления (шаблон класса)
is_scoped_enum_type (C++26)	проверяет, представляет ли отражение scoped-тип перечисления (функция)
to_underlying (C++23)	преобразует перечисление в его базовый тип (шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/underlying_type