Range-based for loop (since C++11)

• 1 语法
• 2 解释
• 3 临时范围初始化器
• 4 注解
• 5 关键词
• 6 示例
• 7 缺陷报告
• 8 另见

语法

说明

上述语法生成的代码等效于以下内容 除了 range-initializer 临时对象的生存期扩展（参见 下文 ） (C++23 起) （包裹在 /* */ 中的变量和表达式仅用于说明）：

range-initializer 会被求值以初始化要迭代的序列或范围。该序列中的每个元素会依次被解引用，并用于初始化具有 item-declaration 中给定的类型和名称的变量。

item-declaration 可以是以下之一：

• 一个具有以下限制的 简单声明 ：
• 只能包含一个 声明符 。
• 声明符不能包含 初始化器 。
• 声明说明符序列 只能包含类型说明符和 constexpr ，且不能定义 类 或 枚举 。

说明性表达式 /* begin-expr */ 与 /* end-expr */ 定义如下：

• 如果 /* range */ 的类型是数组类型 R 的引用：

• 如果 R 具有边界 N ，则 /* begin-expr */ 为 /* range */ ，且 /* end-expr */ 为 /* range */ + N 。
• 如果 R 是未知边界的数组或不完整类型的数组，则程序非良构。

• 若 /* range */ 的类型是对类类型 C 的引用，且在 C 的作用域中查找名称 “ begin ” 和 “ end ” 各自找到至少一个声明，则 /* begin-expr */ 为 /* range */ . begin ( ) 且 /* end-expr */ 为 /* range */ . end ( ) 。
• 否则， /* begin-expr */ 为 begin ( /* range */ ) 且 /* end-expr */ 为 end ( /* range */ ) ，其中 “ begin ” 和 “ end ” 通过 实参依赖查找 找到（不执行非 ADL 查找）。

如果循环需要在 statement 内终止，可以使用 break 语句 作为终止语句。

若需要在 statement 中终止当前迭代，可使用 continue 语句 作为快捷方式。

如果在 init-statement 中引入的名称在 statement 的最外层块中被重新声明，则程序非良构：

for (int i : {1, 2, 3})
    int i = 1; // 错误：重复声明

临时范围初始化器

如果 range-initializer 返回一个临时对象，其生命周期将延长至循环结束，这是通过绑定到转发引用 /* range */ 实现的。

所有位于 范围初始化器 内的临时对象生命周期均不会延长 ，除非它们原本就会在 范围初始化器 结束时被销毁 (C++23 起) 。

// 如果 foo() 通过值返回
for (auto& x : foo().items()) { /* ... */ } // C++23 之前是未定义行为

for (T thing = foo(); auto& x : thing.items()) { /* ... */ } // OK

using T = std::list<int>;
const T& f1(const T& t) { return t; }
const T& f2(T t)        { return t; } // always returns a dangling reference
T g();
void foo()
{
    for (auto e : f1(g())) {} // OK: lifetime of return value of g() extended
    for (auto e : f2(g())) {} // UB: lifetime of f2's value parameter ends early
}

注释

如果 range-initializer 是一个 大括号包围的初始化列表 ， /* range */ 会被推导为 std::initializer_list 的引用。

在泛型代码中使用推导至转发引用是安全的，实际上更可取， for ( auto && var : sequence ) 。

当范围类型拥有名为“ begin ”和“ end ”的成员时，将采用成员解释方式。此规则与成员是类型、数据成员、函数还是枚举项无关，也与其可访问性无关。因此，即使存在命名空间作用域的“ begin ”/“ end ”函数，类似 class meow { enum { begin = 1 , end = 2 } ; /* 类其余部分 */ } ; 这样的类也无法用于基于范围的 for 循环。

虽然在 item-declaration 中声明的变量通常会在 statement 中使用，但并非必须如此。

当与具有写时复制语义的（非const）对象一起使用时，基于范围的 for 循环可能通过（隐式）调用非const begin() 成员函数触发深拷贝。

struct cow_string { /* ... */ }; // a copy-on-write string
cow_string str = /* ... */;
// for (auto x : str) { /* ... */ } // may cause deep copy
for (auto x : std::as_const(str)) { /* ... */ }

关键词

for

示例

#include <iostream>
#include <vector>
int main()
{
    std::vector<int> v = {0, 1, 2, 3, 4, 5};
    for (const int& i : v) // 通过常量引用访问
        std::cout << i << ' ';
    std::cout << '\n';
    for (auto i : v) // 通过值访问，i的类型为int
        std::cout << i << ' ';
    std::cout << '\n';
    for (auto&& i : v) // 通过转发引用访问，i的类型为int&
        std::cout << i << ' ';
    std::cout << '\n';
    const auto& cv = v;
    for (auto&& i : cv) // 通过转发引用访问，i的类型为const int&
        std::cout << i << ' ';
    std::cout << '\n';
    for (int n : {0, 1, 2, 3, 4, 5}) // 初始化器可以是
                                     // 花括号包围的初始化列表
        std::cout << n << ' ';
    std::cout << '\n';
    int a[] = {0, 1, 2, 3, 4, 5};
    for (int n : a) // 初始化器可以是数组
        std::cout << n << ' ';
    std::cout << '\n';
    for ([[maybe_unused]] int n : a)  
        std::cout << 1 << ' '; // 循环变量不需要被使用
    std::cout << '\n';
    for (auto n = v.size(); auto i : v) // 初始化语句（C++20）
        std::cout << --n + i << ' ';
    std::cout << '\n';
    for (typedef decltype(v)::value_type elem_t; elem_t i : v)
    // 类型定义声明作为初始化语句（C++20）
        std::cout << i << ' ';
    std::cout << '\n';
    for (using elem_t = decltype(v)::value_type; elem_t i : v)
    // 别名声明作为初始化语句（C++23）
        std::cout << i << ' ';
    std::cout << '\n';
}

0 1 2 3 4 5 
0 1 2 3 4 5 
0 1 2 3 4 5 
0 1 2 3 4 5 
0 1 2 3 4 5 
0 1 2 3 4 5 
1 1 1 1 1 1 
5 5 5 5 5 5 
0 1 2 3 4 5 
0 1 2 3 4 5

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

另见