c++ - 为什么 C++ 中的参数匹配会忽略数组大小？

Question

在此示例中，getSize() 返回数组的大小。

template <class T, size_t N>
size_t getSize(T(&array)[N])
{
   return N;
}

虽然这段代码无法编译:

template <class T, size_t N>
size_t getSize(const T array[N])
{
   return N;
}

经过一些研究，我得出结论，这意味着 C++ 将允许这样的事情:

void func(char c[10]) {}

int main()
{
   char c[5];
   func(c);
}

事实上，这段代码编译时甚至没有生成警告，这让我感到惊讶。如果实现数组大小检查，它会使代码更安全，第二个模板也可以编译并正常工作。这种编译器行为背后的原因是什么？

Answer 1

就像 C++ 中的许多其他东西一样，“因为 C 就是那样做的”。
(C 中的许多事情之所以如此，是因为 B 或 BCPL 就是这样做的。)

在 C++ 中就像在 C 中一样

void foo(int p[10]);

相当于

void foo(int p[]);

相当于

void foo(int *p);

也就是说，参数看起来是一个数组，但实际上是一个指针。
此函数的数组参数被隐式转换为指向其第一个元素的指针。

C 和 C++ 都允许您将指针 传递给特定大小的数组，如下所示

void foo(int (*p)[10]);

// ...
int a[10];
int b[20];
int *c;
foo(&a); // OK
foo(&b); // Not OK
foo(c);  // Not OK

C++ 对特定大小数组的引用(您的模板使用的数组)遵循这一点。