Поясните про типизированный enum

@DrankUser · Регистрация: 29.01.2017

Студворк — интернет-сервис помощи студентам

В документации указано что я могу писать (С++11) что-то типа такого:

C++
1
enum : type { const1 = constexpr, const2 = constexpr };

Как я понял, тип можно указать любой, но когда я написал что-то типа такого:

C++
1
enum class MyClasses : MyClass { class1 = MyClass(params) };

Ничего не заработало, в сообщении ошибки сказано "type 'int' is not compatible with 'MyClass'"

Так что, получается что указывать я могу только числовые типы, чтоб моё перечисление было как {1, 2, 3}?
И в чём тогда смысл этих типов??

@DU3 · 16.10.2017, 19:53

там можно встроенные типа задавать. возможно только интегральные из них.
смысл хорошо описан у мейерса в его последней книге о современном с++. рекомендую найти и почитать.
Скотт Мейерс | Эффективный и современный С++: 42 рекомендации по использованию C++11 и C++14

@Azazel-San · 16.10.2017, 20:05

Любой enum - это число (если тип не указан, компилятор может поставить char или short для экономии, это иногда приводит к тяжелым багам).
enum class (enum struct) - это:
- если не указан тип, всегда int;
- к элементам перечня можно добраться исключительно через имя перечня и ::, что способствует читаемости кода (вроде такого: если у нас два игрока, red и blue, и в то же время их цвета - red и blue, то цвета надо называть Color::red и Color::blue).

@GbaLog- · 17.10.2017, 10:38

Сообщение от Azazel-San

(если тип не указан, компилятор может поставить char или short для экономии, это иногда приводит к тяжелым багам)

бред какой-то,
http://en.cppreference.com/w/cpp/language/enum

Values of unscoped enumeration type are implicitly-convertible to integral types. If the underlying type is not fixed, the value is convertible to the first type from the following list able to hold their entire value range: int, unsigned int, long, unsigned long, long long, or unsigned long long. If the underlying type is fixed, the values can be converted to their promoted underlying type.

то бишь, компилятор на это не имеет права.
имеет только на увеличение кол-ва бит для того, чтобы число влезло, если тип не указан.

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
#include <limits>
 
constexpr auto val = static_cast<long long>(std::numeric_limits<int>::max()) + 1;
 
enum Foo { x = val };
 
int main()
{
    auto f = Foo::x;
    std::cout << std::numeric_limits<int>::max() << " : " << f << "\n";
}

Сообщение от DrankUser

И в чём тогда смысл этих типов?

в том, что они автоматом в числа не конвертируются, как минимум.

Добавлено через 15 секунд

Сообщение от Azazel-San

(если тип не указан, компилятор может поставить char или short для экономии, это иногда приводит к тяжелым багам)

бред какой-то,
http://en.cppreference.com/w/cpp/language/enum

Values of unscoped enumeration type are implicitly-convertible to integral types. If the underlying type is not fixed, the value is convertible to the first type from the following list able to hold their entire value range: int, unsigned int, long, unsigned long, long long, or unsigned long long. If the underlying type is fixed, the values can be converted to their promoted underlying type.

то бишь, компилятор на это не имеет права.
имеет только на увеличение кол-ва бит для того, чтобы число влезло, если тип не указан.

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
#include <limits>
 
constexpr auto val = static_cast<long long>(std::numeric_limits<int>::max()) + 1;
 
enum Foo { x = val };
 
int main()
{
    auto f = Foo::x;
    std::cout << std::numeric_limits<int>::max() << " : " << f << "\n";
}

Сообщение от DrankUser

И в чём тогда смысл этих типов?

в том, что они автоматом в числа не конвертируются, как минимум.

@Mournful Max · 18.10.2017, 02:47

Сообщение от GbaLog-

бред какой-то,

Вполне правду говорит. Из Стандарта:

Сообщение от 7.2 Enumeration declarations

5. Each enumeration defines a type that is different from all other types. Each enumeration also has an underlying type. The underlying type can be explicitly specified using an enum-base. For a scoped enumeration type, the underlying type is int if it is not explicitly specified. In both of these cases, the underlying type is said to be fixed...

Сообщение от 7.2 Enumeration declarations

7. For an enumeration whose underlying type is not fixed, the underlying type is an integral type that can represent all the enumerator values defined in the enumeration. If no integral type can represent all the enumerator values, the enumeration is ill-formed. It is implementation-defined which integral type is used as the underlying type except that the underlying type shall not be larger than int unless the value of an enumerator cannot fit in an int or unsigned int. If the enumerator-list is empty, the underlying type is as if the enumeration had a single enumerator with value 0.

( Жирным выделил я )

Добавлено через 2 минуты

Сообщение от GbaLog-

