c++ - 为什么模板函数接收带有一维引用的二维数组，而普通函数不接收

Question

void fun (char (&a)[2])  // 1D reference
{}

template<typename T, int SIZE>
void funT (T (&a)[SIZE])  // 1D reference
{}

int main ()
{
  char c[2][2];  // 2D array
  fun(c);  // error
  funT(c); // ok !!!??
}

我预计 fun() 会出错，但为什么 funT() 可以正常工作!标准中是否有针对此类行为的任何引用，或者 Is it a bug in C++ language？

Answer 1

因为 c 的类型不是 char [2]，所以它与第一个不匹配功能。在模板情况下，T 解析为 char [2]，这意味着最后的参数类型是 char (&a)[2][2]。 (你可以这样想因为 T 成为 typedef 到 char[2] 的等价物，并且在此基础上扩展参数类型。)