Шаблоны, параметризованные для перечислений

Question

Я хочу сделать это:

template <enum Type>
class Message {
private:
     Type m_type
};

enum StdInMessages { PrintHello, Echo, ... };
class StdInMsg : Message<StdInMessages>
{ ... }

enum NetworkMessages { DoSomethingElse, Shutdown ... };
class NetworkMsg : Message<NetworkMessages>
{ ... }

Конечно, фактические сообщения немного отличаются

Почему это не работает?

template <enum T> class ATemplate {};

Iполучить эту ошибку

error: use of enum ‘T’ without previous declaration

Answer 1

Работает, если enum T объявлено заранее:

enum T {
    foo, bar
};

template <enum T> // or simply `template <T>`
class ATemplate { };

int main() {
    ATemplate<foo> x;
}

Но, судя по имени переменной T, это не то, что вам нужно. Поскольку трудно угадать, чего именно вы хотите, вам нужно быть более конкретным.

Answer 2

Потому что это недопустимый синтаксис для шаблона , если только то, что вы ищете - это то, на что Конрад ответил .

Вам необходимо использовать typename или class.

Следующее должно сделать это:

enum X
{
   a
};

template <typename T> class ATemplate {};

ATemplate<X> A;