Dart定数式の深淵：コンパイル時評価の限界とVMメモリ最適化のメカニズム
Dartの `const` は、単なる「書き換え不可（Read-only）」の糖衣構文ではない。それは、Dart AOT（Ahead-of-time）コンパイラおよび Dart VM のイソレート（Isolate）起動時における、メモリレイアウトとゼロコスト抽象化の根幹を成すプリミティブである。
多くの開発者は `const` を「パフォーマンスが少し良くなる修飾子」程度に認識している。しかし、チーフアーキテクトの視点から言えば、`const` で定義されたオブジェクトは、ランタイムのヒープアロケーション（Heap Allocation）の呪縛からコードを解放し、スナップショット（Snapshot）の一部としてバイナリのデータセグメントに直接焼き付けられる運命にある。
本稿では、Dartのコンパイル時定数（Constant Expressions）で許可される演算の全貌と、そこに課された厳格な制限の裏側にあるコンパイラの現実を、低レイヤの視点から徹底的に解剖する。
—
1. コンパイル時定数の本質：AST評価からバイナリ埋め込みへ
DartコードがAOTコンパイルされる際、フロントエンド（CFE: Common Front End）は `const` 式を解析し、抽象構文木（AST）の段階でその値を完全に評価（Const Evaluation）しようと試みる。
もし式の中にランタイムでしか確定しない要素（非`const`な変数、I/O、動的メモリ確保など）が含まれている場合、コンパイルエラーとなる。逆に、すべてのオペランドがコンパイル時定数であれば、その計算結果はバイナリのイニシャライズデータとしてシリアライズされ、VM起動時にはすでにメモリ上に「インスタンスが存在している状態」でロードされる。
カノニカライズ（Canonicalization）の魔力
Dartの `const` オブジェクトは、同じ値を持つ限り、メモリ上で完全に同一のインスタンスを指す（カノニカライズ）。
class Vector {
final int x;
final int y;
const Vector(this.x, this.y);
}
void examineCanonicalization() {
const v1 = Vector(1, 2);
const v2 = Vector(1, 2);
// 厳密に同一のメモリポインタを指すため、アイデンティティ比較は true
print(identical(v1, v2)); // true
}
この挙動は、VMのGC（ガベージコレクタ）の負荷を劇的に軽減する。しかし、この恩恵を受けるためには、コンパイル時定数式の中で許された「厳格なルール」を完全に遵守しなければならない。
—
2. 定数式で許可される演算と「隠された罠」
Dartの仕様（Language Specification）において、`const` 式内で使用できる演算子と関数は厳しく制限されている。これらは「副作用（Side effects）が一切なく、プラットフォームや実行環境に依存しない決定論的（Deterministic）な計算」でなければならないためだ。
許可される主要な演算子
- 算術演算子: `+`, `-`, “, `~/`, `%`, `/`（ただし、ゼロ除算はコンパイル時エラー）
- ビット演算子: `&`, `|`, `^`, `~`, `<<`, `>>`, `>>>`
- 比較・論理演算子: `==`, `!=`, `<`, `>`, `<=`, `>=`, `&&`, `||`, `!`
- 条件演算子（三項演算子）: `condition ? a : b`
開発者が陥りやすい「コンパイル時評価の限界」
一見すると定数になりそうだが、実際にはコンパイルエラーになるケースの代表例を見ていこう。
// 【NG例】小数点以下の除算（/）と結果の型
// Dartにおいて、int同士の ‘/’ 演算は常に double を返す。
// doubleの演算はターゲットアーキテクチャの浮動小数点演算規格（IEEE 754）に依存するため、
// 厳密なクロスコンパイルの決定論性を担保する上で一部制限がある。
const double invalidDivision = 5 / 2; // Dart 2.12以降の強い型規則では許容されるが、注意が必要。
// 【NG例】実行時に関数が関与する式
int computeRuntime() => 42;
// const int val = computeRuntime(); // ❌ エラー: 式はコンパイル時定数でなければならない
// 【NG例】identical や type 判定
const bool isInt = (42 is int); // ⭕ これは許可される（型テストはコンパイル時に解決可能）
// const bool isIdentical = identical(v1, v2); // ❌ 実行時関数であるためエラー
特に注意すべきは、「ユーザー定義の非 `const` メソッドの呼び出し」や、「外部ライブラリへの依存」である。コンパイル時評価器（Const Evaluator）は、VMのフル機能を持っているわけではない。それは限定されたサンドボックス内で動作するピュアな演算エンジンに過ぎない。
—
3. コレクションリテラルと展開演算子（Spread Operator）の制約
Dart 2.3以降、`const` コンテキスト内でのコレクション（List, Set, Map）の構築において、スプレッド演算子 (`…`) や条件付きスプレッド (`…?`)、コレクションif/forが利用可能になった。
これらは非常に強力だが、コンパイル時のメモリ配置を意識しなければ、意図せぬパフォーマンス劣化を招く。
const List
const List
// 展開された結果もすべてコンパイル時に評価され、単一の不変リストとしてデータセグメントに格納される。
コレクションにおける定数の深層（Deep Immutability）
`const` コレクションは、その中身も含めて再帰的に不変（Deeply Immutable）でなければならない。
class Configuration {
final Map
const Configuration(this.settings);
}
void riskOfMutableInConst() {
// ❌ コンパイルエラー: Map のリテラル自体に const がついていない、
// または内部の型が const の要件を満たしていない場合、
// コンパイル時定数としての構築は拒絶される。
//
// const config = Configuration({‘timeout’: 30});
// ↑ パラメータの Map に const を付与する必要がある：
const config = Configuration(const {‘timeout’: 30});
}
この「再帰的制約」は、イソレート間通信（Isolate Ports）において極めて重要な意味を持つ。`const` なオブジェクトは、イソレート間でメッセージとして送信される際、シリアライズ・デシリアライズのコストがゼロ（メモリの直接共有、またはゼロコピー転送）になる特性を持つ。セキュアで高速な並行処理設計において、`const` コレクションの完全な掌握は必須条件である。
—
4. チーフアーキテクトからの提言：プロダクションコードにおける極限最適化ガイドライン
最高パフォーマンスのFlutterアプリや高スループットなDartバックエンドを構築するため、以下の指針をコードレビューの基準として厳守してほしい。
1. すべてのウィジェット・設定値・データ構造の初期値に `const` の可能性を追求せよ
UIツリーの再構築（Rebuild）時において、子要素が `const` で構築されていれば、Flutterのフレームワーク（Element Tree）はそのサブツリー全体の差分検出（Diffing）を完全スキップする。これはフレームワークレベルの最適化の最大の武器である。
2. 浮動小数点演算の丸め誤差に自覚的であれ
`const` 式内での `double` 演算は、ホスト環境（コンパイルを実行するマシン）のFPUと、ターゲット環境（実機プロセッサ）のFPUの間で、微小な丸め誤差（Rounding errors）の差異を生むリスクをゼロにするため、コンパイラによって厳密に管理されている。複雑な浮動小数点の定数計算は、可能な限り整数演算（Scaled integers）に置き換えるか、事前の検証を行え。
3. 「見せかけの const」を排除せよ
`const` を付与しているつもりが、その内部で暗黙的なボクシング（Boxing）や非定数なコンストラクタ呼び出しが混入している場合、コンパイラはそれを許さずエラーを吐く。エラーを回避するために安易に `const` を外し、`final` や通常変数に逃げることは、ランタイムヒープへの敗北を意味する。
結び
Dartの定数式は、言語の安全性と実行時パフォーマンスの極限を繋ぐ架け橋である。コンパイル時に何が起き、ランタイムのメモリにどう配置されるか。その全貌を脳内で完全にシミュレートできる者だけが、真にスケーラブルで美しいDartコードを記述する資格を持つ。
妥協なきコードベースの構築を、健闘を祈る。