Null Safetyは単なる「型安全」ではない：コンパイラが見ている「削除されたコスト」の真実
多くの開発者は、DartのSound Null Safetyを「ランタイムエラーを減らすための便利なツール」と捉えている。だが、私たちがDart VMとAOTコンパイラの設計レベルで実装したのは、そんな甘いものではない。これは「実行時のガード命令を、コンパイル時の静的保証によって消滅させる」という、極めてアグレッシブな最適化スキームだ。
この記事では、Null Safetyが単なる型チェックを超え、どのようにVMの命令セットとメモリレイアウトを最適化しているのか。その深淵に触れる。
—
1. 実行時の「見えないコスト」を排除する
かつてのNull許容型が主流だったDartでは、VMは全てのオブジェクトアクセスに対して、「このポインタはNullではないか？」というチェックを隠れた命令（`CheckNull`）として挿入せざるを得なかった。
// Null Safety以前の思考
void process(Object? obj) {
// VMはここで毎回、「objがnullでないか」を確認する命令を生成する
print(obj.toString());
}
この「毎回」というコストは、JIT環境なら最適化で消えることもあるが、AOT環境やIsolateの境界を跨ぐ通信では無視できないレイテンシを積み上げる。
Sound Null Safety下では、型システムが「非Null」を保証するため、コンパイラは「このコードパスに到達する時点で、この値は物理的にNullになり得ない」という強固な前提を置く。これにより、コンパイラは該当するNullチェック命令をバイナリから完全に削除（Dead Code Elimination）できる。これは、CPUの分岐予測ミスを減らし、命令パイプラインを効率化する直接的な最適化だ。
—
2. メモリレイアウトとレジスタ割当の最適化
コンパイラにとって最大の敵は「不確定性」だ。Null許容型であるということは、そのメモリ領域が「オブジェクトのポインタ」か「nullという特殊な値」のいずれかを保持する可能性があることを意味する。
Null Safetyがもたらす物理的恩恵
1. ポインタの単純化: Non-nullable型であれば、コンパイラは当該アドレスが常に有効なインスタンスを指していると断定できる。これにより、`Load`命令の後に続くべき `JumpIfNull` 命令を完全に破棄し、直接レジスタにインスタンスのプロパティをロードできる。
2. タグ付けの最適化: Dartは内部的に「タグ付けされたポインタ」を使用するが、Null安全なコードでは、特定のインターフェースの呼び出しが「常に有効なvtableを持つ」ことが保証されるため、ディスパッチの高速化に繋がる。
—
3. 実践：コンパイラに何を証明させるか
以下のコードを見てほしい。この関数において、コンパイラはどのような「確信」を持っているのか。
class Engine {
void ignite() => print(“Firing…”);
}
// Sound Null Safety環境下
void run(Engine? engine) {
// 1. 静的解析でNullチェックを通過させる
if (engine != null) {
// 2. このブロック内ではコンパイラは「engineは絶対にEngine型である」と確信している
// 3. ここでのコンパイル後の機械語には、nullチェック命令は存在しない
engine.ignite();
}
}
このコードが実行される時、Dart VMの最適化コンパイラ（AOTであれば `precompiler`）は、`if` ブロック内の `engine` に対して、一切のガード命令を注入しない。これは、CPUが投機的実行を行う際にも、余計な分岐条件を推測させる必要がないことを意味する。
—
4. Isolateとメモリ障壁：境界を跨ぐ最適化
我々が最も腐心したのは、Isolate間でのメッセージパッシングだ。Null Safetyが保証されているデータ構造は、Isolateを跨ぐ際に「構造の妥当性」を確認するコストを劇的に減らす。
Isolate境界では、オブジェクトはコピーまたは転送されるが、`!null` が保証されている場合、VMは値の性質を推論して、シリアライズ（または転送）のパスをショートカットできる。Null安全ではない言語では、構造の隅々までNULLチェックを走らせなければならないが、Dartでは型定義がそのまま「このメモリ領域は安全である」というメタデータとして機能する。
—
結論：シニアエンジニアが意識すべき「Sound」の重み
「Sound（健全）」という言葉は、Dartにおいて「型システムが嘘をつかない」ことを指すが、これは同時に「ハードウェアが嘘をつかなくて済む」ことを意味する。
開発者が `!`（強制アンラップ）を多用するのは、コンパイラに対する信頼の放棄であり、同時にVMの最適化パスを破壊する行為に他ならない。本当にパフォーマンスを極限まで引き出したいのであれば、`!` に頼るのではなく、コンパイラのフロー解析が「ここはNullではない」と自動的に断定できるコード構造を設計することだ。
Dart VMは、あなたのコードが安全であると確信した瞬間、その裏で数千の命令を削ぎ落とし、ハードウェアの性能を最大限に引き出すための最適化を開始する。これが、DartのNull Safetyを「ただの機能」ではなく「ランタイムの基盤」たらしめている理由である。
コードを書くとき、コンパイラがあなたのコードをどう見ているか、その眼差しを常に意識せよ。それが、伝説的なアーキテクチャを築くための第一歩だ。