Dartの「Sound Null Safety」を極める：constコンストラクタとNull許容型の深淵
Dartの`const`は単なる「定数」ではない。それは、コンパイル時にメモリレイアウトを確定させ、VMのヒープ領域ではなくデータセグメント（ROData）に静的に配置される「究極の最適化」である。
しかし、この強力な武器である`const`と、Dartの心臓部である「Sound Null Safety」が衝突する地点で、多くのエンジニアが設計の迷路に迷い込む。特に「Null許容型（Nullable）」を定数として扱おうとした際、なぜコンパイラは牙を剥くのか。
今日は、その制約の正体と、現場で「絶対にバグらせない」ための定数設計術を授けよう。
—
1. なぜ「Null許容型」をconstに含めるとコンパイラは苦悩するのか
結論から言えば、「コンパイル時に値が確定していても、メモリ上の配置（Address）が実行時のNull安全性の保証と競合する可能性があるから」だ。
Dartの`const`オブジェクトは、コンパイル時に「正規化（Canonicalization）」される。つまり、同じ内容のオブジェクトはメモリ上で同一インスタンスとして共有される。ここにNull許容型（`int?`など）を混ぜると、コンパイラは「その値が実行時にどう解釈されるか」という不確実性をメタデータとして抱えることになる。
もし、コンパイル時に評価できない動的な値を`const`に持ち込もうとすれば、コンパイラは即座にエラーを投げる。これは単なる制限ではなく、「実行時のNullチェックを一切排除した最速のコード」を生成するための必然なのだ。
—
2. 実務で直面する「定数設計」のアンチパターン
多くの現場で散見される、保守性を損なう設計を見てみよう。
// 悪い例: 定数にしたいために無理やりNull許容型を混入させる
class Config {
final String? endpoint;
const Config(this.endpoint);
}
// これ自体はconstだが、使う側でNullチェックの嵐に巻き込まれる
const defaultConfig = Config(null);
この設計の罪は、「Nullであるかどうかの判断を、呼び出し側に押し付けている」ことだ。`const`は「不変」であるべきだが、中身がNullである可能性があるなら、それはもはや「値」ではなく「状態の欠落」を定数化しているに過ぎない。
—
3. 「Null安全 × const」を極める：プロの設計パターン
Null許容型を定数で扱うべきではない。もし「デフォルト値」が必要なら、Nullオブジェクトパターン（Null Object Pattern）を採用し、Nullを排除した設計に昇華させるのが、Dartの流儀だ。
推奨される実装：デフォルト値を「正規化」する
class ApiConfig {
final String endpoint;
// コンストラクタをprivateにし、ファクトリーでNullを排除する
const ApiConfig._({required this.endpoint});
// Null許容型を排除した定数定義
static const fallback = ApiConfig._(endpoint: ‘https://api.production.com’);
// 必要であればファクトリー経由で安全に生成する
factory ApiConfig.fromUrl(String? url) {
if (url == null || url.isEmpty) {
return fallback;
}
return ApiConfig._(endpoint: url);
}
}
なぜこの設計が「美しい」のか
1. コンパイル時最適化の維持: `ApiConfig.fallback`は、VMにとって完全に静的な領域に配置され、実行時のNullチェックコストがゼロになる。
2. 呼び出し側の疲弊防止: 利用側は`endpoint`が確実に`String`であることを信頼できる。`?`を追いかける必要はない。
3. Isolate境界の安全性: `const`オブジェクトは共有メモリとして安全にIsolate間を渡れる。Nullという「不確定要素」を排除することで、並列処理の堅牢性が飛躍的に高まる。
—
4. パフォーマンス上の注意点：Lazy Initializationとの使い分け
最後に、エンジニアとしての視座をもう一段階上げよう。
すべてのオブジェクトを`const`にすれば良いわけではない。
- `const`を使うべきケース: 設定値、UIのスタイル定義、数学的定数など、「プログラムの開始前から存在が確定しているもの」。
- `static final`を使うべきケース: データベース接続、APIクライアント、DIコンテナなど、「実行時に一度だけ初期化が必要なもの」。
これらを混同し、無理やり`const`に閉じ込めようとすると、コンパイルエラーとの格闘に時間を浪費することになる。
結論：定数設計の極意
「Null許容型を定数に含めようと思ったら、その設計を疑え」
DartのNull Safetyは、コンパイラが「Nullの可能性を完全に排除した」という証明書だ。定数という最も静的な場所に、その証明書を汚す「Nullの疑い」を持ち込んではならない。
Null許容型が必要な場所は、あくまで「実行時の可変的なデータ」に限定し、定数定義には常に「Nullを排除した堅牢なデフォルト値」を配置する。この小さな規律の積み重ねが、あなたの書くFlutterアプリを、数百万ユーザーが使っても揺るがないプロダクション品質へと引き上げるのだ。
さあ、コードを書き換えよう。`?`を取る努力こそが、最も優れた最適化なのだから。