【テクニカル・上級編】Null安全環境での『モックテスト』：Null許容型を考慮したテストダブルの設計戦略 – Dart コア文法・オブジェクト指向・Null安全解析バイブル

Sound Null Safetyを飼い慣らせ：テストダブルにおける「型」の深淵とランタイムの真実

DartのSound Null Safetyは、単なる「Nullポインタ例外の防止策」ではない。それは、コンパイル時に型システムがメモリレイアウトの不確定性を排除し、AOTコンパイル後の機械語において、特定のレジスタが常に有効なインスタンスを指すことを保証する「厳格な契約」だ。

シニアエンジニア諸君なら理解しているはずだ。テストダブル、特にMocktailやMockitoを用いたモック化において、この「契約」を安易に無視すれば、テストはただの「型安全性を模倣した虚無」へと成り下がる。今回は、Null許容型（Nullable Type）をテストダブルで扱う際の、ランタイムの深層に根ざした戦略を説く。

—

1. コンパイラが見ている「Null」の正体

DartのNull Safetyにおいて、`T?` 型は、論理的には `T | Null` の共用体（Union Type）だ。しかし、VMの内部表現では、Null許容型はタグ付きポインタまたは特定のメモリ構造として管理される。

もし君がテストで `null` を返すモックを安易に注入し、プロダクションコードがそれを `T` として受け取ると、たとえ `late` 初期化や強制キャスト（`!`）を使わずとも、VMのランタイムチェックがそれを捕捉する。これはデバッグの問題ではなく、「型の整合性が崩れた瞬間にVMの実行時検証器がトリガーされる」という、極めて低レイヤの防御機構だ。

不健全なモック化の罪

// 危険なモックの例
// コンパイラは黙認するが、ランタイムの型推論器を欺いている
when(mock.fetchData()).thenReturn(null); // 返り値が T? と定義されている場合

このコードの何が問題か。モックライブラリは、動的に生成されたプロキシインスタンスの `noSuchMethod` を経由して値を返す。この際、型の境界チェックは動的に行われる。もし `null` を返し続けるモックが、実は非Nullを期待するコンテキストに注入された場合、ランタイムの「型強制」が発火し、パフォーマンストラブルや不要なメモリのフラッシングを誘発する。

—

2. テストダブルの設計戦略：『Nullの型化』

Null許容型を適切に扱うには、モックを単なる「値の返却装置」としてではなく、「型システムの境界を守る防壁」として設計する必要がある。

推奨される戦略：Null許容型専用のプロバイダー

単に `null` を返すのではなく、Null許容型の文脈を理解するラッパーを介在させる。

/// 型安全性を維持したモックの設計例
class MockDataRepository extends Mock implements DataRepository {}

void main() {
final repository = MockDataRepository();

// 戦略: 型を明示した明示的なNull返却
// Nullを「値」として扱うことで、VMの型昇格(Type Promotion)を意図的に阻害する
when(() => repository.nullableData).thenAnswer((_) => null);

// もし非Nullを期待するロジックにNullを流せば、ここで即座に実行時エラーが起きる。
// これこそが「テスト失敗の早期発見」という設計の意図である。
}

—

3. IsolateとNull許容型：非同期通信の罠

FlutterのIsolate間通信（Port通信）では、データはコピーされるか、あるいは特定のShared Memory領域を経由する。ここでNull許容型をモック化する際、最も注意すべきは「シリアライズの制約」だ。

Null許容型を `SendPort` を介して送受信する場合、Dart VMのシリアライザは `null` を特殊なトークンとして処理する。これを誤った型情報でモック化すると、Isolateのイベントループがデッドロックに近い挙動を示すことがある。

深層の知見：Nullのハンドリング

不変性の保持: モックが返す値は、必ずイミュータブル（`final` または `const`）であるべきだ。Null許容型であっても、そのNull状態がIsolateを跨ぐ際、VMのメモリマネージャは参照カウントを更新する。
イベントループの消費: `Future` を返すモックを作成する場合、必ず `Future.value(null)` を使用せよ。`Future.delayed` 等で意図的に遅延を入れると、Microtaskキューの順序が逆転し、Null許容型の型チェックが完了する前に後続のロジックが走り出す「Race Condition」を誘発する可能性がある。

—

4. 結論：型安全を武器にせよ

モック化において、Null許容型を「単なる穴」として扱うエンジニアは二流だ。一流は、「Nullであること」を型システム上の有効な状態として定義し、その状態がランタイムのどのコードパスで消費されるかを完全に制御する。

1. `null` を返すときは明示的に `Future.value(null)` を使用し、非同期の実行コンテキストを固定する。
2. Mocktailの `any()` や `capture()` を使う際は、必ず Null許容型が期待される位置に限定する。
3. 型推論に頼らず、明示的に `T?` 型を指定することで、VMの実行時検証器にヒントを与える。

DartのSound Null Safetyは、コンパイラという最強のガードマンを味方につけるためのツールだ。テストダブルの設計においても、このガードマンを欺くのではなく、共闘せよ。それこそが、堅牢なアプリケーションを構築する唯一の道である。

—
「コードは書かれた通りに動くのではない。書かれた通りに、VMが解釈した通りに動くのだ。」
次回の記事では、AOTコンパイラの最適化パス（Tree Shaking）をテスト環境でどうシミュレートし、デッドコードを排除するかについて掘り下げる。