こんにちは。Dartの深淵を覗き込み、その美しい型システムの真髄を体感しようとしているあなたへ。
Dartの「Sound Null Safety（健全なNull安全）」は、単なるエラー防止機能ではありません。これは、Dart VMが実行時に「この変数は絶対にNullではない」と確信を持って最適化を行うための、コンパイラへの強力なヒントなのです。
今回は、Dart 3.0で導入された「パターンマッチング」を駆使して、Null許容型（Nullable type）をいかにエレガントかつ安全に料理するか、その極意をお伝えします。
—
1. Null安全の「壁」をどう乗り越えるか
Dartで最も避けるべきは、実行時の `Null check operator used on a null value` ですよね。これが発生するということは、コンパイラとの対話に失敗している証拠です。
従来の `if (val != null)` による型昇格（Type Promotion）も便利ですが、複数の状態を扱うようになると、コードは途端にネストの迷宮へと迷い込みます。そこで登場するのが パターンマッチング です。
—
2. switch文による「安全な型絞り込み」の極意
Dartの `switch` は、もはや単なる値の比較ツールではありません。「構造を分解し、型を確定させる」ための強力な推論エンジン です。
以下のコードを見てください。
void processInput(String? input) {
// パターンマッチングによる分岐
switch (input) {
case null:
// ここでは input は null であることが確定
print(‘入力がありません。’);
case ‘admin’:
// ここでは input は String（非Null）として扱われる
print(‘管理者権限でログインしました。’);
case String s when s.length > 10:
// ガード節(when)を使ってさらに詳細に絞り込む
print(‘長すぎる入力です: $s’);
case String s:
// 残りのすべての文字列パターンをキャッチ
print(‘入力内容: $s’);
}
}
なぜこれが「最強」なのか？
1. 網羅性チェック: `switch` 文は、すべての可能性（Nullを含む）をカバーしているかコンパイラが監視します。もしケースを漏らせば、コンパイルエラーとして警告してくれます。
2. 型昇格の魔法: `case String s:` に到達した瞬間、Dart VMは `s` が決してNullではないと完全に保証します。この時点で、`s` は安全にメソッド操作が可能になります。
—
3. 陥りやすい「文法の罠」
初学者がよくやってしまうのが、「パターンを適用する前に自分でNullチェックをしてしまう」ことです。
// 悪い例：Null安全を活かしきれていない
if (input != null) {
switch (input) { … } // これでも動くが、Dartのパターンマッチングの恩恵を半分捨てている
}
Dartのパターンマッチングは、「Nullであること」自体を一つの状態として扱うのが流儀です。`case null:` を活用することで、コードのインデントを減らし、ロジックを平坦に保つことができます。
また、`when` 節を使う際、条件式が複雑になりすぎると型推論のパフォーマンスに影響が出る場合があります。`when` はあくまで「最後の砦」として使い、基本はパターンの形状で分岐させるのが、Dartのコンパイラを最も効率的に働かせるコツですよ。
—
4. 現場で役立つイディオム：レコードとの組み合わせ
Dart 3.0以降、レコード（Record）と組み合わせることで、さらに強力な制御が可能になります。
void validateUser(String? name, int? age) {
// 複数の変数をまとめてパターンマッチングする
switch ((name, age)) {
case (null, _):
print(‘名前が入力されていません。’);
case (_, null):
print(‘年齢が入力されていません。’);
case (String n, int a) when a < 18:
print('$nさんは未成年です。');
case (String n, int a):
print('$nさんは$a歳です。');
}
}
このように、複数のNull許容型を一度に評価できるのは、他の言語を見渡しても極めて洗練された設計です。
---
先輩からのメッセージ
Null安全は「面倒な制約」ではなく、あなたの書くコードを「実行時の予期せぬクラッシュ」から守る最強の盾です。
今回紹介した `switch` によるパターンマッチングは、あなたのロジックをより宣言的で、人間にとって読みやすいものに変えてくれます。最初は慣れないかもしれませんが、この書き方をマスターすれば、もう `input!` のような「禁断の演算子」に頼る必要はなくなります。
「型はドキュメントよりも雄弁である」― Dartのコンパイラと仲良くなれば、あなたの開発体験は劇的に向上するはずです。
ここをクリアすれば、Dartの基本はバッチリです。次はぜひ、`sealed class` と組み合わせた状態管理の深淵へ足を踏み入れてみてくださいね。応援しています！