【実務・中級編】Dartの定数式（Constant Expressions）で実行可能な演算の全貌と制限 – Dart コア文法・オブジェクト指向・Null安全解析バイブル

Dartの定数式（Constant Expressions）を極限まで使い倒す：コンパイル時評価の全貌とパフォーマンス最適化

コードレビューをしていると、`const` と `final` がなんとなくの雰囲気で使い分けられているコードに遭遇することがある。
「とりあえず変更しないから `final`」「コンパイルエラーになるから `const` にした」――これでは、Dartが持つ強力な最適化エンジン（AOTコンパイラおよびDart VM）のポテンシャルを半分も引き出せていない。

Dartの `const` は単なる「イミュータブル（不変）」の表明ではない。「その値がコンパイル時に完全に解決され、バイナリのデータセグメントにハードコードされる」という、極めてハードコアな言語機能だ。

今回は、Dartの定数式（Constant Expressions）で何ができて何ができないのか、その境界線をVMの挙動とともに解き明かし、フロントエンド設計やUI構築で圧倒的なパフォーマンスを生む実践パターンを伝授する。

—

1. コンパイル時定数とは何か？ Dart VMの内部挙動から理解する

`const` で宣言された値やオブジェクトは、アプリが起動する瞬間（＝実行時）にはすでに存在している。
DartのAOT（Ahead-Of-Time）コンパイルにおいて、定数式はコンパイル時に評価され、生成されるマシンコードやアセットの中に直接埋め込まれる。

これにより、以下のメリットがもたらされる。

1. メモリ割り当てのコストがゼロになる：実行時にヒープ領域（Heap）へオブジェクトを生成する必要がないため、GC（ガベージコレクション）の負荷が劇的に軽減される。
2. 完全なイミュータビリティとスレッドセーフティ：コンパイル時定数はディープイミュータブルであり、Isolate間でデータを共有する際のコストがゼロ（メッセージングのシリアライズが不要）になる。
3. FlutterにおけるWidgetツリーの最適化：Flutterのビルドフェーズにおいて、`const` なウィジェットは再描画（Rebuild）の対象外としてスキップされる。

では、このコンパイル時定数を作るための「定数式」には、どのような演算や制限があるのだろうか。

—

2. 定数式で許可される演算・拒絶される演算の全貌

コンパイル時定数を作るための式（Constant Expressions）として評価できるのは、「コンパイル時に結果が完全に確定する操作」のみである。

許可される主要な演算とパターン

• 基本算術演算: `+`, `-`, “, `~/`, `%` （※ `/` は実行時浮動小数点演算になるため、整数除算の `~/` のみが定数式として許可されるケースがある点に注意。ただし、両辺が定数であれば通常の `/` も評価可能）
• ビット演算: `&`, `|`, `^`, `~`, `<<`, `>>`
• 比較・論理演算: `==`, `!=`, `<`, `>`, `<=`, `>=`, `&&`, `||`, `!`
• 条件演算子 (三項演算子): `condition ? a : b`
• コレクションリスト・マップ・セットの定数構築: ただし要素もすべて定数である必要がある。
• constコンストラクターの呼び出し

絶対にNGな演算（コンパイルエラーになるもの）

• ランダム値や現在時刻の取得: `DateTime.now()` や `Random().nextInt()` （実行時でなければ値が決まらないため）
• 非定数変数の参照: `final` であっても、それが実行時初期化であれば `const` の式には組み込めない。
• メソッドの動的呼び出しや副作用を伴う処理
• 型キャスト (`as`) や `is` 演算子の一部（実行時型情報に依存するもの）

—

3. 【実務コード例】コンパイル時定数を極限まで活用した堅牢な設計パターン

実際のWebフロントエンド（Flutter Web）や複雑なコンポーネント設計において、定数式を駆使したモジュール設計のコードを見てほしい。
ここでは、APIのエンドポイント定義、デザインシステムのトークン、およびバリデーションルールをすべてコンパイル時定数で構築している。

import ‘package:flutter/foundation.dart’;

/// 【デザインシステム・トークン】
/// 画面解像度やパディングなどのレイアウト定数をコンパイル時に確定させる。
class AppSpacing {
// プライベートコンストラクターでインスタンス化を抑止
const AppSpacing._();

static const double xxs = 4.0;
static const double xs = 8.0;
static const double sm = 12.0;
static const double md = 16.0;
static const double lg = 24.0;
static const double xl = 32.0;

// コンパイル時計算の活用：基本グリッドの倍数を定数式で安全に導出
static const double containerPadding = md 2; // 32.0
}

