enum flag {a = 3, b = 9};
Согласно Страуструпу переменная типа flag может содержать любое значение в диапазоне 0...15, а не только 3 и 9.
К примеру,
flag f = flag(5);

Вопрос: где здесь логика? Я объявляю константы, потом по ходу могу дополнять это перечисление переменными?
Кстати, VC++ 2005 не ругается, если сделать flag(99), что за пределами диапазона.

По поводу значений:

0...15 - это что-то странное и ты скорей всего не правильно понял Страуструпа


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

Это был пример из его книги. Он там даже формулу для вычисления диапазона даёт. Это раздел 4.8 специального издания.




В этом и вопрос, зачем присваивать явно неуказанное в перечислении?
В чём здесь логика?

так прописано в стандарте. видимо на то у них была своя причина.

Daevaorn, 

Смею предположить, что enum был организован на int. Из-за этого возможно подобные вещи возможны. Полное, в том числе и обратное преобразование не выполняется, в случае присваивания значения и прочего доступа к enum как к int

да. но это как один из возможных вариантов реализации, пусть и самый распространенный. Но жестко это не прописано, может быть любой "интегральный" тип.

Эта тема уже поднималась.
В стандарте четко прописано, что enum является int.

Буду презнателен, если ты мне покажешь эту часть стандарта. Я этого не нашел.
Нашел лишь, то что написал в первом своём сообщении в данной теме. Где говорится, что любой integral тип, который может хранить весь диапозон.

Добавлено @ 20:53 

Не знаю, правильно я вставляю ссылку на топик или нет, но там как раз обсуждался вопрос преобразования enum
Вроде тут

Anikmar, нет, там ничего путного нет. Но в принципе и не может быть, enum это любой integral тип.

Исправляюсь. Не int, а целочисленный тип. Может быть unsigned int и (unsigned) long.
Параграф 4.5 черновика стандарта.

Добавлено @ 21:15 
Но то, что enum - это целый тип, это очевидно - так как там однозначное соответствие константы ее имени, что в других типах достичь нельзя. (char не предлагать - это тоже int)

опять мимо

тут говорится о преобразованиях, а не о том как реализуется enum

Мы говорили о том, как можно работать с переменной типа enum.

В любом выражении С++ будет использовано неявное преобразование. Этот параграф и утверждает, что тип enum неявно преобразовывается к целочисленному типу, достаточному для хранения значения.

Это прописано в стандарте и там не указаны никакие другие типы кроме целочисленных.

Если использовать переменную типа enum в выражениях C++, то можно смело ожидать, что значение неявно будет преобразовано в целочисленное и  никак не иначе.

Думаю ни один компилятор не съест такое объявление:

typedef enum {FirstV = 0.01, SecondV = 0.05} MyEnum;

Если посмотреть параграф 7.2 вышеуказанного черновика стандарта, то там тоже обсолютно четко указывается int и приводится ссылка на уже указанный мною параграф 4.5 о правилах неявного преобразования для типов enum.

К сожалению не могу привести куски из pdf-файла

Добавлено @ 21:31 
p.s.
Как реализованы конкретные типы данных в конкретном компиляторе - этот вопрос не стоит обсуждения - так как обсуждается именно высокоуровневый язык C++.

И если рассматривать два выражения:
enum {FirstV, LastV} AVar;

AVar = FirstV;

if (AVar == 0) // 100% условие согласно стандарту

а вот
int *iPtr;

iPtr = (int*)&AVar;
if (*iPtr == 0) // Вот тут я бы не утверждал со 100% уверенностью (не проверял даже)

Не знаю о чем начал говорить ты, а мы гворили о том на основе чего реализован enum. В пункте 7.5 четко написано что underlying это integral тип. Что собственно я сразу и написал. При чем тут преобразования и не целочисленные константы о которых ты пишешь, я понять не могу.

Видимо я неправильно понял суть обсуждаемого вопроса...