范围for循环（range-based for）是C++11标准引入的一项语法糖，它让遍历容器或序列的代码更加简洁直观。传统for循环依赖下标或迭代器，需要手动控制边界、自增和取值；范围for则直接给出元素本身，省去了很多模板代码。比如遍历一个vector时，传统写法要先获取容器大小，再通过下标访问，而范围for只需要写成for (auto x : vec)即可。下面这张图展示了范围for在编译器眼中的工作方式。
范围for循环的基本语法与执行过程
范围for的语法格式非常固定，形式为for (声明变量 : 范围表达式) { 循环体 }。其中声明变量用来接收容器中每个元素的值，范围表达式可以是数组、初始化列表、或者拥有begin和end成员函数的对象。编译器处理这行代码时，会先确定范围的边界，然后依次取出元素赋给变量。例如下面这段代码遍历一个整数数组：
#include <iostream>
int main() {
int arr[] = {10, 20, 30, 40, 50};
for (int n : arr) {
std::cout << n << " ";
}
return 0;
}这里n在每次循环中都是数组元素的拷贝，修改n不会影响原数组。如果希望避免拷贝，可以使用引用，例如for (const int& n : arr)，这样既能减少复制开销，又能防止误修改。范围for在编译阶段会被转换成传统for循环，通常等价于使用迭代器或指针遍历整个区间。对于数组，编译器知道元素的起始地址和结束位置，因此展开后的代码依然高效。
需要注意的是，范围for中的循环变量作用域仅限于循环体内，且每次迭代都会重新绑定到下一个元素。如果范围表达式返回的是临时对象，那么临时对象的生命周期会延长到循环结束。范围for不支持在循环体内改变容器大小，因为边界在进入循环时就已经确定，后续插入或删除元素会导致迭代器失效，从而引发未定义行为。这一点在遍历vector、list等动态容器时要格外留意。
使用auto遍历常见容器与元素修改技巧
大多数STL容器都支持范围for，无论是vector、list、set还是map。使用auto可以让编译器自动推导元素类型，减少手动指定类型的繁琐。对于map，遍历得到的是键值对类型std::pair，所以循环变量通常写成const auto&，直接访问pair.first和pair.second。下面展示遍历map的方式：
#include <iostream>
#include <map>
#include <string>
int main() {
std::map<std::string, int> scores;
scores["Alice"] = 95;
scores["Bob"] = 87;
scores["Carol"] = 92;
for (const auto& kv : scores) {
std::cout << kv.first << " : " << kv.second << std::endl;
}
return 0;
}auto在范围for中有三种常见写法：auto为值拷贝，auto&为左值引用，const auto&为只读引用。如果只是读取元素，使用const auto&是最安全的，它既不会产生拷贝，也不会不小心修改原始数据。需要修改容器中元素时，则使用auto&。例如把所有整数翻倍，可以写成for (auto& x : vec) { x *= 2; }。如果写成了for (auto x : vec)，修改的只是局部副本，原容器不会有任何变化，这是初学者容易犯的错误。
对于std::vector<bool>这种特殊情况，范围for需要注意它返回的是代理对象而不是bool引用，因此auto推导出的类型可能不是bool，这时如果强行使用auto&会出现编译错误。类似地，std::vector<bool>的operator[]也会返回代理类型。遇到这种情况，通常可以用值与const auto&配合，或者避免使用范围for而改用索引循环。除此之外，范围for在访问C风格二维数组时，外层元素是数组类型，使用auto&可以较方便地处理内层数组。
让自定义类型支持范围for循环
范围for并不仅限于标准库容器，任何提供begin和end成员函数的自定义类型都可以直接使用。如果自定义类型没有begin和end成员，但有自由函数版本的begin和end，也可以通过C++17的机制支持范围for。一个最简单的做法是在类中返回迭代器，迭代器至少要实现解引用、自增和不等于比较操作。下面实现一个简单的整数区间类：
#include <iostream>
#include <iterator>
class IntRange {
public:
IntRange(int start, int end) : start_(start), end_(end) {}
class Iterator {
public:
using iterator_category = std::forward_iterator_tag;
using value_type = int;
using difference_type = std::ptrdiff_t;
using pointer = int*;
using reference = int&;
explicit Iterator(int value) : value_(value) {}
int& operator*() { return value_; }
Iterator& operator++() { ++value_; return *this; }
bool operator!=(const Iterator& other) const { return value_ != other.value_; }
private:
int value_;
};
Iterator begin() const { return Iterator(start_); }
Iterator end() const { return Iterator(end_); }
private:
int start_;
int end_;
};
int main() {
for (auto x : IntRange(1, 10)) {
std::cout << x << " ";
}
return 0;
}上面的Iterator实现了前向迭代器的最基本接口，这样IntRange就能用范围for进行遍历。实际项目中如果不想手写迭代器，可以使用STL的辅助设施，例如std::ranges::views::iota，在C++20中提供了更优雅的解决方案。不过对于自定义容器，手写begin和end能帮助我们理解范围for的底层约定：只要容器能够被分解成首尾两个迭代器，并且迭代器支持基本操作，范围for就能正常工作。
实现begin和end时要注意返回类型一致，并且end返回的迭代器不能与begin指向同一序列时产生错误比较。通常begin返回第一个元素，end返回最后一个元素之后的位置。如果自定义类型的end实现有误，可能导致死循环或越界访问。建议在自定义容器中复用标准库容器的迭代器，比如内部用std::vector存储数据，那么begin和end直接返回内部容器的迭代器即可，这样可以大大减少出错概率。
范围for的底层机制与使用注意事项
范围for并不是语言层面的全新机制，它会被编译器转换成普通的for循环结构。对于容器类对象，转换结果大致等价于for (auto it = range.begin(); it != range.end(); ++it) { auto&& value = *it; ... }。对于数组，编译器则使用指针作为迭代器，begin对应数组首地址，end对应数组末尾之后的地址。因此范围for没有额外的性能损耗，它和手写迭代器循环的代码基本一致，优化后可以生成相同的机器码。
在循环体内部，应避免对正在遍历的容器进行添加或删除元素的操作。例如在遍历vector时调用push_back，如果发生扩容，原有迭代器会全部失效，程序行为不可预测。如果在list中删除当前元素，则需要使用erase返回值来更新迭代器，而范围for没有暴露迭代器，无法安全删除。因此遇到需要修改容器长度的场景，建议使用传统while循环配合迭代器，或者先收集需要删除的元素，遍历完成后再批量处理。
范围for还有一个常见的坑是临时容器。比如for (auto x : getVector())，如果getVector返回的是值而非引用，那么返回的临时vector会在范围for的整个生命周期内保持存活，但这并不意味着在循环体里修改x会反映到原始数据，因为getVector已经构造了一个副本。若想避免拷贝，可以用auto&&或者const auto&绑定临时对象，但必须清楚修改的范围。另外，当数组退化为指针后，范围for就失去了作用，因为指针没有begin和end成员，所以函数参数中的数组通常不能直接使用范围for，除非同时传入长度信息并借助std::span。
总结来看，范围for循环极大提升了遍历容器的代码可读性，减少了迭代器和下标的暴露。掌握auto、auto&和const auto&的区别，理解底层展开逻辑，并避免在循环中修改容器结构，就能充分发挥这一语法的优势。对于大部分只读遍历和原地修改元素值的场景，范围for都值得优先采用。
C++范围for循环range-based for容器遍历修改时间：2026-08-25 06:08:57