こんにちは！FlutterやDartを使った開発を楽しんでいますか？
他のプログラミング言語からDartの世界に入ってきた方や、これから基礎をしっかりと固めたい方にとって、変数宣言や基本データ型、そしてNull安全の仕組みは最初の大きな山場ですよね。
今回は、そのDartの型システムにおける秘密兵器、「`Never`型」をテーマにお話しします。「型なのに値がない？」「何に使うの？」と思われるかもしれませんが、ここをマスターすると、あなたの書くコードの安全性と美しさが一段と跳ね上がりますよ。
それでは、Dartの深淵へと一緒に出発しましょう！
—
1. `Never`型とは何か？（「絶対にそこへ到達しない」というコンパイラへの誓い）
DartのNull安全（Sound Null Safety）の世界では、すべての型は「どんな値を取りうるか」という宇宙を持っています。
例えば、`String`型ならあらゆる文字列の宇宙があり、`int`型ならすべての整数の宇宙があります。では、`Never`型の宇宙はどれくらいの広さでしょうか？
答えは「空っぽ（ゼロ）」です。
`Never`型は、「このコードの実行フローは、絶対にここに到達しない（あるいは、絶対に正常な値を返さずに終わる）」ということを、Dartのコンパイラ（静的解析器）に教えるための特別な型です。
[ 正常な処理の流れ ] —> [ 例外スロー / 無限ループ ] —> (これより先には絶対に到達しない = Never型)
「絶対に到達しない」とコンパイラに伝えることで、何が嬉しいのでしょうか？ 実はこれが、網羅性チェック（Exhaustiveness Checking）と例外処理の最適化において絶大な効果を発揮するんです。
—
2. 実践！ `Never`型が輝く2つのシチュエーション
ここからは、実際の開発現場でどのように`Never`型が使われるのか、具体的なコードを見ていきましょう。
シチュエーション①：例外を投げるヘルパー関数の最適化
何かエラーが起きたときに、決まったフォーマットで例外を投げる関数を作ったとします。
// 決まったエラーを投げるだけのヘルパー関数
Never throwError(String message) {
throw ArgumentError(‘致命的なエラー: $message’);
}
void processUser(String? name) {
// nameがnullだったらエラーを投げて処理を中断する
String validName = name ?? throwError(‘名前がnullです！’);
// ここに到達した時点で、validNameが非nullであることがコンパイラに保証される
print(‘こんにちは、$validNameさん！’);
}
このコードの何が凄いか分かりますか？
`throwError`の戻り値の型が `void` ではなく `Never` になっている点に注目してください。
もし戻り値が `void` だと、コンパイラは「この関数は何も返さないけれど、関数の実行自体は一応おしまいまで完了するかもしれない」と解釈します。そのため、`name ?? …` の右側で本当に処理が途絶えるのか確信を持てません。
しかし、戻り値を `Never` にすることで、「この関数が呼ばれたら、この瞬間にプログラムの流れは粉々に砕け散り（例外送出）、これより下の行へは1ミリも進まない」とコンパイラに誓約できます。その結果、コンパイラは `validName` が絶対に `null` ではないと確信でき、安全に処理を続けられるのです。
シチュエーション②：switch文の網羅性チェック（これが本命！）
Dart 3以降、パターンマッチングと強化された `switch` 表現が使えるようになりました。状態管理などで、列挙型（`enum`）を扱うときによくこんな書き方をしますよね。
enum Status { initial, loading, success, error }
String getMessage(Status status) {
return switch (status) {
Status.initial => ‘準備中です’,
Status.loading => ‘読み込み中…’,
Status.success => ‘成功しました！’,
Status.error => ‘エラーが発生しました’,
};
}
ここで、将来的に仕様変更があり、`enum Status` に新しい状態 `Status.timeout` が追加されたとします。
もし、`getMessage` 関数に `Status.timeout` の分岐を書き忘れたらどうなるでしょうか？ 通常、コンパイラは「戻り値の型（`String`）を返さないパスがあるよ」と怒ってくれます。
しかし、ここに `Never` 型を使った「あり得ない値のキャッチ」を組み合わせると、さらに堅牢になります。
enum Status { initial, loading, success, error, timeout }
String getMessage(Status status) {
return switch (status) {
Status.initial => ‘準備中です’,
Status.loading => ‘読み込み中…’,
Status.success => ‘成功しました！’,
Status.error => ‘エラーが発生しました’,
// すべてのパターンを網羅したはずだが、万が一想定外の値が入ってきた場合
_ => throw StateError(‘予期せぬステータスです: $status’),
};
}
ここで、もし `switch` の網羅性を完全に保証したい場合、次のようなテクニックが使われます。
String getMessage(Status status) {
return switch (status) {
Status.initial => ‘準備中です’,
Status.loading => ‘読み込み中…’,
Status.success => ‘成功しました！’,
Status.error => ‘エラーが発生しました’,
Status.timeout => ‘タイムアウトしました’,
// ここで型が自動的に Never に絞り込まれる
};
}
すべての `enum` の要素を網羅していれば、最後の `_`（デフォルトケース）を書かなくてもコンパイルエラーになりません。逆に、もし新しい要素を追加し忘れた場合、コンパイラが「戻り値の型が一致しません（`Never` が返されていません）」と教えてくれるため、バグの早期発見に繋がります。
—
3. 陥りやすい罠と文法エラー
初学者の頃にやりがちな、`Never` 型にまつわる誤解やエラーをいくつか見ておきましょう。
罠1：`void` と `Never` を混同する
「何も返さない関数」を作るときに、何でもかんでも `void` と書きたくなりますよね。
- `void`: 「値を返さない」という意味（関数は正常に終了する）。
- `Never`: 「そもそも正常に終了せず、処理がそこで途絶える」という意味。
例外を投げる関数や無限ループする関数以外で、戻り値に `Never` を指定すると、コンパイラから「この関数、最後まで到達しちゃうけど本当に `Never` なの？」と怒られます（コンパイルエラー）。
// 【コンパイルエラーになる例】
Never doSomething() {
print(‘こんにちは’);
// 正常に終了してしまうため、Neverの誓いに反する
}
罠2：`null` との混同
Null安全の文脈で、`Never?`（nullableなNever）という書き方を見かけることがあるかもしれません。
`Never?` は、「値が存在しない（常に `null` である）」という極端な型として解釈されますが、通常のアプリ開発で自ら明示的に書く機会はほとんどありません。基本的には、コンパイラが型推論の過程で内部的に利用するものとして捉えておけばOKです。
—
まとめ：ここをクリアすれば、Dartの基本はバッチリマスターできますよ！
いかがでしたでしょうか？ 今回解説した `Never` 型のポイントをまとめます。
1. `Never` は「絶対にそこに到達しない」ことを表す空っぽの型。
2. 例外を投げる関数などの戻り値に使うことで、コードの安全性を高め、コンパイラに「ここから先はない」と教えられる。
3. 網羅性チェックと組み合わせることで、将来の仕様変更によるバグ（書き忘れ）をコンパイル時に防ぐことができる。
型システムという一見難しそうな仕組みも、コンパイラと開発者の「対話のツール」として捉えると、とてもエキサイティングですよね。
ここをしっかりと理解できれば、あなたのDartの基礎力は他のエンジニアが一目置くレベルに達しています。自信を持って、日々のコーディングに活かしていきましょう！