为什么 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++ 对一个特定大小的数组的引用，您的模板使用该数组。