c++ - 非模板类型参数

Question

我有这个模板函数:

template<int i> void f(int a[i]) { };

int main () {
   int c[10];
   f(c); // Causes an error!
}

为什么我不能将 c[10] 作为非模板类​​型参数传递给模板函数？

Answer 1

记住一个看起来像数组的函数参数实际上是一个指针，所以你的模板实际上等同于

template<int i> void f(int * a);

无法从函数参数中推导出模板参数。您可以明确指定它:

f<10>(c);

但这很容易出错；一个更好的选择是通过引用传递数组，这样就可以推导出模板参数:

template<int i> void f(int (&a)[i]);

或者，在 C++11 或更高版本中，您可以使用 std::array，这是一种明智的对象类型，没有任何内置数组类型的怪癖。