在 C++ 中使用枚举作为模板类型参数

Question

在 C++ 中使用枚举作为模板（类型）参数是否有任何限制/问题？

示例：

enum MyEnum
{
    A, B, C, D, E
};

template <typename _t>
class MyTemplate
{
public:
   _t value;

   void func(const _t& param) { /* .... */ }
};

// ....

MyTemplate<MyEnum> MyInstance;

---

我在 Win32/x86 上通过 VS 2008 (SP1) 使用 MSVC++ 的实际问题是与使用枚举作为模板参数的类相关的几个编译错误（= 编译器报告的错误）。不幸的是，由于我的项目变得有点复杂（您可以将其视为设计错误：P），引发这些错误的模板类是派生的、嵌套的，甚至专门针对具有枚举模板参数的类。

尝试构建时，编译器会在只有注释的行中报告许多错误/无用的错误，例如“C2059：语法错误：'public'”。其中许多问题我可以通过用与示例中类似的方法替换 const _t& 来修复。 param by _t （即复制参数），但我既无法修复所有这些错误，也不知道为什么这“有帮助”。 **我知道，上面的简单示例编译时没有错误。

使用 int 而不是 enum，我的项目编译时没有错误。

预先感谢您的任何提示或提示！

---

编辑：

毕竟，我认真地认为这是一个编译器错误。当我尝试用简化的代码重现错误时，我只在所有“构建”的 50% 中得到了这些错误，不是很确定：
例如尝试编译，它报告了这些错误。重建 - 没有变化。删除了评论，构建 - 没有变化。重建 - 然后：没有错误，编译正常。

我已经遇到了一些编译器错误（我猜在 20k 行代码内有 2 或 3 个错误），但这个在我看来非常奇怪。
有什么建议如何确定它是否是编译器吗？

Answer 1

是的，有限制。例如，根据 C++03 14.3.1[temp.arg.type]/2，您不能使用匿名枚举作为模板参数

本地类型、没有链接的类型、未命名类型或由任何这些类型复合的类型不得用作模板类型参数的模板参数。

因此以下代码在 C++03 中无效：

template <typename T>
void f(T) {}

enum {A};

int main() {
  f(A);
}

但在 C++11 中有效。

Answer 2

参考原来的问题：

在 C++ 中使用枚举作为模板（类型）参数是否有任何限制/问题？

我没有找到——而且我认为也不存在。这可能是一个坏主意，因为这种技术并不经常使用，因此可能会存在一些（更多）与此相关的编译器错误，正如 Potatoswatter 所说。
考虑以下示例：

enum MyEnum : int
{
    A, B, C, D
};

template <typename _t> class MyTemplate
{
public:
    void print()
    {
        cout << "not using any specialisation" << endl;
    }
};
    template <> class MyTemplate <MyEnum>
    {
    public:
        void print()
        {
            cout << "MyEnum specialisation" << endl;
        }
    };
    template<> class MyTemplate <int>
    {
    public:
        void print()
        {
            cout << "int specialisation" << endl;
        }
    };

template <typename _t> void print(_t param)
{
    MyTemplate<_t> m;
    m.print();
}


int main()
{
    print(A);
    print(5);

    return 0;
}

输出为：

MyEnum 专业化
int专业化

对于这些简单的示例，一切正常且符合预期，并且枚举与任何其他类型作为模板类型参数一样完美地工作（= 我没有看到任何问题的原因）。

最初，我在问题中引入了示例来展示我对该问题的含义（枚举作为模板类型参数，显示作为成员或方法参数类型的可能用法等）。为了提供一些背景知识，即为什么我问这个问题（想象一下我问“int 是否有任何问题”），我提到了编译我的实际项目时出现的这些奇怪的问题。
很抱歉，我无法提取其本身完整的片段并重现错误，至少我能得到的是将 2k 行代码分成 4 个文件，其中“语法错误：'public'”和其他一些当我编译项目时出现语法错误，并且在删除注释或重新构建（=删除中间文件）时，它们在某些情况下出现/消失。不幸的是，重建对原始项目没有帮助，我不得不将专业化从枚举类型替换为 int。

所以，感谢大家的提示和技巧。在我看来，潜在的问题似乎是一个编译器错误，这使得这个问题有点毫无意义，因为答案似乎只是“不 - 使用枚举作为模板类型参数没有任何限制”。带来不便敬请谅解。

Answer 3

MSVC 处理枚举（值）模板参数的方式很奇怪。有时，枚举会不正确地提升为 int，并且运算符定义不正确。看来他们并没有真正使用 enum 类型测试模板引擎。

证明这是一个编译器错误很简单：将有效代码放入并观察它是否成功编译。 您的示例显然是合规的，因此问题（或错误，无论如何）是他们的。

编辑：经过仔细检查，您说该示例不 重现该错误。在您提供一个可以帮助您的示例之前，我们或任何其他人都无法帮助您。