【入門編】DartのNull安全と「コレクションの操作」：List.whereTypeとNullフィルタリングの効率 – Dart コア文法・オブジェクト指向・Null安全解析バイブル

DartのNull安全を極める：ListからListへの「洗練された」変換術

こんにちは。Dartの深淵を探索する旅へようこそ。
Dartの「Sound Null Safety」は、単なるエラーチェックの仕組みではありません。コンパイル時に型システムがコードの安全性を保証し、実行時の無駄なnullチェックを削ぎ落とすという、極めて高性能な最適化戦略そのものなんです。

今回は、現場で誰もが一度は直面する「`List`（Nullを含みうるリスト）を、いかにエレガントかつ高速に `List`（Nullを含まないリスト）へ変換するか」というテーマを深掘りします。

—

なぜ「Nullを弾く」ことが重要なのか？

DartのNull安全において、`List` は「文字列か、あるいはnull」という不確定な箱です。これに対し、`List` は「確実に文字列が入っている」という約束された箱です。

後続の処理で `list.map((s) => s.length)` と書いたとき、`List` だとコンパイラは「sがnullかもしれないから危険だ！」と怒りますよね。ここで、Nullを安全に排除して「確実なリスト」へと昇華させる技術が必要になるわけです。

—

1. 初学者が陥りやすい「罠」：filterとキャスト

多くの開発者が最初にやりがちなのが、これです。

final List messyList = [‘Dart’, null, ‘Flutter’, null];

// ありがちなアプローチ：whereでフィルタリングしてキャスト
final cleanList = messyList.where((s) => s != null).toList() as List;

【ここがポイント】
一見動くように見えますが、`as List` というキャストは、コンパイラを力技で黙らせているだけです。もし将来的にリストの構造が複雑になったとき、実行時に `TypeError` を引き起こすリスクを抱えています。Dartの真髄である「コンパイル時の保証」を放棄してはいけません。

—

2. 本命：`whereType()` の圧倒的な優位性

Dartには、この問題を解決するための強力な武器が標準で用意されています。それが `whereType()` です。

final List messyList = [‘Dart’, null, ‘Flutter’, null];

// 魔法のメソッド：whereType
final List cleanList = messyList.whereType().toList();

print(cleanList); // [Dart, Flutter]

なぜこれが「最強」なのか？

1. 型推論の正確さ: `whereType()` と書いた瞬間に、Dartは「このイテレータは `String` しか通さない」と静的に理解します。余計なキャスト演算子は一切不要です。
2. パフォーマンスの最適化: Dart VM（およびコンパイラ）は、`whereType` が「特定の型以外を捨てる」処理であることを知っています。内部的には非常に効率的なループに最適化されるため、手動で `if (s != null)` を書くよりも、読みやすく、かつ安全です。
3. 可読性の極致: 「nullをフィルタリングして、Stringだけを取り出す」という意図が、メソッド名だけで明確に伝わりますよね。

—

3. 実行時の挙動：Isolateとメモリ管理の視点

少しだけ深い話をしましょう。Dart VMにおいて、`whereType` はどのように動いているのでしょうか？

`whereType` は、内部的にはイテレータをラップします。要素にアクセスするたびに、Dartの実行時型チェック（Type Check）が走ります。
「この要素は指定した型か？」というチェックは、Dart VMが非常に高速に実行できるように調整されています。

大きなリストを扱う場合、`whereType` を使えば、新しいリストを生成する際に必要な要素だけを効率的にメモリへ確保できます。無駄な中間リストや、nullを許容する型情報の保持が省かれるため、メモリのフットプリントも最小限に抑えられるのです。

—

まとめ：今日から使える「洗練のルール」

Null安全を味方につけるための極意をまとめます。

`as` は最後の手段: `as` を使いたくなったら、「別の書き方がないか」を一度立ち止まって考えてください。
`whereType()` を愛する: リストから特定の型だけを抽出したいときは、まず最初に `whereType` を検討しましょう。
「意図」をコードにする: `where((e) => e != null)` は「nullではないもの」を抽出しますが、`whereType()` は「Tという型であるもの」を抽出します。後者の方が、あなたの「型への要求」がより明確にコードに刻まれます。

ここをクリアすれば、あなたはDartの型システムと対話する準備が整いました。
Null安全は、開発者の手足を縛る鎖ではなく、安全に高速道路を走るためのガードレールです。ぜひ、この感覚を楽しんでくださいね！

—
何か不明点や、「こんな場合はどう書くの？」という疑問があれば、いつでも教えてください。一緒にDartの深層を解き明かしていきましょう。