【入門編】Dartのフロー解析における「到達不能コード」の判定ロジックとNull安全の相関 – Dart コア文法・オブジェクト指向・Null安全解析バイブル

Dartの世界へようこそ。私はDartの言語仕様とランタイムの深淵を見守るアーキテクトです。

今日は、多くの開発者が「なんとなく」使い、そして時にコンパイラの気まぐれに翻弄される「Sound Null Safety（健全なNull安全）」と「フロー解析（Flow Analysis）」の核心についてお話ししましょう。

Dartがなぜこれほどまでに堅牢で、かつ型推論が洗練されているのか。その秘密は、コンパイラがコードをどう「読み解いているか」にあります。ここをマスターすれば、もうコンパイラと無駄な喧嘩をする必要はなくなりますよ。

—

DartのNull安全は、単なるエラーチェックではありません。「この変数にnullが入ることは物理的にあり得ない」ということを、コンパイル時に論理的に証明する仕組みです。

例えば、`String? name` という変数は「nullかもしれない」という不安を抱えています。しかし、コンパイラはコードの流れを追いかけ、もし「ここで必ず値が入っている」と確信できれば、その瞬間、`String?` を `String` へと「昇格（Promotion）」させます。

これを司っているのが「フロー解析」というエンジンです。

—

コンパイラはコードを直線的に読んでいるわけではありません。制御フローグラフ（Control Flow Graph）という地図を描き、あらゆる分岐パターンを網羅して、「この地点でnullの可能性が残っているか？」を判定しています。

void greet(String? name) {
// ここでは name は String? (nullかもしれない)

if (name == null) {
// コンパイラ：「このブロックに入ったということは、nameはnullだな」
return;
}

// ここに到達したということは、上のif文を抜けたということ。
// コンパイラ：「nullではないことが確定した。これより下では String として扱おう」
print(name.length); // 昇格成功！
}

この「returnで終わる」や「例外を投げる」といった到達不能コード（Dead Code）を特定する力が、昇格を可能にしています。

—

現場でよくある「なぜか型が昇格してくれない！」という悩み。その原因のほとんどは、コンパイラが「途中で誰かが値を書き換えたかもしれない」と疑っているからです。

クラスのメンバ変数（フィールド）は、他のIsolateや非同期処理によって書き換えられる可能性があるため、基本的には昇格しません。

class User {
String? name;

void printName() {
if (name != null) {
// コンパイラ：「このメソッドの実行中に、別スレッドが name を null にするかもしれない」
// だからここは昇格しない！
// print(name.length); // エラー！
}
}
}

解決策： 一度ローカル変数にコピーしてください。ローカル変数はコンパイラが完全に支配下（スタック上）に置けるため、昇格が働きます。

final localName = name;
if (localName != null) {
print(localName.length); // これなら確実！
}

—

コンパイラが賢いのは、「ここには絶対に到達しない」という事実から、変数の状態を絞り込める点です。

void process(String? input) {
final value = input ?? (throw Exception(“値がない！”));

// コンパイラ：「throwによってここより下は到達不能になるはずだ。
// つまり、この行に到達した時点で value は絶対に null ではない！」
print(value.toUpperCase());
}

このように、`throw` や `return`、`break` を活用してコードパスを遮断することは、単なる制御フローの制御ではありません。コンパイラに対する「証明の提出」なのです。

—

`!` は「コンパイラ君、何も考えなくていいよ、俺が責任を持つから！」という強制終了ボタンです。これに頼りすぎると、Null Safetyの恩恵を自ら捨てていることになります。

`if (a != null && a.isNotEmpty)` のように書けば、コンパイラは `a` が `null` でないことを理解した上で右辺を評価します（短絡評価）。この順番は非常に重要です。

—

Dartのコンパイラは、あなたの味方です。彼らがエラーを吐くのは、「論理的に危うい場所があるよ」という警告に過ぎません。

コードを書くとき、「今、コンパイラは僕のコードのどの道を辿って、何が確定したと思っているだろう？」と脳内でシミュレーションしてみてください。その視点を持てたとき、あなたはDartを使いこなす側から、Dartを掌握する側へと進化しています。

さあ、自信を持ってコードを書いていきましょう。何か詰まったら、いつでもこの「フロー」を思い出してくださいね。応援しています！