こんにちは。Dartの世界へようこそ。
Dart VMの深淵を覗き込み、コンパイラの最適化パスを日々追いかけている私から、今日は「Null安全」と「Record型」という、現代Dartの最も強力なコンビネーションについてお話しします。
多くの開発者が「なんとなく」で使いがちなNull許容ですが、Record型を組み合わせることで、あなたのコードは劇的に堅牢で、かつ意図が明確なものに変わります。さあ、一緒に深掘りしていきましょう。
—
1. なぜ「Record型」と「Null安全」をセットで語るのか
これまで、Dartで複数の値を返そうとすると、`List`を使ったり、専用の`class`を作ったりしていましたよね。しかし、`List`は型が曖昧になりがちですし、`class`は書くのが面倒。
そこで登場したのがRecord型です。
`return (user, error);` のように、型システムが守られた状態で複数の値を返せるようになりました。ここで重要なのが、「その戻り値のどこをNull許容にするか」という設計思想です。
Null安全の根幹は「値が存在しない状態を、コンパイル時に確定させること」にあります。これをRecordに適用すると、「関数の戻り値そのもの」ではなく、「戻り値の中身のどこが欠けている可能性があるか」を厳密に定義できるようになります。
—
2. 実践：Null許容の最適解を見つける
例えば、ユーザー情報を取得する関数を考えてみましょう。成功すればユーザー情報を、失敗すればエラーメッセージを返したいとします。
悪い設計（NullだらけのRecord）
// どこがNullで、どこが値なのかがコンパイラに伝わりにくい
(User?, String?) fetchUser() {
// これだと (null, null) が返る可能性すら排除できない
return (null, “Error”);
}
これでは、呼び出し側で常に `if (result.$1 != null)` のようなチェックが必要になり、コードが汚れますよね。
良い設計（論理的な分離）
Dartの型システムを最大限に活かすなら、「Recordの要素自体をNull許容にする」のではなく、「Record全体で状態を表現する」のがコツです。
// 成功時と失敗時を明確に分ける
typedef FetchResult = ({User user, String? error});
({User? user, String? error}) fetchUser() {
try {
return (user: User(), error: null);
} catch (e) {
return (user: null, error: “取得失敗”);
}
}
—
3. パターンマッチングでNullを「消し去る」
Recordの真骨頂は、パターンマッチング（switch式）と組み合わせた瞬間に発揮されます。Null安全なコードを書く最大の秘訣は、「Nullチェックを自分で書かないこと」です。
final result = fetchUser();
// switch式で、Nullの可能性をコンパイラに解かせる
final message = switch (result) {
(user: final u, error: null) => “ようこそ、${u.name}さん！”,
(user: _, error: final e) => “エラー発生: $e”,
};
print(message);
この書き方の何が素晴らしいか分かりますか？
`error: null` というパターンを指定することで、コンパイラは「このブランチでは`error`は確実にnullであり、かつ`user`は非nullである」と推論します。プログラマが `!`（強制アンラップ）を使う必要が一切なくなるのです。これがDartのSound Null Safetyを掌握するということです。
—
4. 陥りやすい罠：Recordの型推論
初心者がよくハマるのが、Recordの型定義と実際の戻り値の不一致です。
// コンパイルエラーになる例
(int, int?) getCoordinates() {
return (null, 10); // 第1要素は非Null許容型なのにnullを返そうとしている
}
Dart VMは、関数が戻り値をスタックに積む際、その型が非Nullであることを厳密にチェックします。もしここを `(int?, int?)` に変更し忘れると、コンパイラは即座に警告を出します。
「Null許容にすべきか迷ったら、まず非Nullで定義せよ」
これが私の教訓です。コンパイラが「ここにnullが入る可能性があるよ」と怒ってくれるまで、あえてNull許容にしない。そうすることで、コードの安全性は担保されます。
—
まとめ：Dartを掌握するために
1. Recordは「状態」をまとめるためのもの： 単なる値の入れ物ではなく、関数が取りうる「結果のパターン」を表現してください。
2. Nullチェックはswitch式に任せる： `if-else` で泥臭くチェックするのではなく、パターンマッチングで「型を絞り込む」のが現代的なDartの作法です。
3. コンパイラを信頼する： DartのNull安全は、実行時の速度を犠牲にしません。むしろ、Nullチェックが不要な箇所をコンパイラが最適化し、機械語レベルで不要な分岐を削ぎ落としてくれます。
ここをマスターすれば、あなたのコードは驚くほど読みやすく、そして何より「壊れにくい」ものになります。
Dartの世界は、深く知れば知るほど、あなたの意図を正確に機械語へと変換してくれる最高のパートナーになります。また次のステップでお会いしましょう。ハッピーコーディング！