こんにちは。Dartの深淵へようこそ。
FlutterでUIを構築しているとき、`const`を付けるだけでパフォーマンスが劇的に向上することはご存知ですよね。しかし、その強力な最適化ツールである`const`が、Null安全（Sound Null Safety）の制約とぶつかり合ったとき、多くの開発者が「なぜこれが許されないんだ？」と頭を抱えます。
今日は、Dartのコンパイル時定数とNull許容型の「噛み合わない歯車」の正体を、VM（仮想マシン）レベルの視点から紐解いていきましょう。ここを理解すれば、あなたのDartコードは一気に洗練されますよ。
—
1. なぜ `const` と Null許容型は相性が悪いのか？
Dartの `const` は、「プログラムが実行される前（コンパイル時）に、その値が完全に確定していなければならない」という絶対的なルールを持っています。
Null許容型（`T?`）は、コンパイル時には「値があるか、あるいは `null` か」という不確実性を内包しています。これが `const` の静的な世界観と衝突するのです。
よくあるエラーの現場
例えば、こんなコードを書いたことはありませんか？
class Configuration {
final String? endpoint; // Null許容型
// ここでエラーが発生します！
// “Invalid constant value.”
const Configuration({this.endpoint});
}
このエラーが出る理由は単純です。「コンパイル時にメモリ上の配置を決定したいのに、`endpoint` が `null` になる可能性があるなら、そのメモリレイアウトを固定できない」とDartコンパイラが判断するからです。
—
2. コンパイル時定数の本質：メモリの「定位置」を確保する
少し専門的な話をしましょう。`const` として宣言されたオブジェクトは、Dart VMがプログラムを起動する前に、ヒープ領域の特別な「定数プール」に配置されます。
もし、コンストラクタがNull許容型を受け入れてしまうと、コンパイラは実行時までその値（あるいはnull）を確定できません。コンパイル時定数は「静的（Static）」でなければならないという原則に対し、`null` という存在は時に「動的（Dynamic）」な揺らぎを与えてしまうのです。
—
3. この制約を突破する「実戦的アプローチ」
では、Null許容値を使いたいけれど、`const` の恩恵も受けたい場合はどうすればいいのでしょうか？ いくつかの「賢い回避策」があります。
方法A：デフォルト値の活用（推奨）
Null許容型を使わずに、デフォルト値を設定することで解決します。
class Configuration {
final String endpoint;
// デフォルト値を設定することで、実行時に確実に値が存在することを保証する
const Configuration({this.endpoint = ‘https://api.default.com’});
}
これならコンパイラは「絶対に値がある」と確信できるため、`const` を付与できます。
方法B：定数ファクトリーによる「nullの擬似定数化」
どうしても `null` を扱いたい場合、`const` ではなく `static final` を検討してください。
class Configuration {
final String? endpoint;
const Configuration._({this.endpoint});
// コンストラクタを隠蔽し、定数として扱う
static const Configuration defaultCfg = Configuration._(endpoint: null);
}
このように「コンストラクタ自体を定数化するのではなく、インスタンスを定数として定義する」ことで、Null安全と定数のバランスを保てます。
—
4. 陥りやすい罠：`const` じゃないのに `const` だと思い込む
初学者が最も混乱するのは、「コレクションの定数」です。
// これはOK
const list = [1, 2, 3];
// これはNG
final endpoint = null;
const list = [1, 2, endpoint]; // エラー！
`const` なリストの中に、後から決まる変数（`final` であっても）を混ぜることはできません。リストが `const` である以上、その中身も「コンパイル時に完全に決定されているリテラル」である必要があります。
先輩からのアドバイス
「`const` を付ければ速くなるから」といって、無理やり `const` を付けようとしないでください。Null許容型が必要な場所では、素直に `final` を使いましょう。Null安全は「実行時のクラッシュを防ぐ」ための最強の盾であり、`const` は「実行速度を上げる」ための武器です。 どちらも大切ですが、まずは盾を優先させるのがDartの流儀ですよ。
—
まとめ：Dartを掌握するために
- `const` はコンパイル時に全てが決まる必要がある。
- Null許容型（`T?`）は不確定要素を含むため、原則として `const` コンストラクタには馴染まない。
- どうしても `const` が必要な場合は、デフォルト値を設定するか、定数ファクトリーパターンを検討する。
ここを理解できれば、あなたはもう「なんとなく `const` を付けている開発者」から、「メモリ効率まで考慮できるエンジニア」へ一歩前進です。
Dartのコンパイラは非常に優秀です。エラーメッセージは「ここを直せばもっと速く、もっと安全になるよ」というコンパイラからのヒントです。そのヒントを読み解きながら、最高のFlutterライフを楽しんでくださいね！
また分からないことがあれば、いつでも聞きに来てください。応援していますよ。