C++数组参数函数中foreach循环报错的原因及修复方案

当你把原生数组作为函数参数传递时，数组会自动退化为指针——也就是说，函数里的int setOfNumbers[]本质上等价于int* setOfNumbers，只保存了数组首元素的地址，完全丢失了数组的长度信息。

范围for循环（foreach）的工作逻辑是调用begin()和end()获取容器的首尾边界，但指针不属于容器类型，编译器无法从指针推导数组的长度，因此会报找不到begin/end的错误。

以下是几种保留范围for循环的可行方案：

方案1：用模板推导数组大小（适配任意原生数组） #

通过模板参数自动推导数组长度，让函数接收数组的引用（避免退化）：

#include <iostream>
#include <algorithm> // 需包含此头文件使用std::max

template <size_t ArraySize>
int maximum(int (&setOfNumbers)[ArraySize]) {
    int value = setOfNumbers[0];
    for (int n : setOfNumbers) {
        value = std::max(n, value);
    }
    return value;
}

int main() {
    int a[] = {1, 2};
    std::cout << maximum(a);
    return 0;
}

模板会根据传入的数组自动计算ArraySize，此时参数是数组的引用，不会退化为指针，范围for循环可正常遍历整个数组。

方案2：用std::span（C20及以上，现代C推荐） #

std::span是C++20引入的轻量级容器视图，它能同时包裹指针和长度信息，完美适配范围for循环：

#include <iostream>
#include <algorithm>
#include <span> // 必须包含的头文件

int maximum(std::span<int> setOfNumbers) {
    int value = setOfNumbers[0];
    for (int n : setOfNumbers) {
        value = std::max(n, value);
    }
    return value;
}

int main() {
    int a[] = {1, 2};
    std::cout << maximum(a); // 原生数组可直接隐式转换为std::span
    return 0;
}

std::span既保留了原生数组的性能，又提供了容器的便捷操作，还支持动态大小的数组，灵活性拉满。

方案3：用std::array代替原生数组 #

如果数组大小固定，可使用std::array（C++11及以上），它不会在传递时退化为指针：

#include <iostream>
#include <algorithm>
#include <array>

int maximum(const std::array<int, 2>& setOfNumbers) {
    int value = setOfNumbers[0];
    for (int n : setOfNumbers) {
        value = std::max(n, value);
    }
    return value;
}

int main() {
    std::array<int, 2> a = {1, 2};
    std::cout << maximum(a);
    return 0;
}

这种方法的缺点是数组大小必须在编译时确定，适配场景相对有限。

内容的提问来源于stack exchange，提问作者The Bluehame Owl