c++ - 为什么编译器不能在通过引用传递二维数组的情况下计算数组的大小

Question

只是想知道 - 我写了以下函数

template <class T, size_t N>
T* asFlatArray (T arr[][N])
{
    // some code
}

并称它为

asFlatArray(myArray); // where myArray is int myArray[some_size][sime_size];

编译运行没有错误。但是，如果我将“arr”更改为引用

template <class T, size_t N>
T* asFlatArray (T (&arr)[][N])
{
    // some code
}

我会有错误:

parameter ‘arr’ includes reference to array of unknown bound ‘T [][N]’

我知道怎么解决

template <class T, size_t Rows, size_t Columns>
T* asFlatArray (T (&arr)[Rows][Columns])

但我不明白为什么会这样？

Answer 1

根本问题是第一个函数模板等同于

template <class T, size_t N>
T* asFlatArray (T (*arr)[N]) {}

所以没有维度可以计算。它将匹配一个指向数组的指针，或者任何可以衰减为指向数组的指针的东西。因此也可以匹配二维数组。

至于第二个例子，指向T[][N]类型的引用或指针不能作为函数参数，这会导致编译器错误。当然，您可以为缺少的维度添加一个额外的模板参数:

template <class T, size_t N, size_t M>
T* asFlatArray(T (&arr)[N][M]) {}