Безымянные перечисления в шаблонах

Question

Многое шаблонный код выглядит так:

template <typename T>
class foo
{
   enum { value = <some expr with T> };
};

Пример можно увидеть здесь в программе первичной проверки, и я тоже видел его в реализации Factorial.

Мой вопрос: зачем использовать безымянное перечисление? Есть ли конкретная причина для этого? Например, может работать статический констант int?

редактирование:

@ Benoît: Спасибо за ссылку, она дала понимание, которое я искал!

Answer 1

Статическая переменная const будет занимать память (как сказал Шон), тогда как перечисления не занимают никакой памяти. Они существуют только в мире компилятора. Во время выполнения они являются обычными целыми числами.

Кроме того, это будет работать, за исключением плохой реализации стандарта компилятором.

Существует полная ветка на эту тему в расширенном списке рассылки:

Answer 2

Если я правильно помню, статическая константа потребует от вас выделения пространства путем объявления и определения переменной, тогда как безымянное перечисление - нет.