C++20改进for循环语法

背景

在 C++20 之前，若要在一个 for 循环中同时获取数组元素的索引和值，写法往往比其他语言繁琐。例如，Python 可通过 enumerate 轻松实现，Lua 有内置的 ipairs 迭代器，而 C++17 及更早版本则必须手动维护索引变量并额外取出元素引用。这一差异体现了 C++ 在语法糖上的不足——尽管功能等价，但代码更冗长，可读性也打折扣。

核心内容

假设我们要输出如下带编号的单词列表：

1: the
2: quick
3: brown
4: fox
5: jumped
6: over
7: the
8: lazy
9: dog

在 Python 中，可以这样写：

vec = [
    "the", "quick", "brown", "fox",
    "jumped", "over", "the", "lazy", "dog"
]
for i, it in enumerate(vec, start=1):
    print(f"{i}: {it}")

在 Lua 中：

local vec = {
    "the", "quick", "brown", "fox",
    "jumped", "over", "the", "lazy", "dog"
}
for i, it in ipairs(vec) do
    print(i .. ": " .. it)
end

而在 C++17 及更早版本中，等价写法是：

vector<string> vec = {
    "the", "quick", "brown", "fox",
    "jumped", "over", "the", "lazy", "dog"
};
for (int i = 0; i < vec.size(); ++i)
{
    auto&& it = vec[i];
    cout << i << ": " << it << endl;
}

C++ 需要额外一行语句来引入元素引用，与其他语言相比显得不够简洁。

C++20 引入了 Range-based for statements with initializer（带初始化器的范围 for 语句），其机制与 C++17 的 if statement with initializer（带初始化器的 if 语句）类似。借助这一特性，上面的例子可以改写为：

vector<string> vec = {
    "the", "quick", "brown", "fox",
    "jumped", "over", "the", "lazy", "dog"
};
for (int i=0; auto&& it: vec)
    cout << (++i) << ": " << it << endl;

这里将索引变量 i 的声明放在了 for 循环的初始化部分，与范围迭代的声明 auto&& it: vec 并列，循环体内直接使用 ++i 获取自增后的索引。代码行数减少，结构更清晰，与其他语言的风格对齐。

关键要点

• 新语法：C++20 允许在 for (init; declaration : range) 形式中，使用 init 部分声明一个初始化变量（例如 int i=0），与范围迭代声明共存。
• 减少冗余：无需再手动写出索引递增与元素引用的额外语句，循环体内可同时访问索引和元素。
• 一致性：设计灵感来自 C++17 的带初始化器的 if 语句，延续了同一思路。
• 使用方式：初始化语句仅在循环进入前执行一次；通常配合 ++i 或 i++ 来同步索引（注意从 0 开始或从 1 开始的场景）。
• 兼容性：该特性是向后兼容的语法糖，不影响已有代码行为。

意义与影响

正如原文作者所言，这个改动看似微不足道，却是一块“语法糖”。当在整个代码库中广泛使用时，这种小改进能累积成可观的代码可读性和编写效率收益。C++ 标准委员会近年来持续引入实用特性，例如“带初始化器的 if 语句”、“结构化绑定”等，都在不破坏向后兼容性的前提下降低了日常编码的复杂度。该特性特别适合需要同时遍历索引和元素的场景（如处理有序列表、行号输出），也让 C++ 在迭代器风格的表达上更贴近 Python、Lua 等现代语言。作者呼吁开发者留意类似的质量改进特性，并分享发现，这反映了社区对语言持续进化的积极态度。