推断模板的非typename参数的值

Question

如果使用type参数定义模板

template <class T>
void f(const T& arg){...};

然后，即使没有显式提供参数T，编译器也可以推导出该参数。有没有办法用下面的模板达到同样的效果？

template <int n>
void g(){...};

我的意思是，当参数是值(int，bool等)而不是类型时，是否有模板参数推导的规则？

Answer 1

我的意思是，当参数是值(整型，布尔值等)而不是类型时，有没有模板参数推导的规则？

是的，它们与类型完全相同。但是，请注意，所有模板参数推导都依赖于已知的静态类型(即。不是运行时整数变量)的参数(除了转换运算符的情况下，其中返回类型算数)。

所以你可以这样做：

template <int n>
void g(int (&array)[n]){...};

并从数组的大小推导出n。