c++ - "when use an array"中用途的准确描述是什么

Question

When we use an array, it is converted automatically to a pointer to its first element. (c++ primer 5th ed. pp129)

int ia[3][4];

for (auto p = ia; p!= ia + 3; ++pp){
  for (auto q = *p; q ! = *p + 4; ++q)
     cout << *q << ' ';
  cout << endl;
}

上面的代码片段是引用的一个很好的例子。 p是一个指针指向一个包含四个整数的数组而q是一个指向int的指针

但是，基于 for range 的循环有不同的故事

for (auto row: ia) // the code won't compile in fact 
  for (auto col: row) 

这里，row 的类型是指向 int 的指针(第二个循环无法编译的原因)。这是为什么？这不是使用数组的情况吗？

Answer 1

“使用数组”是一个非常随意的表达方式。

要了解数组的用法，首先要了解基于范围的for循环的作用。让我们扩展您的外部循环以使用等效的常规 for 循环(我已经简化了一点):

{
    for (auto __begin = std::begin(ia), __end = std::end(ia);
            __begin != __end; ++__begin) {
        auto row = *__begin;

        for (auto col: row); // oops. Cannot use range-for with a pointer
    }
}

这里的问题是，auto row 的推导类型是什么？

*__begin 的结果是一个“4 整数数组”类型的左值。 auto 遵循模板参数推导规则。参数不能是数组对象，因此 auto 永远不能被推断为数组。数组类型衰减为指向第一个元素的指针，即在这种情况下指向 int 的指针。

一个参数可以推断为“对 4 个整数的数组的引用”，所以这将起作用:

for (auto& row: ia)
    for (auto col: row)