O
Он всегда есть, через std::underlying_type его можно получить
Я к тому, что где-то встречался с мнением, что каст к нему UB до тех пор, пока мы его явно не укажем для перечисления
Size: a a a
2020 May 26
AB
Я к тому, что где-то встречался с мнением, что каст к нему UB до тех пор, пока мы его явно не укажем для перечисления
Не видел такого
O
Не видел такого
Да точно должно быть UB, не должен
enum содержать элемента, не входящего в его перечисление, это же бредO
Это разрешено именно если у нас есть нижележащий тип, объявленный явно — для всяких извращений
AB
Да точно должно быть UB, не должен
enum содержать элемента, не входящего в его перечисление, это же бредКак енамы сериализуются по-твоему?
O
Как енамы сериализуются по-твоему?
Элемент, не входящий в перечисление.
1488 явно не входит в диапазон допустимых значений для Sex. Вот, будь это 0 или 1 — не было бы UBAB
Элемент, не входящий в перечисление.
1488 явно не входит в диапазон допустимых значений для Sex. Вот, будь это 0 или 1 — не было бы UBКаст 1488 в Sex не уб, если 1488 представимо типом std::underlying_type_t<Sex>
AB
То есть уб, если там uint8_t
AB
И не уб, если unsigned
AB
http://eel.is/c++draft/enum#dcl.enum-8
> It is possible to define an enumeration that has values not defined by any of its enumerators.
> It is possible to define an enumeration that has values not defined by any of its enumerators.
AB
Рядом правила выбора низлежащего типа
AB
То есть уб, если там uint8_t
Точнее не уб, по модулю 2 врапится и все
O
Что означает самое начало —
Да бред это. Должно быть UB.
Рядовой пользователь, видя
an enumeration whose underlying type is fixed...? Я не очень понял из стандартаДа бред это. Должно быть UB.
Рядовой пользователь, видя
enum Sex { FEMALE, MALE }
Не должен ожидать чего-то отличного, от перечисленных значений в своих case-меткахAB
Что означает самое начало —
Да бред это. Должно быть UB.
Рядовой пользователь, видя
an enumeration whose underlying type is fixed...? Я не очень понял из стандартаДа бред это. Должно быть UB.
Рядовой пользователь, видя
enum Sex { FEMALE, MALE }
Не должен ожидать чего-то отличного, от перечисленных значений в своих case-меткахЧитай полностью параграф про енам, он небольшой
AB
Что означает самое начало —
Да бред это. Должно быть UB.
Рядовой пользователь, видя
an enumeration whose underlying type is fixed...? Я не очень понял из стандартаДа бред это. Должно быть UB.
Рядовой пользователь, видя
enum Sex { FEMALE, MALE }
Не должен ожидать чего-то отличного, от перечисленных значений в своих case-меткахПроверить на недопустимое по бизнес-логике значение он должен
O
Что означает самое начало —
Да бред это. Должно быть UB.
Рядовой пользователь, видя
an enumeration whose underlying type is fixed...? Я не очень понял из стандартаДа бред это. Должно быть UB.
Рядовой пользователь, видя
enum Sex { FEMALE, MALE }
Не должен ожидать чего-то отличного, от перечисленных значений в своих case-меткахДаже компилятор варнит за
default для такого перечисления, сейчас, ушёл читатьAB
Что означает самое начало —
Да бред это. Должно быть UB.
Рядовой пользователь, видя
an enumeration whose underlying type is fixed...? Я не очень понял из стандартаДа бред это. Должно быть UB.
Рядовой пользователь, видя
enum Sex { FEMALE, MALE }
Не должен ожидать чего-то отличного, от перечисленных значений в своих case-меткахЭто кстати красиво бы решалось через контракты+рефлексию
где is_valid_enumerator проверяет, что s одна из заданных констант енама
[[assert: is_valid_enumerator(s)]]
void f(Sex s);
где is_valid_enumerator проверяет, что s одна из заданных констант енама
O
Это кстати красиво бы решалось через контракты+рефлексию
где is_valid_enumerator проверяет, что s одна из заданных констант енама
[[assert: is_valid_enumerator(s)]]
void f(Sex s);
где is_valid_enumerator проверяет, что s одна из заданных констант енама
Я не понимаю, зачем вообще легализировать возможность создания таких значений?
AB
Что означает самое начало —
Да бред это. Должно быть UB.
Рядовой пользователь, видя
an enumeration whose underlying type is fixed...? Я не очень понял из стандартаДа бред это. Должно быть UB.
Рядовой пользователь, видя
enum Sex { FEMALE, MALE }
Не должен ожидать чего-то отличного, от перечисленных значений в своих case-меткахЭтот инвариант не выразить синтаксически в текущей версии языка
AB
Я не понимаю, зачем вообще легализировать возможность создания таких значений?
Чтобы не плодить уб