为什么编译器不能从函数参数推导出我的模板值？

Question

以下内容将无法编译：

enum E {A,B,C};
template<E m> 
void foo(E m) {}

int main() {
    foo(A);
    return 0;
}

null

我不明白这里到底出了什么问题。为什么编译器不能从函数参数推导出模板参数？

我需要做什么才能让这个工作？

Answer 1

如果需要运行时参数，请使用：

void foo(E m) {}

它的值M类型为E。（注意：不需要模板 )

如果需要编译时参数，请使用：

template<E m> 
void foo() {}

foo<A>();

template<typename E> 
void foo(E m) {}

static_assert(std::is_enum<E>::value, "E is not an enumeration");

在函数体中。（如果需要，还可以使用SFINAE从重载集中删除foo，询问是否需要帮助）

更新：解释您的原始代码及其错误：

template<E m> void foo(E m) {}
//       ^^^ (1)       ^^^ (2)

（1）是编译时参数M，类型为E，(2)是运行时参数，也称为M，类型为E。由于它具有相同的名称，第二个参数隐藏了第一个参数。在函数中使用名称m只能访问第二个参数，而不能访问第一个参数。现在考虑：

template<E m1> void foo(E m2) {}

foo<A>(B);

根据您需要的类型或参数（编译时或运行时），只需省略不需要的参数，就可以得到上述实现之一。

我不是100%清楚您真正的问题在哪里，这对于初学者来说并不罕见，因为要描述一个您并不真正理解的问题确实很难，但请确保您从理解编译时和运行时参数之间的区别以及如何使用它们开始。