こんにちは。Dartの深淵へようこそ。
Dartは一見すると親しみやすい言語ですが、その裏側ではコンパイラが型推論という名の高度な演算を猛烈な勢いで行っています。今日は、皆さんが毎日無意識に使っている「コレクションリテラル」の裏側を覗いてみましょう。
ここをマスターすれば、Dartの型システムという「守護者」を味方につけ、堅牢なアプリケーションを書くための第一歩を完全に踏み出したことになりますよ。
—
1. コレクションリテラルの「型推論」という魔法
Dartで `List` や `Map` を書くとき、型を省略できるのはなぜでしょう？
var numbers = [1, 2, 3]; // コンパイラはこれを List
これは単なる手抜きではありません。Dartのコンパイラは、初期値の要素から「最も共通の祖先（型）」を導き出しています。これを型推論（Type Inference）と呼びます。
脳内イメージ：コンパイラの視点
コンパイラは、`[1, 2, 3]` というリテラルを見た瞬間、以下のように脳内変換しています。
1. `1` は `int` だ。
2. `2` も `int` だ。
3. `3` も `int` だ。
4. 全て `int` なら、この箱は `List
このように、Dartは「型を明示しなくても、文脈から安全を保証する」という設計思想を持っています。
—
2. 「混合型」という落とし穴：推論の限界
では、こんな場合はどうなるでしょうか？
var items = [1, “Dart”, 3.14];
このコードを書いた瞬間、コンパイラは「このリストには複数の型が混在している」と判断します。そして、`List
ここで注意が必要です。
`Object` 型のリストにしてしまうと、取り出した瞬間に「これは数値なのか？ 文字列なのか？」という情報が失われます。後続の処理で `items[0] + 1` と書こうものなら、コンパイラは即座にエラーを吐きます。
型安全を守るための「明示的指定」
曖昧さを排除し、バグを未然に防ぐために、あえて型を指定する習慣をつけましょう。
// 明示的に型を指定することで、コンパイラに「守るべきルール」を伝える
List
// もしここに文字列を混ぜようとすると…
// scoreBoard.add(“40”); // ！！コンパイルエラー：引数の型が一致しません！！
このように型を指定しておけば、「誤ったデータが混入する可能性」を開発時（コンパイル時）に封じ込めることができます。 これがDartの強力な武器です。
—
3. Map と Set：コレクションの特性を知る
List以外にも、Dartには重要なコレクションがあります。
Set（重複なき集合）
`{}` を使いますが、空の `{}` は `Set` ではなく `Map` と推論されるというDartの歴史的経緯（罠）があります。
var mySet = {1, 2, 3}; // 推論結果：Set
var emptySet =
Map（キーと値のペア）
var config = {
“host”: “localhost”,
“port”: 8080,
}; // 推論結果：Map
これも、`Object` が混ざると安全性が下がります。もし設定値が全て文字列なら、以下のように書くのがプロの流儀です。
var config =
“host”: “localhost”,
“port”: “8080”, // 全て String ならより安全
};
—
4. 現場で役立つ「型安全」のチェックリスト
最後に、皆さんが明日からの開発で意識すべきポイントをまとめました。
- 推論に頼りすぎない: 小さなスコープなら `var` も良いですが、関数の引数やクラスのフィールドなど、インターフェースとなる部分では必ず型を明示しましょう。
- 空のコレクションは要注意: `var list = [];` は `List
` になり、型安全性が完全に失われます。必ず `var list = [];` のように初期化しましょう。 - const の活用: コレクションの内容が変更されないことが確定しているなら、`const` を付けましょう。コンパイル時にメモリ空間が最適化され、実行速度も向上します。
// コンパイル時に値が確定する最適化されたリスト
const List
—
最後に
Dartの型システムは、皆さんを縛るための鎖ではなく、「意図しない実行時エラー」という泥沼から救い出すための浮き輪です。
最初は型指定を面倒に感じるかもしれませんが、それが「型安全」という名の強固な基盤を作り、後から振り返ったときに「このコードは絶対に壊れない」という圧倒的な自信を授けてくれます。
さあ、次はどんなDartの深淵を覗いてみたいですか？またいつでも聞きに来てくださいね。