1. 为什么需要关注for循环的不同写法
在C++开发中，for循环是最基础也是最常用的控制结构之一。但很多开发者可能没有意识到，不同的for循环写法在性能、可读性和适用场景上存在显著差异。我见过太多代码库因为循环使用不当导致的性能瓶颈，也调试过不少因为循环边界条件处理不当引发的诡异bug。
for循环的演变史本身就是C++语言发展的一个缩影。从传统的C风格三表达式for循环，到C++11引入的基于范围的for循环(range-based for)，再到C++17新增的初始化语句支持，每一种新特性的加入都让我们的代码更简洁、更安全、更高效。
2. 传统C风格for循环详解
2.1 基本语法结构
cpp复制for (初始化语句; 条件表达式; 迭代表达式) {
// 循环体
}
这是最经典的for循环形式，由三个部分组成：
- 初始化语句：在循环开始时执行一次，通常用于声明和初始化循环计数器
- 条件表达式：每次迭代前检查，为true则执行循环体
- 迭代表达式：每次迭代后执行，通常用于更新计数器
2.2 典型使用场景
cpp复制// 遍历数组
int arr[] = {1, 2, 3, 4, 5};
for (int i = 0; i < 5; ++i) {
cout << arr[i] << endl;
}
// 逆序遍历
for (int i = 4; i >= 0; --i) {
cout << arr[i] << endl;
}
注意：在C++中习惯使用前置递增(++i)而非后置递增(i++)，因为前者通常效率更高，特别是在涉及迭代器时。
2.3 常见陷阱与优化
- 循环变量作用域：传统for循环的计数器变量会泄漏到外部作用域。C++17后可以在初始化语句中声明变量：
cpp复制for (int i = 0; i < n; ++i) { ... }
// i 在这里仍然可见（C++17前）
for (int i = 0; i < n; ++i) { ... }
// i 在这里不可见（C++17后）
- 浮点数循环：避免用浮点数作为循环计数器，因为精度问题可能导致意外结果：
cpp复制// 不推荐
for (double d = 0.0; d != 1.0; d += 0.1) { ... }
// 推荐做法
for (int i = 0; i <= 10; ++i) {
double d = i * 0.1;
// ...
}
3. 基于范围的for循环（C++11）
3.1 语法与基本用法
cpp复制for (声明 : 表达式) {
// 循环体
}
这种语法糖极大地简化了容器遍历：
cpp复制vector<int> vec = {1, 2, 3, 4, 5};
// 值拷贝方式（修改不影响原容器）
for (int val : vec) {
val *= 2;
}
// 引用方式（可修改原容器元素）
for (int &val : vec) {
val *= 2;
}
// const引用（只读访问）
for (const int &val : vec) {
cout << val << endl;
}
3.2 实现原理与自定义支持
范围for循环背后依赖于begin()和end()函数。要让自定义类型支持范围for，需要实现这两个函数：
cpp复制class MyContainer {
int data[5] = {1, 2, 3, 4, 5};
public:
int* begin() { return &data[0]; }
int* end() { return &data[5]; }
};
MyContainer c;
for (int val : c) {
cout << val << endl;
}
3.3 性能考量与限制
- 临时对象陷阱：
cpp复制// 危险：临时vector在每次迭代时都会重新创建
for (auto val : getVector()) { ... }
// 正确做法
auto temp = getVector();
for (auto val : temp) { ... }
- 不支持反向遍历：范围for总是从begin()到end()，如需反向遍历仍需使用传统for或反向迭代器。
4. C++17中的for循环增强
4.1 带初始化的范围for循环
C++17允许在for语句中初始化变量：
cpp复制for (auto vec = getVector(); auto &val : vec) {
cout << val << endl;
}
这避免了临时变量污染外部作用域，同时保证了临时对象的生命周期。
4.2 结构化绑定支持
结合结构化绑定，可以优雅地遍历map等容器：
cpp复制map<string, int> m = {{"a", 1}, {"b", 2}};
// C++17前
for (const auto &pair : m) {
cout << pair.first << ": " << pair.second << endl;
}
// C++17结构化绑定
for (const auto &[key, value] : m) {
cout << key << ": " << value << endl;
}
5. 其他变体与特殊用法
5.1 无限循环的for写法
cpp复制for (;;) {
// 等同于 while(true)
if (condition) break;
}
这种写法比while(true)更常见于生产代码，可能是因为历史原因和编译器优化考虑。
5.2 多变量循环
cpp复制for (int i = 0, j = 10; i < j; ++i, --j) {
cout << i << " " << j << endl;
}
注意多个表达式要用逗号分隔，这在某些并行处理的场景下很有用。
5.3 无循环体的for循环
有时循环体本身可以放在迭代表达式中：
cpp复制// 跳过空格
for (; *str == ' '; ++str) ;
这种写法要谨慎使用，容易造成代码可读性下降。
6. 性能对比与最佳实践
6.1 各写法的性能差异
通过一个简单的vector遍历测试：
cpp复制vector<int> largeVec(1000000, 1);
// 传统for
for (size_t i = 0; i < largeVec.size(); ++i) {
sum += largeVec[i];
}
// 范围for
for (int val : largeVec) {
sum += val;
}
// 迭代器
for (auto it = largeVec.begin(); it != largeVec.end(); ++it) {
sum += *it;
}
在现代编译器优化下，这三种写法性能几乎相同。但传统for循环如果每次调用size()可能略有开销：
cpp复制// 较差
for (int i = 0; i < vec.size(); ++i)
// 较好
for (size_t i = 0, n = vec.size(); i < n; ++i)
6.2 选择指南
- 优先使用范围for：当只需要顺序遍历容器元素时，这是最简洁安全的选择。
- 需要索引时用传统for：如需要知道当前元素的索引位置。
- 复杂迭代逻辑用传统for：如非连续步进或多变量控制。
- C++17特性充分利用：初始化语句和结构化绑定能让代码更清晰。
6.3 常见错误排查
- 迭代器失效：
cpp复制vector<int> vec = {1, 2, 3, 4, 5};
for (auto it = vec.begin(); it != vec.end(); ++it) {
if (*it == 3) {
vec.erase(it); // 错误！迭代器失效
}
}
- 范围for中的容器修改：
cpp复制vector<int> vec = {1, 2, 3};
for (int val : vec) {
if (val == 2) {
vec.push_back(4); // 可能导致未定义行为
}
}
7. 现代C++中的函数式替代方案
虽然不属于for循环，但在C++20中，一些函数式编程风格的操作可以作为替代：
cpp复制vector<int> vec = {1, 2, 3, 4, 5};
// 使用算法库
for_each(vec.begin(), vec.end(), [](int val) {
cout << val << endl;
});
// C++20范围库
ranges::for_each(vec, [](int val) {
cout << val << endl;
});
这些方法在特定场景下可能更清晰，特别是需要链式操作时。