不用auto关键字，如何在C++中用foreach遍历打印二维数组？

1. 为什么二维数组外层用double不行？ #

C++里的二维数组本质是数组的数组，比如double nut_torques[N][M]，外层的每个元素都是一个double[M]类型的一维数组，而非单个double值。当你用范围for循环写double elem : nut_torques时，编译器会尝试把double[M]类型的数组转换成double，这属于非法类型转换，直接触发编译报错。

2. 不用auto时外层该用什么类型？ #

有两种实用选择：

• 数组引用：如果二维数组列数固定为M，外层循环可以写成double (&row)[M]，精准匹配外层的每个一维数组元素，且内层还能继续用范围for循环遍历。示例代码：

double nut_torques[2][3] = {{1.1, 2.2, 3.3}, {4.4, 5.5, 6.6}};
for (double (&row)[3] : nut_torques) {
    for (double val : row) {
        std::cout << val << " ";
    }
    std::cout << "\n";
}

如果不需要修改数组，改成const double (&row)[3]会更安全。

• 指针类型：外层用double* row，因为数组名会隐式转换成指向首元素的指针，这里的row就是指向当前一维数组第一个元素的指针。注意这种情况下内层没法直接用范围for（指针不带数组长度信息），得用普通索引循环：

double nut_torques[2][3] = {{1.1, 2.2, 3.3}, {4.4, 5.5, 6.6}};
for (double* row : nut_torques) {
    for (int i = 0; i < 3; ++i) {
        std::cout << row[i] << " ";
    }
    std::cout << "\n";
}

3. 范围for（foreach）是否自动解引用并自增？ #

是的，范围for循环会自动处理迭代的核心逻辑，等价于手动写指针遍历的简化版：
对于数组nut_torques，范围for会在编译期转换成类似下面的代码：

auto begin = nut_torques; // 数组名转成指向第一个一维数组的指针
auto end = nut_torques + 2; // 2是二维数组的行数
for (; begin != end; ++begin) { // 自动自增指针
    double (&row)[3] = *begin; // 自动解引用指针，拿到当前一维数组
    // 内层循环逻辑
}

简单来说：范围for会自动帮你获取数组的起始/结束位置，每次迭代自动移动到下一个元素（自增），并解引用得到当前元素的值或引用，无需手动操作指针或索引。

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