Дано:
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).
Без имени просто не может использоваться как аргумент шаблона
С++ 03 говорит в 14.3.1[temp.arg.type]/2
Локальный тип, тип без привязки, неназванный тип или тип, составленный из любого из этих типов, не должны использоваться как шаблон-аргумент для параметра типа шаблона.
Это ограничение было отменено в С++ 0x, и ваша программа компилируется без диагностических тестов с MSVС++ 2010 и gcc 4.5.2 в режиме С++ 0x.
В идеале, я бы хотел, чтобы он продвигал значение enum e в int и создавал экземпляр f (int).
f(+e);
Вы всегда можете явно промотировать, чтобы четко показать свое намерение:
f(static_cast<int>(e));