More than 1 year has passed since last update.

Nullと未定義の死：RustにおけるMaybeとOptionの美学

Posted at 2025-04-23

"無を許した瞬間、設計は曖昧を内包する。"

プログラミング言語の最も根深い問題のひとつ、Null（null pointer）。
その危険性は言わずもがなであり、多くのセキュリティホールとアプリクラッシュの温床となってきた。

この“無”という概念に、Rustは明確な態度を取った。
**「Nullを言語仕様から削除する」**という思想だ。

代わりに導入されたのが、Option型。
それはただの列挙型ではない。曖昧な状態を構造に変換する哲学的構文である。

Nullという“暗黙の不在”

Nullは「値がないことを示す」シンプルな記号に見える。
しかしそれは、「この変数が存在するかどうかは、使ってみるまでわからない」という不確実性でもある。

String name = getUserName();
int length = name.length(); // ← NullPointerExceptionの可能性

これは単に例外の温床なのではない。
「設計が意図を明示していない」という構造の破綻である。

RustではNullという概念そのものが存在しない。
その代替が Option<T> である。

fn find_user(id: u32) -> Option<User> {
    if id == 0 {
        None
    } else {
        Some(User::new(id))
    }
}

この構文は、**「値があるかもしれない／ないかもしれない」**という可能性を、
“明示された型”として設計に取り込むものだ。

Optionの核は Some(T) と None という2つの明確な状態にある。
そしてそれを扱うには、必ず構文的な分岐が求められる。

match find_user(1) {
    Some(user) => println!("User found: {}", user.name),
    None => println!("No user found"),
}

これは「値がないことを前提にしないとコンパイルできない」＝
**「曖昧さの無視を許さない設計」**ということに他ならない。

RustのOption型は、Haskellなどの関数型言語における Maybe モナドと非常に近い。

そしてこの構造が持つ本質は、「分岐の強制による安全性」にある。
曖昧さを許すのではなく、“明示することで責任を分配する”。

それは、エラー処理ではなく、設計の美しさである。

Optionには .unwrap() というメソッドも存在する。
これは、値があることを前提に中身を取り出す構文である。

let user = find_user(1).unwrap(); // 値がなければpanic

危険なようにも思えるが、これは意図を明示した上での設計的覚悟でもある。

つまり、曖昧な意図が排除されている限り、それは安全と見なされる。

この3つによって、Optionはただの“Nullの代替”ではなく、設計倫理そのものになる。

RustのOptionは、「ないものをどう扱うか」という問いを、
「そもそも設計に取り込め」と言い換える。

それは、無を隠すことでも、ごまかすことでもない。
“無があること”を、設計者が引き受け、構文として明示することだ。

"Nullという沈黙を、Optionという構造に翻訳することで、Rustは設計に誠実さを取り戻した。"