Dartの「Sound Null Safety」と「const」の境界線：堅牢な定数を設計する極意
Dartの世界へようこそ。言語の深淵を覗く準備はいいですか？
今日は、Dartの堅牢性を支える二大巨頭、「Sound Null Safety」と「コンパイル時定数（const）」が交差する地点での、ちょっとした制約と、それを鮮やかに乗りこなすための設計思想についてお話しします。
ここを理解できれば、あなたのコードは「ランタイムエラーの不安」から解放され、Dartの型システムを完全に掌中に収めたと言っても過言ではありません。
—
1. なぜ「const」はNull安全と相性がいいのか？
Dartにおいて `const` をつけるということは、「この値はコンパイル時に完全に決定され、メモリ上で唯一無二の存在（Canonicalization）として固定される」という宣言です。
コンパイル時にすべてが決まるということは、当然、そこに「未知のNull」が紛れ込む余地はありません。しかし、Null許容型（`T?`）を `const` で扱おうとすると、Dartは非常に慎重になります。
なぜなら、`null` という値自体が、型システムにおいて「すべての型のサブタイプ」として振る舞うという、少し特殊な性質を持っているからです。
2. constコンストラクタにおける「Null許容型」の壁
例えば、設定情報のようなクラスを `const` で作りたいとしましょう。
class AppConfig {
final String? apiKey; // Null許容型
const AppConfig({this.apiKey});
}
// これはOK
const configA = AppConfig(apiKey: “SECRET_123”);
const configB = AppConfig(apiKey: null); // これもOK
ここまでは順調ですよね。問題は、「デフォルト値」や「計算」を伴うコンストラクタを定義しようとした時に発生します。
陥りやすい罠：定数式での制約
`const` コンストラクタ内では、実行時に評価が必要なコードは書けません。特に、Null許容型に対して「デフォルト値を割り当てる」際、安易に三項演算子などを使うと、コンパイラから「それは定数評価できないよ」と怒られることがあります。
class AppSettings {
final String apiKey;
// ✕ コンパイルエラー:
// ‘?’ は定数式では使用できません。
const AppSettings({String? key}) : apiKey = key ?? “DEFAULT_KEY”;
}
なぜエラーになるのか？
Dartのコンパイラは、`key ?? “DEFAULT_KEY”` というロジックを「コンパイル時に展開できる形式」として確信が持てない場合があります。特に、複雑な条件分岐や計算を `const` コンストラクタに持ち込むと、静的解析器は「これは実行時まで評価を遅延させるべきか？」と迷い、安全のためにコンパイルを拒否します。
3. 解回避策：定数設計の黄金ルール
では、どうすれば「Null許容の柔軟性」と「constの爆速性能」を両立できるのか？
一番の近道は、「コンパイル時定数には、できるだけNullを持ち込まない」という設計思想を持つことです。
アプローチA：デフォルト値は名前付き引数で処理する
定数コンストラクタの引数自体にデフォルト値を持たせれば、ロジックを内部に書く必要はありません。
class AppSettings {
final String apiKey;
// これならOK！引数側でデフォルトを決定しているため、
// コンパイラは「完全に確定した値」として認識できます。
const AppSettings({this.apiKey = “DEFAULT_KEY”});
}
アプローチB：FactoryコンストラクタでNullを隠蔽する
どうしてもクラスのインターフェースとして `null` を受け取りたい場合は、`const` コンストラクタをプライベートにし、`factory` を使って定数を切り出す手法がプロの定石です。
class DatabaseConfig {
final String host;
// 定数用のプライベートコンストラクタ
const DatabaseConfig._internal(this.host);
// 工場（factory）を通すことで、Nullチェックを安全に済ませてから定数を返す
factory DatabaseConfig({String? host}) {
return DatabaseConfig._internal(host ?? “localhost”);
}
}
4. まとめ：Dartの型システムを「制御」する
最後に、今回のポイントを整理しましょう。
- constは「確定したもの」しか許さない: `const` を使うということは、コンパイラに対して「このクラスの状態は、今日から未来永劫変わらない」と約束する行為です。
- Null許容型は「曖昧さ」の象徴: `T?` は値がない可能性を含んでいるため、定数化する際は「それが確定しているか」をコンパイラに証明してあげる必要があります。
- ロジックをコンストラクタから追い出す: `const` コンストラクタの中に複雑な条件分岐（`??` や `? :`）を書くのは避け、引数のデフォルト値やファクトリメソッドで型を確定させるのがベストプラクティスです。
Dartのコンパイラは世界で最も優秀な「あなたのコードの監視者」です。エラーが出たら、それは「君のコード、もっと綺麗に設計できるよ」という彼らからのアドバイスだと思ってください。
ここをクリアしたあなたは、もうDartの初心者ではありません。次はぜひ、Isolateを活用した並列処理の最適化にも挑戦してみてくださいね。
あなたのコーディングライフが、より堅牢で美しいものになりますように！