こんにちは。Dartの世界へようこそ。
Dartは進化の激しい言語ですが、その根底には「健全性（Soundness）」という揺るぎない哲学が流れています。特にDart 3.0で導入されたパターンマッチングは、単なるシンタックスシュガーではありません。これは、Dartがコンパイル時にNull安全をより「宣言的」に担保するための強力な武器です。
今回は、Null許容型（Nullable Type）と向き合う際、泥沼のような`if (x != null)`の連鎖から脱出し、Dart 3.0の真髄である「パターンマッチング」を使って、美しく、かつ鉄壁の堅牢性を持つコードを書く極意を伝授します。
—
1. なぜ従来のNullチェックは「退屈」なのか？
これまでのDartでは、Null許容型を扱うとき、どうしてもコードが「分岐」の檻に閉じ込められていました。
String? name = getName();
if (name != null) {
print(name.toUpperCase());
} else {
print(‘Unknown’);
}
この書き方、実は「命令的（Imperative）」すぎるのです。私たちは「もしnullならこう、そうでなければこう」という手順を指示していますが、もっと「データがこうあるべき」という状態を記述したいですよね。
ここで登場するのが、Dart 3.0のパターンマッチングです。
—
2. switch式で「Null」を解体する
パターンマッチングの神髄は、「値を評価するのではなく、構造を照合する」という点にあります。
`switch`式を使えば、Null許容型をまるで「箱を開ける」ように安全に分解できます。
String? input = fetchData();
// switch式を使った、美しく安全なNullハンドリング
final result = switch (input) {
null => ‘デフォルト値’, // nullの場合の処理
‘admin’ => ‘管理者権限’, // 特定の値の場合
String value => value.toUpperCase(), // null以外なら、その値をStringとして扱う
};
print(result);
ここが極限のポイント！
`String value` というパターンに注目してください。ここを通る時点で、Dartの型システムは「この値は絶対にnullではない（非Null型）」と推論します。コンパイラが「型昇格（Type Promotion）」を確実に行っているため、`value`に対して安全にメソッドを呼び出せるのです。
—
3. 複数のNull許容型を「タプル」で扱う
現場で最も苦戦するのは、「複数のNull許容型が絡み合うとき」ではないでしょうか。例えば、ユーザー名と年齢がどちらもnullかもしれない状況です。
(String?, int?) user = (getName(), getAge());
final message = switch (user) {
(String name, int age) => ‘ユーザー $name は $age 歳です。’,
(String name, null) => ‘ユーザー $name の年齢は不明です。’,
(null, int age) => ‘ゲストさん、$age 歳ですね。’,
(null, null) => ‘匿名ユーザーです。’,
};
なぜこの書き方が最強なのか？
1. 網羅性（Exhaustiveness）: Dartのコンパイラは、すべてのパターンが網羅されているかをチェックします。もし1つでも考慮漏れがあれば、コンパイルエラーで教えてくれます。これは「実行時に突然nullが飛んできた！」というランタイムエラーを、開発段階で撲滅できることを意味します。
2. 宣言的な構造: コードを見るだけで、「どういう組み合わせがあるのか」が一目で理解できますよね。
—
4. 初学者が陥りやすい「罠」と対策
パターンマッチングを使い始めると、以下のようなエラーに遭遇することがあります。
エラー例：`The switch expression is not exhaustive`
これは、「すべてのケースを考慮しきれていないよ！」というコンパイラからの警告です。
例えば、`String?` 型なのに `null` のケースを書き忘れると発生します。
対策: 常に「想定外のケース」を `_` (ワイルドカード) で拾う癖をつけましょう。
final result = switch (input) {
String value => value,
_ => ‘予期せぬ値です’, // すべての残りのケースをここでキャッチ
};
—
5. 最後に：Dartを掌握するということ
DartのNull安全は、皆さんのコードを縛る鎖ではなく、「安心してコードを書くための防波堤」です。
今回紹介したパターンマッチングを活用することで、`if`文のネストに悩まされる日々から解放され、より「データ」そのものにフォーカスした堅牢なアーキテクチャが描けるようになるはずです。
「ここをクリアすれば、Dartの基本はバッチリマスターできます」。
次は、レコード（Records）とパターンマッチングを組み合わせて、より複雑なデータ構造を自在に操るステップへ進んでいきましょう。
皆さんの書くコードが、より洗練されたものになることを期待しています。Happy Coding!