为何C++11中数组作为参数传递后，无法在被调函数用foreach循环打印？

嘿，这个问题其实戳中了C++里数组作为函数参数的一个经典特性——数组退化为指针，咱们一步步把它说清楚：

为什么范围for循环编译失败？ #

没错，C++11的范围for循环确实需要知晓数组的大小才能正常迭代。原因在于：
当你把数组int arr[]传递给函数call(int a[])时，编译器会自动把这个函数参数a转换成int*指针（这就是所谓的“数组退化”）。而范围for循环的底层逻辑是依赖编译器获取容器/数组的begin()和end()边界，对于数组来说，它需要明确知道数组的长度才能生成正确的迭代范围；但指针本身没有任何长度信息，编译器根本不知道要遍历多少个元素，自然就会报错。

而你用传统C风格for循环的代码能正常运行，是因为你手动传递了数组的大小，通过下标a[i]访问指针指向的内存，这时候是你自己在管理遍历边界，和指针本身有没有长度信息无关。

范围for循环相比传统for循环的优势 #

虽然它有“需要知道容器/数组大小”的前提，但相比传统for循环，它的优势还是很明显的：

• 写法更简洁：不需要手动定义索引变量、写循环条件和自增逻辑，代码更紧凑
• 可读性更高：直接表达“遍历每个元素”的意图，不用去理解索引和边界的细节
• 更安全：避免了常见的循环边界错误（比如把i < size写成i <= size导致越界）
• 通用性强：对于STL容器（vector、list、map等）都能使用统一的遍历语法，不用针对不同容器写不同的遍历逻辑

怎么修改代码让范围for循环生效？ #

要在函数里用范围for循环遍历数组，关键是避免数组退化为指针，我们可以用模板+数组引用的方式来保留数组的大小信息：

#include <iostream>
using namespace std;

// 模板参数N会自动推导数组的大小
template <size_t N>
void call(int (&a)[N]) {
    for (int x : a)
        cout << x << endl;
}

int main() {
    int arr[] = {1,2,3,4,5};
    call(arr);
}

这里int (&a)[N]是数组的引用类型，编译器会根据传入的数组自动推导N的值，这样在函数内部a依然是完整的数组类型，范围for循环就能正常获取迭代边界了。

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