Question

我有一个模板函数，以及枚举上的模板规范。我希望程序在运行时根据枚举值选择模板规范。有可能吗？

以下代码出错：

error C2971: 'Func' : template parameter 'fruit' : 'fruit' : a local variable cannot be used as a non-type argument

代码：

enum class Fruit
{
    Apple,
    Orange,
    Count
};

template<Fruit>
void Func()
{}

template<>
void Func<Fruit::Apple>()
{
    std::cout << "Apple" << std::endl;
}

template<>
void Func<Fruit::Orange>()
{
    std::cout << "Orangle" << std::endl;
}

void Foo(Fruit fruit)
{
    Func<fruit>(); // error C2971: 'Func' : template parameter 'fruit' : 'fruit' : a local variable cannot be used as a non-type argument
}

int _tmain(int argc, _TCHAR* argv[])
{
    Foo(Fruit::Apple);
    return 0;
}

Answer 1

我希望程序在运行时根据枚举值选择模板规范。

不，那是不可能的。模板非类型参数必须在编译时可用。如果在运行时之前没有值，则只能将其作为函数参数传递。

正如TC建议的那样，可以对所有可能的值进行switch，并使用什么是编译时常量文字显式调用Func：

void Foo(Fruit fruit)
{
    switch (fruit) {
    case Fruit::Apple:
        Func<Fruit::Apple>();
        break;
    case Fruit::Orange:
        Func<Fruit::Orange>();
        break;
    // .. maybe other fruits here
    }
}

局部变量作为非类型参数，带有模板规范

1 个答案: