DP
Нет, у scoped enum всё же ещё с 11-го стандарта неявный underlying type
intразве?
Size: a a a
2021 February 16
AF
разве?
да но это на область значений никак не влияет
AF
underlaying type это просто параметр который позволяет достать какойто тип
LA
Ну ладно, укажу явно значит
DP
хм, ну в старом энаме работало
enum StrongInt {
A = -1ULL,
};CD
это неважно
For an enumeration whose underlying type is fixed, the values of the enumeration are the values of the underlying type.
Otherwise, the values of the enumeration are the values representable by a hypothetical integer type with minimal width M such that all enumerators can be represented.
The width of the smallest bit-field large enough to hold all the values of the enumeration type is M.
It is possible to define an enumeration that has values not defined by any of its enumerators.
If the enumerator-list is empty, the values of the enumeration are as if the enumeration had a single enumerator with value 0.
CD
чего тебе непонятного вообще
DP
а с
error: enumerator value evaluates to 18446744073709551615, which cannot be narrowed to type 'int' [-Wc++11-narrowing]
enum class StrongInt {
A = -1ULL,
};error: enumerator value evaluates to 18446744073709551615, which cannot be narrowed to type 'int' [-Wc++11-narrowing]
AF
чего тебе непонятного вообще
CD
важно, написано : int или нет
AF
тред перечитай
LA
For an enumeration whose underlying type is fixed, the values of the enumeration are the values of the underlying type.
Otherwise, the values of the enumeration are the values representable by a hypothetical integer type with minimal width M such that all enumerators can be represented.
The width of the smallest bit-field large enough to hold all the values of the enumeration type is M.
It is possible to define an enumeration that has values not defined by any of its enumerators.
If the enumerator-list is empty, the values of the enumeration are as if the enumeration had a single enumerator with value 0.
Ну это говорит, что мне всё же легально кастовать без явного
: int, нет?CD
тред перечитай
перечитал
SS
Ну это говорит, что мне всё же легально кастовать без явного
: int, нет?Легально, если ты кастом попал в значение enuma
Иначе смерть гроб кладбище
http://eel.is/c++draft/expr.static.cast#10
Иначе смерть гроб кладбище
http://eel.is/c++draft/expr.static.cast#10
LA
Легально, если ты кастом попал в значение enuma
Иначе смерть гроб кладбище
http://eel.is/c++draft/expr.static.cast#10
Иначе смерть гроб кладбище
http://eel.is/c++draft/expr.static.cast#10
Так я об этом и говорил, что "если попасть"
SS
Если попал, то молодец
DP
For an enumeration whose underlying type is fixed, the values of the enumeration are the values of the underlying type.
Otherwise, the values of the enumeration are the values representable by a hypothetical integer type with minimal width M such that all enumerators can be represented.
The width of the smallest bit-field large enough to hold all the values of the enumeration type is M.
It is possible to define an enumeration that has values not defined by any of its enumerators.
If the enumerator-list is empty, the values of the enumeration are as if the enumeration had a single enumerator with value 0.
перечитал, сходу не пойму к чему тут otherwise относится, если к случаю "underlying type is not fixed", то оно абзацем выше рассматривается, а больше и не вижу вариантов
CD
перечитал, сходу не пойму к чему тут otherwise относится, если к случаю "underlying type is not fixed", то оно абзацем выше рассматривается, а больше и не вижу вариантов
ну если задан явно, то в точности underlying, иначе из underlying доступно ровно столько битов, сколько нужно для заявленных значений
DP
ну если задан явно, то в точности underlying, иначе из underlying доступно ровно столько битов, сколько нужно для заявленных значений
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.