Rustは、メモリ安全性と高パフォーマンスを両立させるだけでなく、表現力の高い構文を持つプログラミング言語です。

その中でも特徴的な機能の一つが、制御フローの多くが「式 (expression)」として評価され、値を生成できる点にあります。

特に loop 式において break キーワードを使用して値を返す仕組みは、Rust特有の強力なパターンを提供します。

本記事では、Rustにおける break を用いた戻り値の制御方法について、基礎から応用的なユースケースまで詳しく解説します。

目次 [ close ]
  1. Rustにおける「式」としてのループ
  2. breakで値を返す基本構文
  3. なぜ while や for では値を返せないのか
  4. 実践的なユースケース：リトライ処理
  5. ネストしたループとラベルを利用した戻り値
  6. Result型との組み合わせによるエラーハンドリング
  7. よくあるエラーと注意点
  8. まとめ

Rustにおける「式」としてのループ

Rustという言語の設計思想において、多くの構文は「文 (statement)」ではなく「式 (expression)」として定義されています。

式であるということは、そのコードブロックが実行された結果として、何らかの値を生成し、それを変数に代入できることを意味します。

一般的なプログラミング言語では、 for や while といったループ構造は値を返さない「文」として扱われることがほとんどです。

しかし、Rustの loopキーワードによる無限ループは式として定義されています。

この性質を利用することで、ループ内での計算結果や特定の条件で見つかった値を、そのままループの外側に渡すことが可能になります。

これは、一時的な変数をループの外で宣言し、ループ内でその変数を書き換えるといった冗長な手続きを排除するのに役立ちます。

コードの意図が明確になり、不変性 (immutability) を維持したまま値を抽出できる点が大きなメリットです。

breakで値を返す基本構文

loop 式から値を返すには、 break キーワードの直後に返したい値を記述します。

基本的な構文は、 break 戻り値; という形式をとります。

このとき、ループ全体の評価結果がその戻り値の型と一致するように設計する必要があります。

具体的な実装例を以下のコードブロックで確認してみましょう。

Rust
fn main() {
    let mut counter = 0;

    // loop式の結果を変数 result に代入する
    let result = loop {
        counter += 1;

        if counter == 10 {
            // counterが10になったとき、counter * 2 の値を返してループを抜ける
            break counter * 2;
        }
    };

    println!("結果の値は {} です", result);
}
実行結果
結果の値は 20 です

この例では、 loop ブロックの評価結果が result という変数に直接格納されています。

break counter * 2; と記述することで、ループを終了させると同時に、指定した値をループ式の戻り値として確定させています。

もし break に値を指定しなかった場合、その loop 式はユニット型 () を返します。

Rustコンパイラは、 ループのすべての終了経路が同じ型を返すことを厳密にチェックします。

なぜ while や for では値を返せないのか

Rustには loop 以外にも while や for といったループ構文が存在しますが、これらは break で値を返すことができません。

その理由は、 while や for は「一度も実行されない可能性がある」ためです。

例えば、 while の条件式が最初から false であった場合、ループ内のコードは一度も実行されません。

ループが一度も実行されない場合、どのような値を返すべきかが定義できなくなってしまいます。

一方、 loop は明示的に break するまで無限に繰り返すことが保証されているため、必ず break 経由で値を返すポイントに到達するとみなせます。

厳密には、 loop から break せずにプログラムが終了する場合もありますが、型システム上は loop は値を生成する式として安全に扱えます。

この設計の違いにより、 値を抽出するためのループには loop 式が最適である という明確な使い分けが生まれています。

実践的なユースケース：リトライ処理

break で値を返す手法が最も威力を発揮する場面の一つが、ネットワーク通信や外部リソースへのアクセスにおけるリトライ処理です。

成功するまで処理を繰り返し、成功した時点でその結果を返すというロジックを簡潔に記述できます。

以下の例では、仮想的なAPIリクエストを行い、成功したデータを取得するまでリトライを繰り返します。

Rust
fn fetch_data_from_server() -> Result<String, String> {
    // 実際の実装ではここでネットワーク通信を行う
    // 今回はデモンストレーションのため、ランダムな結果を想定
    Ok(String::from("サーバーからのデータ"))
}

