枚举作为模板

Question

这就是我想做的：

enum MyEnum
{
    ONE = 1, TWO, THREE
};

template<class T>
void func()
{
    cout << T::TWO << endl;
}

int main()
{
    func<MyEnum>();
};

它有效，但我收到警告：“警告 C4482：使用了非标准扩展：限定名称中使用了枚举 'MyEnum'”

如何在不收到警告的情况下执行此操作

Answer 1

枚举在这里有点棘手。类型 ONE 和 TWO 将位于外部命名空间中。 因此，将类型添加到名称会导致警告。 您可以删除限定符

template<class T>
void func()
{
    cout << TWO << endl;
}

因为 TWO 在外部命名空间中是已知的。 您也可以将您的枚举移动到某种封闭结构。

struct EnumContainer
{
    enum MyEnum
    {
        ONE = 1, TWO, THREE
    };
};

template<class T>
void func()
{
    std::cout << T::TWO << std::endl;
}

int main()
{
    func<EnumContainer>();
};

现在编译器应该没问题了。

Answer 2

枚举（C++0x 之前）被视为整数类型。

事实上，符号 MyEnum::TWO 是垃圾：没有类或命名空间 MyEnum。名称 ONE、TWO 和 THREE 被带入定义枚举的命名空间[在本例中为全局命名空间]。

您应该收到类似TWO is not a member of MyEnum 的错误。

模仿行为的一种方法是将其放入结构或类中，就像其他人建议的那样。

Answer 3

虽然最好将枚举用作模板参数并让它在您编写它时分别识别每个单独的枚举，但它不会发生。相反，我建议您声明以下内容：

template<MyEnum T>
void func(){
    std::cout << T << std::endl;
}

C++ 的伟大之处在于模板的结构方式为您提供了一个完整的车削系统。因此，您不需要像这样单独调用，因为您已声明获取每个单独的枚举值。你可以为每个值创建一个单独的函数当你需要它并且只在你需要它的时候。

现在，正如@delnan 评论的那样，解决您问题的另一个问题，您不能有两个具有相同名称的不同枚举。但是，您可以拥有一个具有名为 TWO 的成员变量的类，这样：

struct Foo{
    int TWO;
};

struct Bar{
    int TWO;
};

template<typename T>
void func(){
    std::cout << T::TWO << std::endl;
}

希望对您有所帮助。