为什么 C++ 中的范围 for 不能直接用于函数形参的原因你知道吗？

前言

在讲原因之前首先我们要认识什么是范围 for 循环？这可以参考我之前的博客。
主要原因呢就是与 C++ 处理数组的方式和函数传递机制有关。接着我们先来看看范围 for 的两个使用条件。

范围 for 的使用条件

1. for 循环迭代的范围必须是确定的

对于数组而言，就是数组中第一个元素和最后一个元素的范围；对于类而言，应该提供 begin 和 end 的方法，begin 和 end 就是 for 循环迭代的范围。

//以下代码就有问题
void TestFor(int arr[])
{
	for(auto& e : arr)
	{
		cout << e << endl;
	}
}

2. 迭代的对象要实现++和==的操作。(PS：关于迭代器这个问题，这里的博客不会细讲，想知道全部细节的朋友移步至我的另一篇博客。)

具体原因

1. 数组作为函数参数的传递方式

在 C/C++ 中，数组作为函数参数传递时，并不会按照值传递整个数组，而是退化为指向数组首元素的指针。例如，对于一个数组形参 int arr[]，传递给函数时实际上传递的是一个 int* 类型的指针，指向数组的第一个元素。

void func(int arr[]) {
	//实际上 arr 是 int* 类型
}

2. 范围 for 循环的工作机制

范围 for 循环需要知道容器的确切范围，即起点和终点。它通常用于 STL 容器或其他提供了 begin() 和 end() 方法的容器类型。

int arr[] = {1, 2, 3, 4, 5, 6};
std::vector<int> vec = {1, 2, 3, 4, 5};
for (auto x : arr) {
	std::cout << x << " ";
}
for (auto it = vec.begin();it != vec.end(); ++it) {
	std::cout << *it << " ";
}
std::cout << std:: endl;

3. 数组退化为指针后失去范围信息

当数组退化为指针时，原数组的大小信息丢失，只剩下一个指针。范围 for 循环无法从一个指针中得知数组的边界，即数组的起始和结束位置。

解决方案

如果确实需要在函数参数中使用范围 for 循环，可以选择以下方法之一：

1.使用标准库容器（如 std::array 或 std::vector）

标准库容器可以在函数参数中保持其范围信息。

#include <array>
#include <vector>

void func(std::vector<int>& vec) {
	for (int x : vec) {
		std::cout << x << " ";
	}
}

void func(std::array<int, 10>& arr) {
	for (int x : arr) {
		std::cout << x << " ";
	}
}

2. 传递数组和大小

我们可以定义一个结构体，将数组和大小信息封装在一起，并为该结构体定义begin 和 end 方法。

#include <iostream>

// 定义一个结构体，封装数组和大小
struct ArrayWrapper {
    int* array;
    std::size_t size;

    // 提供begin()和end()方法
    int* begin() {
        return array;
    }

    int* end() {
        return array + size;
    }

    // const 版本的begin()和end()方法
    const int* begin() const {
        return array;
    }

    const int* end() const {
        return array + size;
    }
};

// 函数参数使用ArrayWrapper结构体
void func(const ArrayWrapper& wrapper) {
    // 使用范围for循环遍历数组
    for (int x : wrapper) {
        std::cout << x << " ";
    }
    std::cout << std::endl;
}

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

    func(wrapper);

    return 0;
}

解释

结构体 ArrayWrapper ：该结构体封装了一个指向数组的指针和数组的大小。begin 和 end 方法：结构体提供了 begin 和 end 方法，这些方法返回指向数组起始和结束位置的指针。
函数 func：函数参数是 ArrayWrapper 结构体，函数内部使用范围 for 循环遍历数组。
main 函数：在 main 函数中，定义了一个数组，并用这个数组初始 ArrayWrapper 结构体，然后将该结构体传递给 func 函数。通过这种方式，我们可以在函数参数中传递数组和大小，并且在函数内部使用范围 for 循环进行遍历。

3. 模板参数

使用模板参数将数组的大小传递给函数。

template <std::size_t N>
void func(int (&arr)[N]) {
	for (int x : arr) {
		std::cout << x << " ";
	}
}

总结

范围 for 循环不能直接用于函数形参的数组是由于在传递过程中退化为指针，失去了范围信息。通过使用标准库容器、显示传递数组大小或使用模板函数，可以在函数中方便地处理数组并使用范围 for 循环。