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 」の検索がそれぞれ少なくとも1つの宣言を見つける場合、 /* begin-expr */ は /* range */ . begin ( ) となり、 /* end-expr */ は /* range */ . end ( ) となる。
• それ以外の場合、 /* begin-expr */ は begin ( /* range */ ) となり、 /* end-expr */ は end ( /* range */ ) となる。ここで「 begin 」および「 end 」は 実引数依存の名前検索 によって見つけられる（非ADLルックアップは行われない）。

ループを statement 内で終了させる必要がある場合、 break statement を終了文として使用できます。

現在の反復処理をstatement内で終了させる必要がある場合、 continue statement をショートカットとして使用できます。

init-statement で導入された名前が statement の最も外側のブロックで再宣言された場合、プログラムは不適格となります：

for (int i : {1, 2, 3})
    int i = 1; // エラー: 再宣言

一時範囲初期化子

range-initializerが一時オブジェクトを返す場合、その寿命は転送参照/* range */への束縛によって示されるように、ループの終了まで延長されます。

範囲初期化子内のすべての一時オブジェクトの寿命は延長されない range-initializer それらがそうでなければ range-initializer の終了時に破棄される場合を除く (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 が braced-enclosed initializer list である場合、 /* range */ は std::initializer_list への参照として推論されます。

転送参照に対して推論を使用することは安全であり、実際、ジェネリックコードでは推奨されます、 for ( auto && var : sequence ) 。

メンバー解釈は、範囲型が「 begin 」という名前のメンバーと「 end 」という名前のメンバーを持つ場合に使用されます。これは、メンバーが型、データメンバー、関数、または列挙子であるかどうか、およびそのアクセシビリティに関係なく行われます。したがって、 class meow { enum { begin = 1 , end = 2 } ; /* rest of class */ } ; のようなクラスは、名前空間スコープの「 begin 」/「 end 」関数が存在する場合でも、範囲ベースの 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) // const参照によるアクセス
        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)
    // typedef宣言を初期化文として使用 (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++規格に対して遡及的に適用されました。

関連項目