二维数组嵌套for循环疑问：为何修改后的代码无法运行？

嘿，这个问题问到点子上了！刚好能帮你理清C++中数组退化和range-based for循环的核心细节，咱们一步步拆解：

先看正确代码的本质 #

你写的第一个遍历代码是完全正确的：

int arr[3][3] = {{1,2,3}, {4,5,6}, {7,8,9}};
for (auto &row : arr){
    for (auto col : row) 
        cout << col << endl;
}

这里的auto &row是对arr中每一行（也就是int[3]类型的数组）的引用——引用会完整保留数组的类型信息，所以内层的range-based for循环能识别出row是一个可遍历的数组，自然能正常工作。

错误代码的问题出在哪？ #

再看你尝试的错误代码：

for( auto row : arr ){
    for ( auto col : *row) 
        cout << col << endl;
}

关键错误就在auto row的类型上！

当你不用引用时，C++会触发数组退化规则：二维数组arr的每一行是int[3]类型的数组，当你按值取row时，这个int[3]数组会直接退化为指向其第一个元素的指针——也就是int*，而不是你以为的“指向3个int组成的数组的指针（int(*)[3]）”。

那接下来的*row是什么？row是int*，*row就是这个指针指向的单个int值（比如arr[0][0]）。而range-based for循环要求遍历的对象必须是数组、容器，或者有begin()/end()成员函数的类型——单个int显然不满足这个条件，所以编译器才会报错“找不到适用于'int'类型的可调用'begin'函数”。

补个小知识点：如何拿到指向数组的指针？ #

如果非要用指针方式遍历（不推荐，不如用引用简洁），你需要显式指定row的类型为指向数组的指针，比如：

for (auto (*row)[3] = arr; row != arr + 3; ++row) {
    for (auto col : *row)
        cout << col << endl;
}

这里auto (*row)[3]明确声明了row是指向int[3]数组的指针，这样*row就是完整的int[3]数组，内层循环就能正常遍历了。但显然，用引用的写法要优雅得多。

核心总结 #

• 用range-based for遍历二维数组时，外层循环必须用引用auto& row，才能保留每一行的数组类型，避免退化。
• 不用引用的话，数组会退化为普通指针（int*），此时*row只是单个int值，无法被内层循环遍历。

内容的提问来源于stack exchange，提问作者Sean