Rust ラベル付きループの書き方と活用：ネストした反復処理をスマートに制御する手法

Rustでプログラミングを行っていると、複数のループを重ねる「多重ループ（ネスト）」が必要になる場面が多々あります。

通常のループ制御では、内側のループから脱出する際にフラグ変数を用意したり、複雑な条件分岐を書いたりしなければなりませんが、Rustにはこれをスマートに解決する「ラベル付きループ」という強力な機能が備わっています。

本記事では、Rustにおけるラベル付きループの書き方から、実戦で役立つ具体的な活用手法まで、エンジニアが知っておくべき知識を詳しく解説します。

Rustにおけるラベル付きループの基本概念

Rustのループ構造（loop、while、for）には、任意のラベルを付与することができます。

ラベルは、シングルクォートから始まる識別子（例：'outer:）を用いて記述します。

このラベルを使用することで、特定のループを対象とした制御を明示的に指定できるようになります。

C言語やJavaなどの言語にも同様の機能は存在しますが、Rustではこのラベルがコンパイル時の安全性と型システムに深く統合されているのが特徴です。

特に多重ループにおいて、どの階層から脱出するかを直感的に記述できるため、コードの可読性を大幅に向上させることが可能です。

ラベル付きループは、単なる制御構文の拡張ではなく、Rustが目指す「安全で表現力の高いプログラミング」を実現するための重要なパーツと言えます。

ラベル付きループの基本構文

まずは、最も基本的なラベルの書き方を確認しましょう。

ラベルはループの直前に配置し、コロン : を末尾に付けます。

fn main() {
    // 'outerという名前のラベルを定義
    'outer: loop {
        println!("外側のループを開始");

        loop {
            println!("内側のループ");
            // 外側のループを終了させる
            break 'outer;
        }
    }
    println!("プログラムを終了");
}

外側のループを開始
内側のループ
プログラムを終了

上記の例では、'outer というラベルを外側の loop に付けています。

内側のループの中で break 'outer; を実行することで、通常の break では不可能な「2段階の脱出」を一行で実現しています。

この構文により、フラグ変数を用いた複雑な制御フローを排除できるのが大きなメリットです。

break文とラベルの高度な組み合わせ

ラベル付きの break は、単にループを抜けるだけではありません。

特定の条件を満たしたときに、即座に計算を打ち切りたい多次元配列の探索などで威力を発揮します。

多次元配列からの早期脱出

例えば、2次元配列の中に特定の数値が存在するかをチェックする場合を考えてみましょう。

fn find_value(matrix: &[[i32; 3]; 3], target: i32) -> bool {
    let mut found = false;
    'search: for row in matrix {
        for &item in row {
            if item == target {
                found = true;
                // ターゲットが見つかったので、すべてのループを抜ける
                break 'search;
            }
        }
    }
    found
}

fn main() {
    let matrix = [
        [1, 2, 3],
        [4, 5, 6],
        [7, 8, 9],
    ];
    let result = find_value(&matrix, 5);
    println!("発見フラグ: {}", result);
}

発見フラグ: true

このコードでは、内側のループで見つかった瞬間に break 'search; が呼ばれます。

これにより、無駄なループ計算を継続することなく、関数の戻り値を決定する処理へ移行できます。

ラベルがない場合、内側のループを抜けた後、外側のループでも再度 break が必要になりますが、ラベル付きループならその手間が不要です。

continue文とラベルの活用

break だけでなく、continue 文にもラベルを使用することが可能です。

これは、ネストされたループにおいて、「内側のループから外側のループの次のイテレーションへ飛ばしたい」場合に非常に便利です。

特定のパターンをスキップするデータ処理

以下の例は、多重ループ内でのデータフィルタリングを模したものです。

fn main() {
    'outer: for i in 1..=3 {
        println!("外側のイテレーション: {}", i);
        for j in 1..=3 {
            if i == j {
                println!("  iとjが等しいため、次の外側ループへ移動");
                // 外側のループの次のステップへ進む
                continue 'outer;
            }
            println!("  内側の処理: j = {}", j);
        }
    }
}

外側のイテレーション: 1
  iとjが等しいため、次の外側ループへ移動
外側のイテレーション: 2
  内側の処理: j = 1
  iとjが等しいため、次の外側ループへ移動
外側のイテレーション: 3
  内側の処理: j = 1
  内側の処理: j = 2
  iとjが等しいため、次の外側ループへ移動

continue 'outer; を呼び出すと、それ以降の内側ループの処理は行われません。