fn main() {
    let mut retry_count = 0;

    let final_data = loop {
        match fetch_data_from_server() {
            Ok(data) => {
                // 成功した場合はデータを返してループを終了
                break data;
            }
            Err(e) => {
                retry_count += 1;
                println!("エラーが発生しました: {}。リトライ {} 回目", e, retry_count);
                
                if retry_count >= 5 {
                    panic!("リトライ回数の上限に達しました");
                }
            }
        }
    };

    println!("取得したデータ: {}", final_data);
}

このように記述することで、 final_data 変数を不変 (immutable) な変数として宣言しつつ、ループの結果で初期化できます。

もし loop 式を使わなければ、 final_data を Option<String> などで可変変数として宣言し、ループ内で上書きする手間が発生します。

break による戻り値の活用は、 変数のスコープを最小限に抑え、プログラムの安全性を高める ために非常に有効です。

ネストしたループとラベルを利用した戻り値

Rustではループにラベルを付けることができ、多重ループの中から特定のループを break することが可能です。

この機能と戻り値を組み合わせることで、深いネストから一気に値を持ち帰ることができます。

ラベルは 'label_name: loop { ... } という形式で定義します。

Rust
fn main() {
    let matrix = [
        [1, 2, 3],
        [4, 5, 6],
        [7, 8, 9],
    ];

    let target = 5;

    // 外側のループに 'outer ラベルを付与
    let found_position = 'outer: loop {
        for (i, row) in matrix.iter().enumerate() {
            for (j, &value) in row.iter().enumerate() {
                if value == target {
                    // 外側のループを指定して値を返す
                    break 'outer Some((i, j));
                }
            }
        }
        // すべて探索して見つからない場合
        break 'outer None;
    };

    match found_position {
        Some((r, c)) => println!("ターゲット {} は 行:{}, 列:{} に見つかりました", target, r, c),
        None => println!("見つかりませんでした"),
    }
}
実行結果
ターゲット 5 は 行:1, 列:1 に見つかりました

このコードでは、内側の for ループで見つけた値を、一番外側の loop の結果として返しています。

通常、深いネストから値を返すにはフラグ変数などを用意する必要がありますが、ラベル付きの break を使えば構造が非常にシンプルになります。

ただし、あまりにも複雑なジャンプはコードの可読性を損なう可能性があるため、適切な範囲で使用することが推奨されます。

Result型との組み合わせによるエラーハンドリング

loop 式の戻り値として Result<T, E> 型を返すパターンも頻繁に利用されます。

これは、ループ内で成功した場合だけでなく、途中で回復不能なエラーが発生してループを中断する場合にも対応できます。

以下の表は、 loop 内での break と戻り値の関係をまとめたものです。

パターン記述方法主な用途
単一値の返却break value;計算結果の抽出、特定要素の検索
成功・失敗の返却break Ok(value); / break Err(e);リトライ処理、バリデーションを伴う入力
ラベル付き返却break 'label value;多重ループからの早期離脱と値の抽出

このように、 Result を活用することで、ループ実行後の状態を呼び出し元に対して明確に伝えることができます。

よくあるエラーと注意点

break で値を返す際に最も注意すべき点は、型の不一致です。

一つの loop 内に複数の break 文が存在する場合、それらすべてが同じ型の値を返さなければなりません。

例えば、ある break では整数を返し、別の break では文字列を返すようなコードはコンパイルエラーになります。

また、 loop の最後に break を記述し忘れると、その式は値を返さないか、あるいは無限ループとして扱われます。

コンパイラが「このループは値を返す式である」と認識するためには、到達可能なすべての終了経路において型が矛盾していないことが不可欠です。

さらに、 break にセミコロンを付けるかどうかについても注意が必要です。

let result = loop { break 10; }; のように記述する場合、 break 10 は式の一部ですが、 loop 自体が代入文の右辺にあるため、最後にセミコロンが必要になります。

コンパイルエラーが発生した際は、まず「すべてのbreakが同じ型を返しているか」を確認してください。

まとめ

Rustにおける loop 式と break による戻り値の返却は、コードをクリーンで安全にするための非常に優れた機能です。

この機能を活用することで、不要な可変変数を減らし、ロジックを式として直感的に記述できるようになります。

特にリトライ処理や複雑な検索ロジックにおいて、その真価が発揮されます。

while や for では実現できない「必ず値を生成するループ」という特性を理解し、適切に使い分けることが重要です。

今回紹介した基本構文やラベルの活用法、 Result 型との組み合わせを参考に、ぜひ日々のRust開発に取り入れてみてください。

Rustの表現力を最大限に引き出すことで、より堅牢でメンテナンス性の高いプログラムを記述できるようになるはずです。