Values of unscoped enumeration type are implicitly-convertible to integral types. If the underlying type is not fixed, the value is convertible to the first type from the following list able to hold their entire value range: int, unsigned int, long, unsigned long, long long, or unsigned long long. If the underlying type is fixed, the values can be converted to their promoted underlying type.

Здесь речь идет о convertible, не о underlying type.

@GbaLog- · 18.10.2017, 05:54

Сообщение от Captain Maxee

Вполне правду говорит.

ок.
но, тем не менее, ни один популярный компилятор не реализовал underlying type меньше int'a.
хотя всё равно непонятно, как это может привести к хоть каким-то багам...
как вообще реализация может полагаться на underlying type enum'а?
есть, конечно, std::underlying_type, но это вообще шаблон для метапрограммирования...

@Mournful Max · 18.10.2017, 07:17

Сообщение от GbaLog-

но, тем не менее, ни один популярный компилятор не реализовал underlying type меньше int'a.

Согласен.

Сообщение от GbaLog-

хотя всё равно непонятно, как это может привести к хоть каким-то багам...

Наверное, вот: ( это я с головы взял, особо не верь, но выглядит правдоподобно

)

C++
1
2
3
4
{
  enum { VALUE };
  VALUE >> sizeof ( int ) * CHAR_BIT - 1;  // unspecified behavior
}

Сообщение от GbaLog-

как вообще реализация может полагаться на underlying type enum'а?

Это не понял.

Добавлено через 6 минут
GbaLog-, кстати, пока писал, вот что пришло в голову: ( теория )
1. Если писать вот так:

C++
1
enum { VALUE1, VALUE2, ... };

Тогда, наверное, действует это правило:

It is implementation-defined which integral type is used as the underlying type except that the underlying type shall not be larger than int unless the value of an enumerator cannot fit in an int or unsigned int.

2. Если писать так:

C++
1
enum { VALUE1 = 0, VALUE2 = 1, ... };

Тогда, возможно, тип енума и правда будет int, ибо компилятор посмотрит на литералы 0, 1 ( а это int по-умолчанию ), и сделает int как underlying type.

Надо будет потом перечитать раздел про енум, возможно, там что-то есть об этом.

@GbaLog- · 18.10.2017, 08:26

Сообщение от Captain Maxee

1. Если писать вот так:

это правило действует всегда, когда не задан тип и это не enum class/struct.
ну, это если я правильно понял, что значит scoped enumeration, кстати, 7.2/5 как раз об них, то бишь там всегда int.

Сообщение от Captain Maxee

Наверное, вот

так почему бы не sizeof(VALUE)?

Сообщение от Captain Maxee

Это не понял.

вопрос состоит в том, как код может вообще пологаться на тип, который использует enum(underlying type)?
а вообще, если это важно, то для подобного есть метафункция, вычисляющая этот тип(std::underlying_type).

Добавлено через 1 минуту

Сообщение от Captain Maxee

Тогда, возможно, тип енума и правда будет int, ибо компилятор посмотрит на литералы 0, 1 ( а это int по-умолчанию ), и сделает int как underlying type.

да хоть 'a' туда вставь, будет int/unsigned int. во всяком случае у gcc, clang и vc++.

@Mournful Max · 18.10.2017, 08:59

Сообщение от GbaLog-

вопрос состоит в том, как код может вообще пологаться на тип, который использует enum(underlying type)?

Ну, вдруг, кому-то нужно, чтобы переменная типа енума занимала int8_t…
Не знаю что ответить. Не до конца понимаю, извиняй

Не по теме:

Как ты цитируешь вместе со всеми тегами?
Или ты используешь «мультицитирование», заходишь в расширенный режим, и удаляешь лишнее?

@GbaLog- · 18.10.2017, 09:51

Не по теме:

Сообщение от Captain Maxee

Как ты цитируешь вместе со всеми тегами?

ручками, ручками. :)

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

@DU3 284 / 232 / 114 Регистрация: 07.09.2016 Сообщений: 584
	16.10.2017, 19:53
	там можно встроенные типа задавать. возможно только интегральные из них. смысл хорошо описан у мейерса в его последней книге о современном с++. рекомендую найти и почитать. Скотт Мейерс \| Эффективный и современный С++: 42 рекомендации по использованию C++11 и C++14 0

@Azazel-San Mental handicap 1246 / 624 / 171 Регистрация: 24.11.2015 Сообщений: 2,429
	16.10.2017, 20:05
	Любой enum - это число (если тип не указан, компилятор может поставить char или short для экономии, это иногда приводит к тяжелым багам). enum class (enum struct) - это: - если не указан тип, всегда int; - к элементам перечня можно добраться исключительно через имя перечня и ::, что способствует читаемости кода (вроде такого: если у нас два игрока, red и blue, и в то же время их цвета - red и blue, то цвета надо называть Color::red и Color::blue). 0