Нет вызова соответствующей функции для <анонимного перечисления>

Дано:

template<typename T>
void f( T ) {
}

enum {    // if changed to "enum E" it compiles
  e
};

int main() {
  f( e ); // line 10
}

Я получаю:

foo.cpp: In function ‘int main()’:
foo.cpp:10: error: no matching function for call to ‘f(<anonymous enum>)’

Однако, если объявлению enum присвоено имя, оно компилируется. Почему он не работает для анонимного перечисления? В идеале, я хотел бы, чтобы он продвигал значение enum e в int и создавал экземпляр f(int).

Ответ 1

Без имени просто не может использоваться как аргумент шаблона

С++ 03 говорит в 14.3.1[temp.arg.type]/2

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

Это ограничение было отменено в С++ 0x, и ваша программа компилируется без диагностических тестов с MSVС++ 2010 и gcc 4.5.2 в режиме С++ 0x.

Ответ 2

В идеале, я бы хотел, чтобы он продвигал значение enum e в int и создавал экземпляр f (int).

f(+e);

Ответ 3

Вы всегда можете явно промотировать, чтобы четко показать свое намерение:

f(static_cast<int>(e));