1. C++11范围for循环基础解析
C++11引入的范围for循环（range-based for loop）彻底改变了我们遍历容器的方式。作为一名长期使用C++的开发者，我清楚地记得在C++11之前，每次遍历vector或数组都要写一堆繁琐的迭代器代码。现在，这个语法糖让我们能用更简洁的方式完成同样的工作。
范围for循环的基本语法结构非常简单：
cpp复制for (元素类型 变量名 : 容器/数组) {
// 循环体
}
但编译器实际上会将其展开为传统的迭代器形式：
cpp复制for (auto __begin = begin(container), __end = end(container);
__begin != __end; ++__begin) {
元素类型 变量名 = *__begin;
// 循环体
}
这个展开过程揭示了几个重要细节：
- 容器必须提供begin()和end()方法，或者支持ADL查找的begin/end自由函数
- 迭代器类型通过auto自动推导
- 循环控制仍然遵循传统for循环的三段式结构
注意：虽然语法看起来简单，但实际使用时有很多细节需要考虑，特别是当涉及到性能优化和元素修改时。
2. 四种基本使用形式详解
2.1 只读形式（值拷贝）
cpp复制vector<int> vec = {1, 2, 3, 4, 5};
for (int x : vec) {
x = x * 2; // 只修改拷贝
cout << x << " "; // 输出: 2 4 6 8 10
}
// vec仍然是 {1,2,3,4,5}
这种形式最简单，但性能最差。每次迭代都会创建元素的副本，对于大型对象或频繁遍历的场景会造成不必要的性能开销。我在实际项目中见过很多新手开发者误用这种形式，导致程序性能下降。
2.2 只读形式（const引用）
cpp复制for (const auto& x : vec) {
// x = 100; // 编译错误
cout << x << " "; // 无拷贝开销
}
这是我最推荐的只读访问形式。const auto& 既避免了拷贝开销，又保证了元素不会被意外修改。auto关键字让代码更简洁，同时保持类型安全。
2.3 修改原容器（非const引用）
cpp复制for (auto& x : vec) {
x *= 2; // 直接修改原元素
}
// vec变为 {2,4,6,8,10}
当需要修改容器元素时，必须使用引用形式。这里auto&会自动推导出正确的引用类型。我在代码审查中经常发现开发者忘记加&，导致修改无效。
2.4 移动语义（万能引用）
cpp复制for (auto&& x : vec) {
// 万能引用，可用于完美转发
}
这种形式在泛型编程中很有用，但日常开发中使用频率较低。它能够处理左值和右值引用，适合模板代码。
3. 不同数据结构的遍历实践
3.1 原生数组遍历
cpp复制int arr[] = {1, 2, 3, 4, 5};
for (int x : arr) {
cout << x << " ";
}
范围for循环完美支持原生数组，这是它比传统for循环更安全的地方。但要注意数组不能退化为指针：
cpp复制int* p = arr;
// for (int x : p) {} // 编译错误！
3.2 STL容器遍历
对于vector、list等顺序容器：
cpp复制vector<string> words = {"hello", "world"};
for (const auto& w : words) {
cout << w << " ";
}
对于map/set等关联容器：
cpp复制map<int, string> m = {{1, "one"}, {2, "two"}};
// C++11/14方式
for (const auto& pair : m) {
cout << pair.first << ":" << pair.second << endl;
}
// C++17结构化绑定（更简洁）
for (const auto& [key, value] : m) {
cout << key << ":" << value << endl;
}
3.3 初始化列表
cpp复制for (int x : {1, 2, 3, 4, 5}) {
cout << x << " ";
}
初始化列表在单元测试和简单示例中特别有用，避免了临时变量的定义。
3.4 字符串遍历
cpp复制string str = "hello";
// 只读
for (char c : str) {
cout << c;
}
// 修改
for (char& c : str) {
c = toupper(c);
}
// str变为 "HELLO"
4. 多维容器遍历技巧
4.1 二维数组
cpp复制int matrix[3][4] = {
{1, 2, 3, 4},
{5, 6, 7, 8},
{9,10,11,12}
};
// 必须用引用，避免数组退化为指针
for (auto& row : matrix) {
for (int col : row) {
cout << col << "\t";
}
cout << endl;
}
这里auto&是关键，如果省略&，row会退化为指针，内层循环将无法工作。
4.2 vector的vector
cpp复制vector<vector<int>> vv = {{1,2}, {3,4,5}, {6}};
for (const auto& row : vv) {
for (int x : row) {
cout << x << " ";
}
cout << endl;
}
5. 元素修改的正确方式
cpp复制vector<int> vec = {1, 2, 3, 4, 5};
// 错误：只修改拷贝
for (auto x : vec) {
x += 10; // vec不变
}
// 正确：使用引用
for (auto& x : vec) {
x += 10; // vec变为 {11,12,13,14,15}
}
// 条件修改
for (auto& x : vec) {
if (x % 2 == 0) {
x *= 2; // 偶数加倍
}
}
6. 常见陷阱与解决方案
6.1 迭代器失效问题
cpp复制vector<int> vec = {1, 2, 3, 4, 5};
// 危险！插入可能导致迭代器失效
for (auto x : vec) {
if (x == 3) {
vec.push_back(6); // 未定义行为
}
}
// 安全做法：使用索引或传统循环
for (size_t i = 0; i < vec.size(); ) {
if (vec[i] == 3) {
vec.push_back(6);
i++;
} else {
i++;
}
}
6.2 指针误用
cpp复制int* p = new int[5]{1,2,3,4,5};
// 错误：p是指针不是数组
// for (int x : p) { }
// 正确：传统循环
for (int i = 0; i < 5; i++) {
cout << p[i] << " ";
}
delete[] p;
6.3 不必要的拷贝
cpp复制vector<BigObject> vec(1000); // 假设BigObject很大
// 低效：每次循环拷贝整个对象
for (BigObject obj : vec) { }
// 高效：使用引用
for (const auto& obj : vec) { } // 只读
for (auto& obj : vec) { } // 修改
7. 自定义类型支持范围for
要让自定义容器支持范围for，需要提供begin()和end()方法：
cpp复制class MyContainer {
vector<int> data;
public:
// 必须提供begin/end
auto begin() { return data.begin(); }
auto end() { return data.end(); }
// const版本
auto begin() const { return data.begin(); }
auto end() const { return data.end(); }
};
// 使用
MyContainer c;
for (const auto& x : c) {
cout << x << " ";
}
8. 性能对比与最佳实践
| 形式 | 适用场景 | 性能 | 可修改性 |
|---|---|---|---|
for (T x : c) |
小对象，需要副本 | 最差（拷贝） | 否（改副本） |
for (const auto& x : c) |
只读访问大对象 | 最好（无拷贝） | 否 |
for (auto& x : c) |
需要修改原元素 | 好 | 是 |
for (auto&& x : c) |
泛型代码/完美转发 | 好 | 取决于类型 |
根据多年经验，我的建议是：
- 默认使用const auto&形式，除非需要修改元素
- 对于基本类型的小对象，值传递也可以接受
- 在模板代码中考虑使用auto&&
- 总是检查循环体内是否修改了容器结构
范围for循环极大简化了容器遍历代码，但正确使用需要理解其背后的机制。掌握这些细节后，你会发现它几乎能替代90%的传统for循环场景，让代码更简洁、更安全。