制御は即座に 'outer ラベルが付いたループの次の回（インクリメント後）に移ります。

これにより、特定の条件に合致した場合に処理対象をスキップするロジックを簡潔に記述できます。

ラベル付きループからの値の返却

Rustの loop は、式（Expression）として評価されるため、値を返すことができます。

ラベル付きループでも同様に、break を通じて値を返すことが可能です。

これは他の言語にはあまり見られない、Rust特有の非常に強力な機能です。

ネストから値を直接取り出す手法

多重ループの結果として得られた値を、そのまま変数に代入する例を見てみましょう。

fn main() {
    let result = 'processing: loop {
        for x in 1..10 {
            for y in 1..10 {
                if x * y == 42 {
                    // ラベルを指定して値を返す
                    break 'processing format!("x: {}, y: {}", x, y);
                }
            }
        }
    };

    println!("結果: {}", result);
}

結果: x: 6, y: 7

このように、break 'label value; という構文を使うことで、ネストの深さに関わらず計算結果を直接外部へ取り出すことができます。

一時的な変数を用意して値を保持しておく必要がなく、変数のスコープを最小限に抑えることが可能です。

コードがより宣言的になり、バグが混入する隙を減らすことができます。

ラベル付きループの実践的なメリット

なぜラベル付きループを積極的に利用すべきなのでしょうか。

その最大の理由は、状態管理の複雑さを解消できる点にあります。

フラグ変数の削減

通常、ラベルを使わずにネストしたループを抜けるには、以下のようなコードを書く必要があります。

let mut is_done = false;
for i in 0..10 {
    for j in 0..10 {
        if condition(i, j) {
            is_done = true;
            break; // 内側を抜ける
        }
    }
    if is_done {
        break; // 外側を抜ける
    }
}

このような is_done といったフラグ変数は、コードの意図を読み取りにくくし、メンテナンス性を下げます。

ラベル付きループを使えば、このフラグ自体が不要になり、ロジックが直接的になります。

ゼロコスト抽象化の維持

Rustのラベル付きループは、実行時のオーバーヘッドが全くありません。

コンパイラによって効率的なジャンプ命令（アセンブリレベルの jmp など）に変換されるため、パフォーマンスを犠牲にすることなく可読性を高めることができます。

「綺麗に書くと遅くなる」というトレードオフが存在しない点は、システムプログラミング言語としてのRustの大きな強みです。

命名規則とベストプラクティス

ラベル付きループをより効果的に使うための注意点についても触れておきます。

ラベルの命名規則

Rustにおいて、ループラベルの命名は snake_case が推奨されます。

ライフタイム引数（'a など）と見た目が似ていますが、通常は 'outer や 'search、'main_loop のように意味のある名前を付けます。

短い 'a や 'b ではなく、役割が明確な名前を付けることで、コードの意図がより明確に伝わります。

過度な使用を避ける

ラベル付きループは非常に便利ですが、多用しすぎると「スパゲッティコード」のような構造を生む危険性もあります。

あまりにも深いネスト（3重、4重など）が発生している場合は、ラベルで解決する前に「関数への切り出し」を検討すべきです。

関数として切り出せれば、ラベルを使わずに return 文で終了させることができるため、設計全体がシンプルになります。

「2重ループからスマートに抜けたい」というケースにおいて、ラベル付きループは最も輝く手法と言えるでしょう。

ループの可読性をさらに高めるためのテクニック

ラベル付きループを導入する際、構造を整理するためのテーブルを以下に示します。

状況に応じて最適な制御手法を選択してください。

これらの手法を適切に組み合わせることで、Rustらしい安全で堅牢な反復処理が実現できます。

特に 2026年現在のRust開発においても、ラベル付きループはイテレータ（Iterator）と並んで重要な制御手法であり続けています。

イテレータの find や any では解決が難しい、副作用を伴う複雑な探索処理には、この命令的なラベル付きループが非常に適しています。

まとめ

Rustのラベル付きループは、ネストした反復処理を制御するための非常に洗練された仕組みです。

本記事では、その基本構文から break や continue との組み合わせ、さらにはループからの値の返却方法まで解説しました。

ラベルを使用することで、「フラグ変数の排除」「コードの可読性向上」「冗長な条件分岐の削減」といった多くのメリットを享受できます。

多重ループの制御に苦労している方は、ぜひこの機能を活用して、よりスマートなRustコードを書き上げてください。

まずは小さなネストからラベルを導入し、その便利さを体感してみることをおすすめします。