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

Question

Дано:

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

Answer 1

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

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

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

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

Answer 2

В идеале, я бы хотел, чтобы значение enum повышалось до int и создавалось значение f (int).

f(+e);

Answer 3

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

f(static_cast<int>(e));