こんにちは！FlutterやDartの開発現場で、日夜コードと格闘している先輩エンジニアです。
今日は、Dartを学ぶ上で避けて通れない、しかし正しく理解すれば最強の武器になる「型システム」と「`dynamic`の排除」についてお話しします。
他の言語（JavaScriptやPythonなど）からDartに入った開発者の方が、最初に「あれ？」とつまずくのが、この型の厳格さですよね。「とりあえず動くコードを書くために`dynamic`にしてしまおう……」と逃げたくなる気持ち、痛いほどよく分かります。
でも、ちょっと待ってください。`dynamic`に頼るということは、Dartが持つ強力な型推論と、コンパイル時安全性という最大のメリットをドブに捨てるようなものなんです。
ここをクリアすれば、あなたの書くDartコードは劇的に堅牢になり、実行時エラー（`NoSuchMethodError`など）とは永遠にお別れできますよ。さあ、一緒にDartの型システムをマスターしていきましょう！
—
1. なぜ `dynamic` を使うべきではないのか？（VMの裏側から知る真実）
まず、「型がない」あるいは「何でも入る」状態である `dynamic` が、Dartの実行環境（Dart VM / AOTコンパイラ）でどう扱われているかを知りましょう。
他の多くの型（`int`, `String`, 自作クラスなど）は、コンパイル時にメモリレイアウトが確定し、プロパティやメソッドの呼び出しも高速に行われます。しかし、`dynamic` が付いた変数に対する操作は、コンパイラが「何が来るか分からない」と判断し、実行時にメソッドを探す動的ディスパッチ（Dynamic Dispatch）という処理が行われます。
これはつまり、
1. コンパイル時のミス発見ができない（スペルミスや存在しないメソッドの呼び出しが、アプリを実行してそのコード踏むまでバレない）
2. パフォーマンスの低下（実行時に型チェックやメソッド検索コストが発生する）
3. IDE（VS CodeやAndroid Studio）の補完が効かなくなる
という、開発者にとって三重苦を引き起こします。「動くからいいや」ではなく、「動かす前にコンパイラにバグを見つけてもらう」のがDartの本来の姿なんですね。
—
2. `var` と `dynamic` は全く別物です！
初心者が最も陥りやすい誤解が、「`var` も `dynamic` も何でも型が入るから同じでしょ？」というものです。ここ、めちゃくちゃ重要なので図解的に整理しておきましょう。
[ dynamic の世界 ] —————————————–
変数 a ──> [ なんでも入る箱 ] ──> 実行時まで型が決まらない（危険！）
a = 10; (int)
a = “hello”; (String) ← コンパイラは何も怒らない
[ var の世界（型推論） ] ———————————–
変数 b ──> [ int の箱 ] ──> 最初に入れた時点で型が完全に固定される！
b = 10; (intとして確定)
b = “hello”; (エラー！) ← コンパイル時に即座に検知！
`var` は、「右辺の値からコンパイラが型を推論し、その型にガチガチに固定する（隐的型推論）」という仕組みです。
void main() {
// varによる型推論
var score = 100; // コンパイラは「これはint型だな」と解釈して固定する
// score = “A”;
// ↑ ここでコンパイルエラー！
// 「Error: A value of type ‘String’ can’t be assigned to a variable of type ‘int’.」
print(‘スコア: $score’);
}
このように、`var` を使えばコードはスッキリ短くなりつつ、Dartの厳格な型安全性を100%維持できるんです。これが「型推論を最大限活かす」ということです。
—
3. 「何が来るか分からないデータ」をどう扱うか？（ジェネリクスとパターンマッチング）
APIから受け取るJSONや、複数の型を取り得るデータ（例えば「成功」または「エラー」）を扱うとき、ついつい `dynamic` を使いたくなりませんか？
ここを安全に乗りこなすための現代的なDart（Dart 3以降）の武器が、「ジェネリクス」と「パターンマッチング」です。
具体的シナリオ：APIレスポンスの型安全な処理
例えば、サーバーから「ユーザーデータ」または「エラーメッセージ」のどちらかが返ってくるシチュエーションを考えてみましょう。
`dynamic` を使った最悪のコードはこうなります：
// ❌ 絶対に真似してはいけない dynamic だらけのコード
void handleResponse(dynamic response) {
if (response[‘status’] == ‘success’) {
print(response[‘data’][‘name’]); // もし ‘name’ がなければ実行時クラッシュ！
} else {
print(response[‘error_message’]);
}
}
これを、Dart 3のパターンマッチングと適切に型付けされたクラスを使って、極限まで堅牢に書き換えてみます。
// ✅ 型安全を極めたモダンなDartコード
// 1. データの型をしっかり定義する
class User {
final String name;
User(this.name);
}
// 2. 結果を表現するシーテッドクラス（Sealed class）
sealed class ApiResponse {}
class Success extends ApiResponse {
final User data;
Success(this.data);
}
class Failure extends ApiResponse {
final String errorMessage;
Failure(this.errorMessage);
}
// 3. パターンマッチング（switch式）で安全に処理する
void handleResponse(ApiResponse response) {
// switch expression を使うことで、すべてのパターンを網羅しているかを
// コンパイラが強制してくれます（網羅性の検査）
final message = switch (response) {
Success(data: var u) => ‘ようこそ、${u.name}さん！’,
Failure(errorMessage: var err) => ‘エラーが発生しました: $err’,
};
print(message);
}
void main() {
// 動作確認
ApiResponse res = Success(User(‘Alice’));
handleResponse(res); // 出力: ようこそ、Aliceさん！
}
このコードの素晴らしいところは、もし将来新しいレスポンス型（例: `Loading`）が追加されたとき、`switch` 式でそれを処理し忘れると、コンパイラが「網羅されていません」とエラーを出して教えてくれる点です。`dynamic` では絶対に実現できない恩恵ですね。
—
4. 陥りやすい罠：「型を消す」キャスト（`as`）の危険性
「型が分からないから、とりあえず `as` でキャストしちゃえ」というコードも現場でよく見かけます。
// ❌ 危険なキャストの例
void process(Object data) {
String name = (data as Map)[‘name’]; // dataがMapでなかったり、’name’がなかったりすると即クラッシュ
}
これも `dynamic` 同様、実行時エラーの温床です。型安全に書くなら、`is` 演算子によるタイププロモーション（型昇格）を利用しましょう。
// ✅ 安全なタイププロモーション
void process(Object data) {
// ‘is’ でチェックした瞬間、Dartのコンパイラはそのブロック内での型を自動的に昇格させる
if (data is Map
// ここの中では data は安全に Map として扱える
String name = data[‘name’] as String;
print(name);
} else {
print(‘想定外のデータ形式です’);
}
}
Dartのコンパイラは非常に賢く、`if (data is String)` のようなチェックを行うと、その後のスコープ内では自動的に `String` 型として扱わせてくれます。これをタイププロモーションと呼びます。これのおかげで、無駄なキャストを減らすことができます。
—
5. 本日のまとめ
- `dynamic` はDartの型安全性を無効化する劇薬。コードの保守性やパフォーマンスを下げるため、原則として排除する。
- `var` は型推論の味方。右辺から型を自動で固定してくれるため、安全にコードを簡略化できる。
- Dart 3 のパターンマッチング（`switch` 式）と `sealed` クラスを組み合わせることで、複雑な分岐もコンパイル時安全に処理できる。
- キャスト（`as`）でゴリ押すのではなく、`is` によるタイププロモーションを活用する。
ここをクリアできれば、あなたの書くDartコードは見違えるほど洗練され、バグの少ない強靭なアプリケーションの土台となります。
「型制約が厳しくて面倒くさい」と感じる瞬間もあるかもしれませんが、それはDartという優秀な相棒が、あなたの未来のバグを未然に防いでくれている証拠です。
ぜひ、今日のコードから `dynamic` を外し、型推論とパターンマッチングの世界へ飛び込んでみてくださいね。それでは、また次回の技術解説でお会いしましょう！