Блог

Учитывая:

 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) .

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

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

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

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

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

 f( e);
  

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

f(static_cast<int>(e));