【入門編】DartのNull安全と「Future/Stream」の非同期処理における型定義 – Dart コア文法・オブジェクト指向・Null安全解析バイブル

こんにちは。Dartの深淵へようこそ。
今日は、多くの開発者がなんとなく使っているけれど、実は「Dartの型システムの真髄」が詰まっている非同期処理のNull安全について話をしましょう。

`Stream` と `Stream?`。
この記号の配置の違い、一見すると些細なことのように見えますよね？しかし、ここを理解できるかどうかで、あなたの書くコードの「堅牢性」が劇的に変わります。

さあ、DartのVMがどのように型を評価し、メモリ上でどう扱っているのか、その内側を覗いてみましょう。

—

1. 記号の位置で変わる「責任の所在」

まずは結論から。この2つの型は、「何がNullになり得るのか」という主語が全く異なります。

`Stream`：流れてくる「中身」がNullかもしれない

これは、「ストリームそのものは必ず存在する（Nullではない）」けれど、「流れてくるデータ（イベント）がNullを許容する」という状態です。

イメージ: 蛇口（Stream）はしっかり設置されている。でも、蛇口から水（データ）が出ることもあれば、空気（Null）が出ることもある。
用途: サーバーからのレスポンスで「値がないこと」を「データなし（null）」として表現したい場合。

`Stream?`：ストリームそのものがNullかもしれない

これは、「ストリームという器自体が存在しない（Null）」かもしれないという状態です。

イメージ: そもそも蛇口が設置されていない可能性がある。蛇口がないなら、水が出るかどうかも確認できない。
用途: 初期化されていないストリームや、設定によって無効化されるストリームを扱う場合。

—

2. コードで見る挙動の違い

実際にコードで確認してみましょう。Dartのコンパイラがどのように型チェックを行っているか、意識しながら見てください。

// 1. Stream のケース
void processDataStream(Stream stream) {
stream.listen((int? value) {
// コンパイラは「valueはnullかもしれない」と知っている
if (value == null) {
print(“データは空でした”);
} else {
print(“値は: ${value + 1}”); // Nullチェック後なので安全
}
});
}

// 2. Stream? のケース
void processOptionalStream(Stream? stream) {
// コンパイラは「stream自体がnullかもしれない」と知っている
// したがって、stream.listenを呼ぶにはnullチェックが必須
stream?.listen((int value) {
print(“値は: ${value + 1}”);
});
}

なぜこれが重要なのか？

DartのSound Null Safetyは、「コンパイル時にNull参照エラー（いわゆるNullPointerException）を完全に排除する」ことを目的としています。

`Stream?` でNullチェックを忘れると、コンパイラは即座にエラーを吐きます。これは、実行時にメモリ上の不正なアドレス（Null）へアクセスしてVMがクラッシュするのを防ぐための「最強の防壁」なんです。

—

3. 陥りやすい罠：非同期の「Null」と「例外」の混同

初心者がよくやる間違いが、「Nullを表現したいがために、無理やり `Stream` を使う」というケースです。

非同期処理において、もし「何かが起きた」ことを伝えたいのに `null` を使うと、受け取り側で毎回 `if (data == null)` を書くことになり、コードが汚染されます。

先輩からのアドバイス：Resultパターンを検討しよう

値があるかないかだけでなく、「エラーが起きた」ことも表現したいなら、`Stream` に頼らず、独自のラッパー型を作るのがプロのやり方です。

// こうすることで、Nullの判定に悩まされることがなくなります
sealed class Result {}
class Success extends Result { final T value; Success(this.value); }
class Failure extends Result { final Object error; Failure(this.error); }
class Loading extends Result {}

こうすれば、`Stream>` となり、Null安全を維持したまま、より高度な状態管理が可能になります。

—

4. まとめ：Dartを掌握するということ

`Stream` と `Stream?` を使い分けることは、単なる文法のお勉強ではありません。「自分の設計したデータパイプラインのどこが脆弱なのか」を言語化する作業そのものです。

`Stream` は、「データの中身」に責任を持つ。
`Stream?` は、「ストリームの存在」そのものに責任を持つ。

この区別が意識できるようになったら、もうあなたは初学者ではありません。DartのVMがコードを読み解く視点に一歩近づいています。

まずは今のプロジェクトで、`?` の位置を意識して型定義を見直してみてください。驚くほどコードの「意味」がクリアになるはずですよ。

ここをクリアすれば、Dartの非同期処理はもう怖くありません。自信を持って、どんどんコードを書いていきましょう！