こんにちは。Dartの世界へようこそ。
Dartの「Sound Null Safety」は、単なるエラーチェックの仕組みではありません。コンパイラが「この変数は絶対にNullにならない」という数学的証明を行い、ランタイムの安全性を極限まで高めるための強力な武器です。
今回は、その中でも特に扱いが難しく、かつ設計の美しさを左右する `late final` について深掘りしていきましょう。ここをマスターすれば、あなたのコードは一段上の「堅牢性」を獲得しますよ。
—
1. なぜ `late final` が必要なのか？
通常、Dartの `final` 変数は、コンストラクタが完了するまでに初期化を終えなければなりません。しかし、設計上「インスタンス生成時には値が確定していないが、後で必ず一度だけ代入され、その後は変更させたくない」というケースが多々あります。
そこで登場するのが `late` です。
- `final`: 「一度決めたら変えさせない」という不変性の保証。
- `late`: 「初期化は後でやるから、コンパイラのチェックを一時保留してくれ」という契約。
この二つを組み合わせることで、「後から一度だけ代入可能」という強力なプロパティが完成します。
—
2. `late final` を使うべき「3つの鉄則」
`late final` を使う際は、以下のチェックリストを常に頭に置いてください。これがないと、ランタイムで `LateInitializationError` という「最も避けたいエラー」に直面することになります。
① 「コンストラクタで確定できない」ときだけ使う
コンストラクタで値を渡せるなら、迷わず通常の `final` を使ってください。`late` はあくまで「コンストラクタの引数として受け取れない状況（例：非同期処理の結果や、他のプロパティに依存する計算）」のための逃げ道です。
② 「一度だけ代入」をコードの意図として明確にする
`late` だけで `final` をつけないと、後から何度でも値を上書きできてしまいます。設計意図を明確にするために、不変性が重要な場合は必ず `late final` とセットで定義しましょう。
③ 読み出し前に必ず代入を保証する
Dart VMは、あなたが読み出す瞬間に `late` 変数が初期化されているかを実行時にチェックします。このチェックは「実行時」に行われるため、初期化を忘れるとアプリがクラッシュします。
—
3. よくある設計ミスと対策
❌ やってはいけない例：初期化のタイミングが曖昧
class UserProfile {
late final String nickname;
void setup() {
// もしsetup()を呼び忘れてnicknameにアクセスすると…
// 💥 LateInitializationError: Field ‘nickname’ has not been initialized.
}
}
✅ 推奨される設計：コンストラクタまたはファクトリーでの完結
もし初期化が複雑なら、コンストラクタ内で確実に初期化するか、`factory` コンストラクタを使って生成時に値を決定させましょう。
class UserProfile {
final String nickname;
// コンストラクタで初期化を強制する設計
UserProfile(this.nickname);
// もし非同期で値を取得するなら、staticファクトリーを使うのが定石
static Future
final name = await fetchNicknameFromApi();
return UserProfile(name);
}
}
—
4. 現場で使える「設計チェックリスト」
コードを書くとき、以下の問いを自分に投げかけてみてください。
1. 「この値は、コンストラクタの引数で受け取れないか？」
- Yes → `final` を使いましょう。
2. 「初期化処理は確実に一度だけ実行されるか？」
- No → `late` は危険です。`Nullable`（`String?`）を検討しましょう。
3. 「初期化前にアクセスしてしまうパスは存在しないか？」
- 存在する場合 → そのパスを削除するか、`late` を外して `Nullable` に変更してください。
—
先輩からのアドバイス：`late` は「伝家の宝刀」
`late` は非常に強力ですが、多用すると「コンパイル時にNull安全を保証する」というDartのメリットを自ら手放すことになります。
「`late` を使わずに書く方法はないか？」 を考え抜くことが、優れたアーキテクチャへの第一歩です。どうしても必要な時だけ、その責任を負う覚悟で `late final` を使いこなしてください。
ここまで理解できれば、あなたはもうDartの型システムを正しく操る中級者の仲間入りです。次は非同期処理のNull安全についても深掘りしていきましょう。応援していますよ！