C++：自动变量推导不同的循环范围与多维数组的正常循环

Question

以下是：

int ia [3][4] =  {
                        {0, 1, 2, 3},
                        {4, 5, 6, 7},
                        {8, 9, 10, 11}
                     };

1. 正常分配：

   auto p = ia;
   

   这是可以理解的。
   数组 ia 返回指向其第一个元素的指针，该元素是 4 个元素的第一行（4 个元素的批次）。
   p 有 int (*)[4]。执行 p + 1 将指向下一批 4 个元素。

2. 使用范围：

   for (auto row : ia) {
           for (auto col: row)
                   cout << col << " ";
           cout << endl;
   }
   

   为什么 row 不是 int (*)[4]，因为每个循环都像前面的示例一样返回 4 个元素的批次？
   相反，它是 int *.
   当我将鼠标悬停在 row 变量上时，它给了我 int *..

谢谢

Answer 1

基于范围的for 循环获取每个数组元素，并在每个循环轮次中从给定初始化程序派生的声明或表达式中使用它。数组元素的类型为 int[4]，因此对于表示当前范围元素的发明变量 int __elem[4]，您的循环体有效地表示：

const auto row = __elem;   // __elem is int[4]

现在看起来应该很熟悉：右边的数组表达式衰减为指向其第一个元素的指针，因此类型为int。

如果你想避免衰减，你需要绑定一个reference来代替：

const auto& row = __elem;    // row is int(&)[4]

把它放回到你的基于范围的循环中，你想要：

for (const auto& row : ia) {
    for (const int& cell : row) {
        // ...
    }
}