こんにちは！FlutterやDartの開発、日々楽しんでいますか？
今日は、Dart 3で導入された「パターンマッチング」の中でも、特に実行時のパフォーマンスに直結する「定数パターン（Constant Patterns）」の裏側について、少しディープに覗いてみましょう。
「パターンマッチングって、if文やswitch文がちょっとスマートに書けるんでしょ？」と思っていませんか？
もちろんその通りなのですが、DartのコンパイラとVM（仮想マシン）は、定数パターンを見るやいなや、「おっ、これは実行時に計算する必要がないな。ジャンプテーブルにしちゃおう！」と、舞台裏で過激なまでの最適化を行っています。
ここをクリアすれば、あなたの書くコードはただ読みやすいだけでなく、マシンにとっても最高に優しいものになりますよ。一緒にDartの核心に迫っていきましょう！
—
1. 定数パターンとは何か？（基本のおさらい）
まずは基本から確認しておきますね。
定数パターンとは、文字通り「コンパイル時に値が完全に決まっているもの（定数）」にマッチさせるパターンです。
例えば、HTTPのステータスコードや、特定のコマンド文字列を処理するコードを想像してください。
String handleResponse(int statusCode) {
return switch (statusCode) {
200 => ‘OK’,
400 => ‘Bad Request’,
500 => ‘Internal Server Error’,
_ => ‘Unknown Status’, // どの定数にも当てはまらない場合（ワイルドカード）
};
}
この `200` や `400` が定数パターンです。
「おや、これって今までの `switch-case` 文と何が違うの？」って思いますよね。実は、文法が洗練されただけではなく、Dart 3の `switch` は「式（Expression）」になりました。つまり、値をそのままreturnできるだけでなく、コンパイラによる解釈の仕方が根本から変わっているのです。
—
2. 内部で何が起きているのか？（コンパイラとVMの最適化）
ここからが本題です。
私たちが書いた `200 => ‘OK’` のような定数パターンは、DartのAOT（Ahead-Of-Time）コンパイラやJITコンパイラによって、どのように機械語に翻訳されるのでしょうか？
通常の `if-else` チェーンだと、コードは上から順番に評価されますよね。
[statusCode == 200?] -> 違えば次
[statusCode == 400?] -> 違えば次
[statusCode == 500?] -> 違えば次…
これだと、分岐の数が多くなったときにO(N)のコスト（上から順に比較するコスト）がかかってしまいます。
しかし、すべての分岐先が「定数」である場合、Dartのコンパイラは非常にスマートな最適化を行います。
ジャンプテーブル（Jump Table）やハッシュ化によるO(1)への昇華
コンパイル時に「取りうる値がすべて固定の定数」と分かっている場合、Dart VMはメモリ上にジャンプテーブルと呼ばれる配列（あるいは効率的なルックアップ構造）を構築します。
イメージとしては、こんな感じです：
[入力値: statusCode]
│
▼
┌───────────┐
│ 200番地 │ ──> ‘OK’ の処理へジャンプ (O(1)の瞬速！)
├───────────┤
│ 400番地 │ ──> ‘Bad Request’ の処理へジャンプ
├───────────┤
│ 500番地 │ ──> ‘Internal Server Error’ の処理へジャンプ
└───────────┘
つまり、上から順番に条件を総当たりで比較するのではなく、メモリのオフセット計算一発で一瞬にして目的の分岐に飛び込むことができるのです。これが、定数パターンが実行時コストを劇的に削減する秘密です。
—
3. 実践：定数パターンを安全に使いこなすためのコード例
では、実際の開発現場でどのように定数パターンを活用すべきか、もう少し実践的なコードを見てみましょう。
ここでは、カスタムの列挙型（Enum）と組み合わせた例を挙げます。
// アプリ内の画面状態を表すEnum
enum ViewState { loading, success, error, empty }
String renderView(ViewState state) {
// Dart 3 の switch式 と 定数パターンの組み合わせ
return switch (state) {
ViewState.loading => ‘くるくるローディング中…’,
ViewState.success => ‘データのロードに成功しました！’,
ViewState.error => ‘エラーが発生しました…’,
ViewState.empty => ‘データがありません。’,
// 注意: Dart 3の網羅性チェック(Exhaustiveness checking)があるため、
// すべてのEnumケースを網羅していれば、デフォルト（_）を書く必要すらありません！
};
}
void main() {
var currentState = ViewState.success;
print(renderView(currentState));
// 実行結果: データのロードに成功しました！
}
ここがポイント！
Enumも内部的にはコンパイル時に定数として扱われるため、この `switch` 式もコンパイラによって完璧に最適化されます。
さらに、コメントにも書きましたが、Dart 3の強力な「網羅性チェック（Exhaustiveness checking）」が働くため、もし将来 `ViewState` に `timeout` という新しい状態を追加し忘れた場合、コンパイルエラーで教えてくれます。バグの温床をコンパイラが未然に防いでくれるわけですね。
—
4. 陥りやすい文法エラーと注意点
定数パターンを使う上で、初学者がよくハマるポイントをいくつか先回りして解説しておきますね。
① 「ただの変数名」を定数パターンと勘違いするケース
Dartのパターンマッチングでは、小文字で書かれた識別子（例: `success` や `item`）は、定数ではなく「変数（Variable Pattern）」としてキャプチャ（束縛）しようと解釈されます。
const int targetCode = 200;
void badExample(int code) {
switch (code) {
// ❌ コンパイルエラーまたは意図しない挙動になる！
// Dartはこれを「targetCodeという名前の新しい変数に、codeの値を代入する」と解釈します。
case targetCode:
print(‘Match’);
break;
}
}
正しい書き方:
Dartで既存の定数や const 変数をパターンとして使いたい場合は、それが定数であることを明確にするか、あるいは `switch` 式（または `case` 内）で適切に扱われる必要があります。また、クラスのstatic constなどを指定する場合は、スコープを正しく解決させる必要があります。
const int targetCode = 200;
void goodExample(int code) {
// switch式を使う場合、定数はそのまま直感的に評価されます
var result = switch (code) {
200 => ‘OK’, // リテラル定数はそのままOK
_ => ‘Other’,
};
}
② constのつけ忘れ
カスタムクラスのインスタンスなどを定数パターンとして使いたい場合、コンストラクタに `const` が付いている必要があります。コンパイル時に値が確定しないオブジェクトは、ジャンプテーブルの最適化の恩恵を受けられない（そもそも定数パターンとしてマッチさせられない）ためです。
class AppConstants {
// 必ず const コンストラクタにする必要がある
const AppConstants();
static const int adminRole = 1;
}
—
まとめ
いかがでしたでしょうか？
今回は、Dart 3の定数パターンが、単なる「便利な書き方」ではなく、コンパイラとVMの最適化（ジャンプテーブル等によるO(1)分岐）を裏で引き出す強力な武器であることを解説しました。
- 定数パターンは、コンパイル時に値が確定するため、実行時の比較コストを極限まで削ぎ落とせる。
- Dart 3の `switch` 式は、網羅性チェックと相まって、安全かつ高速な分岐を実現する。
ここをクリアできれば、あなたの書くDartコードのパフォーマンスと安全性はワンランク上のステージに上がります。
ぜひ、日々のFlutterやDartの開発で積極的に `switch` 式と定数パターンを使ってみてくださいね。それではまた！