Dartの型システムを掌握せよ：`Never`型とパターンマッチングで構築する「絶対零度の堅牢性」
Dart 3以降、パターンマッチングと代数データ型（ADJ）的な設計は、現代的なDart開発の標準装備となりました。しかし、多くの開発者は「網羅性チェック（Exhaustiveness Checking）」を単なるコンパイラの警告回避策としてしか捉えていません。
本稿では、Dartの型システムにおいて最も強力かつ特異な存在である`Never`型を用い、「ランタイムで発生し得ないパス」をコンパイル時に証明し、バグの入り込む余地を物理的に排除する高度なテクニックを伝授します。
—
なぜ「網羅性」だけでは不十分なのか
実務において、API連携や複雑な状態管理を行っていると、「本来ここには到達しないはずだが、型定義上は網羅性を満たすために何かを書かなければならない」という場面に遭遇します。
// 悪い例: 意味のないデフォルト値やnullの返し方
return switch (status) {
Status.loading => ‘Loading’,
Status.success => ‘Success’,
Status.error => ‘Error’,
_ => throw Exception(‘予期せぬエラー’), // 実行時までバグがわからない
};
このコードの何が問題か？ それは、`throw`が実行されるまで、そのコードパスが「到達可能（reachable）」であるとコンパイラが判断し続けている点です。型システムがこのパスを「論理的にあり得ない」と確信できていないため、保守の過程で不整合が生じてもコンパイラは沈黙します。
`Never`型による「到達不能」の強制証明
Dartにおいて`Never`型は、「決して値を持たない型」であり、「そのコード行以降は実行不可能である」という型システムへの強力な宣言です。
`Never`を返す関数を定義し、それをswitch式のデフォルトケースに配置することで、コンパイラに対して「ここが評価されることは論理的に不可能である」と保証させることができます。
実践：堅牢なステートマシン設計
/// 到達不能であることをコンパイラに教えるためのユーティリティ
Never unreachable(Object? value) {
throw StateError(‘Unreachable code executed with value: $value’);
}
sealed class AuthState {}
class Unauthenticated extends AuthState {}
class Authenticated extends AuthState {}
// 将来的に ‘Loading’ が追加されたと仮定
// class Loading extends AuthState {}
String getStatusLabel(AuthState state) {
return switch (state) {
Unauthenticated() => ‘ログインしてください’,
Authenticated() => ‘ようこそ’,
// ここで網羅性チェックが機能する
// もし `Loading` が追加されたら、コンパイラがここでエラーを吐く
_ => unreachable(state),
};
}
この設計の何が優れているのか？
1. コンパイラとの対話: `unreachable()` は戻り値が`Never`であるため、switch式の全てのブランチが`String`を返していると正しく型推論されます。
2. 未来への安全装置: 新しいステートが追加された際、`switch`式で網羅性を満たさなければコンパイルエラーになります。また、万が一（APIの更新漏れなどで）不正な状態が流れてきた場合も、即座に例外を投げてプロセスを停止させ、不整合な状態での後続処理を阻止します。
3. パフォーマンス: `Never`型への評価は、Dart VMにおいて最適化の対象となります。到達不能なパスとしてマークされることで、AOTコンパイラは当該分岐をコード生成から除外、あるいは最適化のヒントとして利用し、バイナリサイズと実行効率の向上に貢献します。
—
プロダクションコードでの応用：APIレスポンスの厳密なハンドリング
フロントエンド開発で最もバグを生みやすい「APIレスポンスの型不整合」をこの手法で封じ込めます。
typedef ApiResult = ({String type, dynamic data});
// サーバーからのレスポンスを型安全に捌く
String processResponse(ApiResult response) {
return switch (response.type) {
‘USER_UPDATE’ => ‘User updated: ${response.data}’,
‘LOGOUT’ => ‘Logged out’,
// 型定義に含まれないケースはNeverで弾く
final type => unreachable(‘Unexpected response type: $type’),
};
}
チーフアーキテクトからの助言
多くのエンジニアが「if文やswitch文でとりあえず動くもの」を書くことに終始していますが、Dart 3以降の型システムは、あなたの思考の限界をコードの限界に引き上げるための強力なツールです。
`Never`型を活用するということは、単なるエラーハンドリングではありません。「このシステムにおいて、どの状態が正しく、どの状態が誤りであるか」という設計思想を、コンパイラという最強のレビュアーに共有する行為なのです。
次にコードを書くとき、`default`ケースに「とりあえず空文字を返す」ようなコードを書くのはやめてください。そこに`unreachable()`を置き、システムがあなたの設計通りに動いているかをコンパイラに検証させましょう。それこそが、伝説のエンジニアへの第一歩です。