Обычный enum - сахар над int.
Он - знаковый.
Остальные - наследуют все свойства тех типов, от которых они унаследованы.
Цитата(baldina @ 19.2.2015, 12:21  ) | | стандарт говорит |
Что енум не является интегральным типом.
Из этого никак не вытекает, что он не является арифметическим.
(хотя енум на самом деле не является арифметическим типом, согласно std)
| Код |
All fundamental arithmetic types, along with all their aliases (like those in cstdint),
are considered arithmetic types by this class,
including their const and volatile qualified variants.
Enums are not considered arithmetic types in C++ (see is_enum).
|
| Цитата(baldina @ 19.2.2015, 12:21 ) | | по-вашему fruit - знаковый тип? какого знака orange? |
Да, fruit знаковый, поскольку унаследовал все свойства интегрального типа, от которого он образован.
orange - положительный, поскольку по дефолту первый элемент - ноль, а остальные инкриментируются.
| Цитата(baldina @ 20.2.2015, 01:32 ) | | все, что вы привели, замечательно, но на вопрос не отвечает. причем тут enum? |
При том, что такой enum реализует отношение "является", когда наследуется от интегрального типа.
Он наследует его свойства, его особенности, если хотите.
Более того: в операциях с енум этот фактор учитывается.
Необходимо учитывать ограниченность возможных значений такого енума, например.
Из этой необходимости прямо вытекает необходимость учитывать знаковость енума:
| Код |
// ok
enum example: unsigned char { one = 200 };
// error: enumerator value 200 is too large for underlying type ‘signed char’
enum example: signed char { one = 200 };
|
| Код |
enum example: unsigned char { one = 200 };
// gcc был установлен ключик -fpermissive, что бы не бухтел на эксперимент
example val = one + one;
std::cout << "value = " << val <<'\n'; // value = 144 переполнение
|
Фактически, енум отличается от базового типа, от которого он унаследовался
только возможностью задавать именованные константы времени компиляции.
Важно понимать, что защита приведения типов,
а так же запрет арифметических операций - это искусственные ограничения.
А сам енум по сути - всего лишь сахар над интегральными типами.
Предназначение которого - типизированные, именованные константы гарантированно времени компиляции.
|