Dartの「レコード型」とNull安全の極致：多値返却における「迷いなき」型設計
DartのSound Null Safetyは、単なる「Nullポインタ例外を防ぐためのガード」ではない。コンパイラが型グラフを静的に解析し、実行時のVMが最適化を施すための「強力なメタデータ」だ。
特にDart 3で導入されたレコード（Records）は、関数の戻り値という「設計の急所」を劇的に進化させた。しかし、現場ではいまだに「どこに`?`（Null許容）を打つべきか」という迷いが見受けられる。
今日は、フロントエンドからバックエンドまで、Dartを知り尽くしたアーキテクトの視点から、「バグを型定義で殺す」ためのレコード設計を伝授する。
—
1. なぜ「レコードのNull許容」で迷ってはいけないのか
多くの開発者は、多値返却を行う際に以下のような実装をしてしまう。
// 悪い例：中身が空かどうかが型から読み取れない
(User?, Error?) fetchUserData() { … }
これの何が問題か？ `(null, null)` という、「何も起きていないが成功もしていない」という不正な状態を型システムが許容してしまっているからだ。「どちらかが必ず存在する」というビジネスロジックが型にエンコードされていないため、利用側は常に無駄な条件分岐を強いられる。
—
2. 実践的ベストプラクティス：成功と失敗の分離
レコード型設計の鉄則は、「状態の相互排他性を型で表現すること」だ。
推奨パターン：Union型的なアプローチ
レコードを用いて、成功時と失敗時の構造を明確に分け、Nullableを外側に配置する。
typedef FetchResult = ({User user, Null error} | {Null user, Exception error});
// 現場で即戦力となる実装例
({User user, Exception? error}) fetchUserData() {
try {
final user = _api.getUser();
return (user: user, error: null); // 成功ケース
} catch (e) {
// 異常系：ユーザーは存在しないことが自明
return (user: User.guest(), error: Exception(‘Network Error’));
}
}
なぜこの設計が優れているのか
1. 網羅性の強制: `switch`式によるパターンマッチングを使う際、コンパイラがすべてのケースをチェックする。
2. 実行時の最適化: Dart VMは、特定の構造を持つレコードに対して内部的に効率的なメモリ配置（ヒープ上のボックス化を最小化）を行う。
3. 可読性: `result.user` にアクセスする際、その値が「本当に存在するのか」という不安を排除できる。
—
3. パフォーマンスとコンパイル時の挙動
Dartにおいてレコードは「値型（Value Type）」に近い挙動を示す。
もしあなたが、レコードを非常に高頻度で生成するループ内で使用する場合、以下の点に注意せよ。
- 推論の最適化: 複雑な型推論を回避するため、戻り値の型は `typedef` を使って明示的に定義する。これにより、コンパイラは型検査のコストを削減し、AOTコンパイル時のコード生成が効率化される。
- 不必要なアロケーション: レコードはイミュータブルだ。`if`文で安易にレコードを生成し直すのではなく、可能な限り `switch` 式で一度だけマッチングを行い、その後はスコープ内で安全に扱うように設計する。
—
4. プロダクションコード：保守性の高い設計
以下は、APIリクエストをラップし、UI層で安全に扱えるようにした実務的なテンプレートだ。
// 型のシグネチャを定義して再利用性を高める
typedef ApiResult
class UserRepository {
ApiResult
// コンパイラが解析しやすい構造に保つ
final result = _remoteService.fetch();
if (result.isSuccess) {
return (data: result.user, errorMessage: null);
}
return (data: null, errorMessage: ‘Failed to fetch’);
}
}
// UI/ビジネス層での利用
void handleResult(ApiResult
final (:data, :errorMessage) = result; // 分解代入で可読性向上
if (data != null) {
print(‘Welcome, ${data.name}’);
} else {
print(‘Error: $errorMessage’);
}
}
—
最後に：型は「ドキュメント」以上の存在である
DartのNull安全とレコード型を正しく使うことは、「自分が書いたコードが、将来の自分やチームメンバーをどう守るか」を設計することと同義だ。
「Null許容型」を安易に使うことは、バグへの招待状を送っているのと同じである。レコード型を活用し、「正常系と異常系が明確に分離された型定義」を実装する。それこそが、堅牢なプロダクションコードを書くための唯一の近道だ。
次のコードレビューでは、`?` を一つ打つ前に立ち止まってほしい。「この Null は、本当に存在する必要があるのか？」と。その自問自答こそが、君をただのコーダーから、真のエンジニアへと引き上げるはずだ。