23. Option<T> — null の代わり

Rust には null がなく、「値があるかもしれないし、ないかもしれない」は標準の enum である Option<T> で表します。値があるなら Some(値)、ないなら None で、中身を使うには match などで取り出します。

検索結果が見つからない、設定が未指定、といった場面で Option を返すのが実務での定番です。null と違って「ないかもしれない」ことが型に現れるため、チェックを忘れるとコンパイルが通らず、null 参照によるクラッシュが起きません。

Some と None は Option:: を付けずにそのまま書けます。まずは match で確実に両方のケースを処理するスタイルから始めるのがおすすめです。

▶ サンプルコードを実行してみよう(自由に書き換えてOK)

Rust

fn find_even(numbers: &[i32]) -> Option<i32> {
    for n in numbers {
        if n % 2 == 0 {
            return Some(*n);
        }
    }
    None
}

fn main() {
    match find_even(&[1, 3, 4, 5]) {
        Some(n) => println!("見つかった: {}", n),
        None => println!("偶数はなかった"),
    }
    match find_even(&[1, 3, 5]) {
        Some(n) => println!("見つかった: {}", n),
        None => println!("偶数はなかった"),
    }
}

公式ドキュメントで詳しく ↗