Dartを掌握する：`const`と「Null安全」が交差する深淵へ
こんにちは。Dartのコアエンジンに魅了された皆さんに、今日は少しだけ「コンパイラの視点」を共有したいと思います。
Dartの「Sound Null Safety（健全なNull安全）」は、単なるエラーチェックではありません。これは「コンパイル時にメモリの安全性を証明する」という、Dart VMが最も得意とする静的解析の賜物です。しかし、この堅牢な守護者が、`const`（定数）という特権的な領域と出会うとき、初心者がしばしば迷路に迷い込むポイントがあります。
今日は、`const`コンストラクタとNull許容型が織りなす「制約」の正体を暴いていきましょう。
—
1. なぜ `const` は「Null許容型」を嫌うのか？
まず、Dartにおいて `const` が何を意味しているか、再定義しましょう。`const` は「コンパイル時にその値が完全に確定しており、実行時にメモリ上の同じ領域を指し示す（Canonicalization）」という最強の最適化です。
ここで、Null許容型（`int?` や `String?` など）を `const` に含めようとすると、コンパイラは身構えます。
陥りやすい罠：定数の中の「未確定」
class User {
final int? id; // Null許容型
const User(this.id);
}
// これは問題ない
const userA = User(1);
const userB = User(null);
一見すると何の問題もないように見えますが、複雑な定数式の中で「Nullである可能性がある」という不確実性は、Dart VMの最適化エンジンにとって「コンパイル時に決定できない不確定要素」とみなされることがあります。
特に、`const` コンストラクタ内で「Nullか否か」で条件分岐したり、デフォルト値を動的に割り当てようとすると、コンパイラは冷たく拒絶します。
—
2. 実践：`const` 定数設計の黄金律
では、どのように設計すれば良いのか。基本は「定数の中に不確実性を持ち込まない」ことです。
推奨されるパターン：定数の型を「非Null」に強制する
もしそのクラスが `const` として設計されるなら、プロパティもできる限り `non-nullable` にすべきです。どうしてもNullを扱いたい場合は、デフォルト値をコンストラクタ引数で与える手法が定石です。
class Config {
final String path;
// デフォルト値を与えることで、呼び出し側がNullを気にしなくて済む
const Config({this.path = ‘/default/path’});
}
// これなら、コンパイラは「絶対にNullにはならない」と確信できるため、
// 実行時のメモリ効率が最大化されます。
const myConfig = Config();
なぜこれが重要なのか？
DartのAOTコンパイラ（事前コンパイル）は、定数オブジェクトをメモリ上の特定の領域に「埋め込み」ます。このとき、値が「Nullかもしれない」という状態が混ざると、実行時に「Nullチェック」という余計な命令をCPUが実行しなければならなくなります。
`non-nullable` に固定することで、CPUはNullチェックをスキップし、ただのポインタアクセスとして処理を完結できるのです。 これがDartの高速性の源泉です。
—
3. 「どうしてもNullが必要」な場合の賢い回避策
「いや、私のドメインロジックではNullが重要な意味を持つんだ」という場合もあるでしょう。その場合は、`const` を諦めるか、あるいは `static const` ではなく `late final` などを検討してください。
しかし、どうしても定数にこだわりたいなら、「Nullを定数化する」というアプローチをとります。
class OptionalWrapper {
final int? value;
const OptionalWrapper(this.value);
}
// コンパイラは「この値は実行時に変わらないNullだ」と理解できる
const nothing = OptionalWrapper(null);
const something = OptionalWrapper(42);
このように、「Nullを扱うためのコンテナ自体を定数にする」ことで、型システムの整合性とコンパイル時定数の恩恵を両立させることができます。
—
先輩からのアドバイス：Dartを「掌握」するために
Dartのコードを書くとき、常に頭の片隅に置いてほしいことがあります。
- `const` はただの飾りではなく、メモリの予約票である
- Null安全は、コンパイラとの共同作業である
もし、`const` をつけてエラーが出るなら、それはコンパイラが「あなたのコードに曖昧さがある」と教えてくれている合図です。「なぜここでNullを許可する必要があるのか？」「デフォルト値で解決できないか？」と自問自答してみてください。
ここをクリアすれば、あなたの書くDartコードは、ただ動くだけのものではなく、Dart VMが愛する「極めて効率的で美しい機械」へと進化します。
さあ、次はどんな挑戦をしましょうか？Dartの深淵はまだ始まったばかりですよ。