/// 【API設定とルーティングの型安全な定義】
/// URLパスやタイムアウト値もコンパイル時定数として定義し、
/// アプリケーション全体で一貫性を担保する。
class ApiConfig {
const ApiConfig._();

static const String environment = String.fromEnvironment(
‘ENV’,
defaultValue: ‘development’,
);

static const String baseUrl =
(environment == ‘production’)
? ‘https://api.example.com/v1’
: ‘https://dev-api.example.com/v1’;

// タイムアウト値（ミリ秒）をコンパイル時定数として定義
static const Duration connectTimeout = Duration(seconds: 10);
static const Duration receiveTimeout = Duration(seconds: 30);

// 依存関係やフラグもコンパイル時定数で管理
static const bool enableLogging = (environment != ‘production’);
}

/// 【堅牢なイミュータブル・ドメインモデル】
/// 値オブジェクト（Value Object）を const コンストラクタで定義する。
class EmailAddress {
final String value;

// const コンストラクター
const EmailAddress._(this.value);

// ファクトリコンストラクターでのコンパイル時バリデーション（可能な範囲で）
// ※正規表現のコンパイルは Dart 3.0 以降でも RegExp は const にできないため、
// 文字列の静的検証や基本的なガード節として設計する。
factory EmailAddress(String rawValue) {
// 実行時ガード
if (!rawValue.contains(‘@’) || rawValue.isEmpty) {
throw ArgumentError(‘Invalid email format: $rawValue’);
}
return EmailAddress._(rawValue);
}

// プリコンパイルされた既知のデフォルト値
static const EmailAddress empty = EmailAddress._(”);
}

/// 【実用的なコンポーネントでの利用例】
/// FlutterのStatelessWidgetでのパフォーマンス最適化
@immutable
class PrimaryButtonConfig {
final String label;
final VoidCallback onPressed;
final bool isDisabled;

const PrimaryButtonConfig({
required this.label,
required this.onPressed,
this.isDisabled = false,
});

// コンパイル時定数としてよく使われるパターンを定義
static const PrimaryButtonConfig dummy = PrimaryButtonConfig(
label: ‘Loading…’,
onPressed: _noop,
isDisabled: true,
);

static void _noop() {}
}

この設計のキモ

1. `String.fromEnvironment` の活用:
ビルド時（`dart compile` や `flutter build –dart-define=ENV=production`）に値を埋め込むことで、環境ごとのURL分岐を完全にコンパイル時定数として解決している。これにより、無駄なif分岐や実行時の環境変数読み込みコストが発生しない。
2. `const PrimaryButtonConfig.dummy`:
プレースホルダーやデフォルト状態のオブジェクトを `const` で定義しておき、アプリ全体でインスタンスを完全に共有（Canonicalization）する。メモリ上にただ1つのインスタンスしか存在しないため、メモリ効率が極限まで高まる。

—

4. チーフアーキテクトが警鐘を鳴らす「落とし穴」とアンチパターン

最後に、現場のコードレビューでよく見かける「やってはいけない定数式のアンチパターン」を指摘する。

1. `const` の連鎖切れ（Cascading `const` Failure）

コンテナ（ListやMap）を `const` にする場合、その中身の要素もすべて `const` でなければならない。

// ❌ 悪例：リスト自体は const だが、中の文字列が実行時評価や非constの場合（あるいは型推論のミス）
// Dartでは要素がconstコンストラクタやリテラルでないとコンパイルエラーになるが、
// 複雑なオブジェクトのネストにおいて const の付け忘れが頻発する。
const List tags = [
‘flutter’,
‘dart’,
// ここに変数が混ざるとコンパイルエラーになる
];

対策: コレクションを定義する際は、可能な限り先頭に `const` を置き、IDEの警告（`Prefer const with constant constructors`）を絶対に見逃さないこと。

2. `final` と `const` の混同による最適化の機会損失

「変更しないからすべて `final` にする」というアプローチは、安全性（イミュータブル）の観点では合格だが、パフォーマンスの観点では失格だ。
真にコンパイル時に値が決まるもの（設定値、カラーコード、ルーティングパス、固定メッセージなど）は、必ず `const` に昇格させよ。

—

結び：コードの重みを知るエンジニアであれ

Dartの `const` は、コンパイラに対する「私に代わってこの式の安全性を証明し、最適化を施してくれ」という強力な契約である。
この言語機能の境界線を正確に理解し、定数式を極限まで使い倒すこと。それこそが、モダンでスケーラブル、かつ予測可能で高速なアプリケーションを構築するプロフェッショナルの技術力だ。

今日のコードレビューから、あなたの手元の `final` を `const` に書き換えられる場所がないか、ぜひ探してみてほしい。