对数组参数感到困惑

Question

这是C++ Primer 5th edition中的一个练习，内容如下：

练习 6.24：解释下列函数的行为。如果代码中存在问题，请解释它们是什么以及如何解决它们。

void print(const int ia[10])
{
    for (size_t i = 0; i != 10; ++i)
        cout << ia[i] << endl;
}

我在代码中找不到任何问题。这个练习有什么意义？

Answer 1

一般的问题是，在 C++ 声明语法中，函数参数声明中的数组类型意味着一些不直观的东西：声明为 T[] 或 T[10] 或 T[1279] 的参数实际上被声明为 T* –所有这些参数声明都是相同的。*

请记住，C++ 中没有数组类型的纯右值，因此数组类型不能是函数参数或返回类型。 （当用作纯右值时，数组衰减为指向其第一个元素的指针。）

因此，你的函数声明实际上是（T = const int）：

void print(const int *);

这种参数类型与数组到指针的衰减配合得很好，但现在很清楚你可以将 any 指向int 的指针传递给这个函数，以及函数执行的正确性不能仅从函数定义中确定。

_{*) 有点more complicated in C99.}

---

附带说明，数组 glvalues 非常好，以下函数的参数类型为“对数组的引用”：

void print10(const int (&a)[10])
{
    for (auto i : a) { std::cout << i << "\n"; }
}