TypeScriptの型推論エンジンを理解する：なぜ「初期化」だけで型が確定するのか
こんにちは。TypeScriptの世界へようこそ。
多くの開発者が、TypeScriptを触り始めたときにこう感じるはずです。「型をいちいち書かなくても、なぜコンパイラは僕が何をしようとしているのか知っているんだろう？」と。
例えば、こんなコードを書いたとき。
let message = “Hello, TypeScript!”;
// この時点で message は string 型として確定します
あなたは `: string` とも書いていないのに、IDEは即座に「これは文字列だ」と理解し、数値を入れようとすれば即座に赤線を引いて怒ってきますよね。
実はこれ、単なる魔法ではありません。TypeScriptのコンパイラが裏側で、あなたのコードの「構造」を非常に厳密に読み解いている結果なんです。今日は、この「型推論」というエンジンの心臓部を少しだけ覗いてみましょう。ここさえ理解できれば、TypeScriptの型システムに対する恐怖心は霧のように消えていくはずですよ。
—
1. コンパイラが見ている「抽象構文木（AST）」の世界
TypeScriptのコンパイラ（`tsc`）がコードを読み込むとき、人間が書いたソースコードをそのまま理解するわけではありません。まず、コードを「AST（抽象構文木）」という木構造に変換します。
例えば `let message = “Hello”` というコードは、コンパイラから見れば「変数を宣言するノード」の下に「名前: message」と「初期値: リテラル文字列 ‘Hello’」がぶら下がっている構造体として解析されます。
なぜ初期化で型が決まるのか？
コンパイラは、変数が宣言された直後の「初期化子（Initializers）」に注目します。
- リテラルを見た瞬間： 「あ、これは文字列のリテラルだ。ならこの変数は `string` として扱うのが安全だ」と決定を下します。
- 型を確定させる権利： TypeScriptでは、変数の宣言と同時に値を代入すると、その値から型を「吸い上げる（Infer）」という処理が行われます。これを型推論（Type Inference）と呼びます。
—
2. プリミティブ・配列・タプル：型推論の具体例
基本の型がどう推論されるのか、少しだけ具体的に見てみましょう。
プリミティブの推論
let isDone = true; // boolean
let count = 42; // number
let title = “TS Master”; // string
// これらは「リテラル型」から「基本型」へ昇格（Widening）されます
配列とタプルの推論
ここから少し面白くなります。
// 配列の推論
const scores = [80, 90, 100];
// コンパイラは「すべて数値だな」と判断し、number[] と推論します
// タプルの推論
const user = [“Alice”, 25];
// これは (string | number)[] になります。
// 「Alice」か「25」のどちらかが入る配列、という意味です。
ここで陥りやすい罠：
「タプル（固定長で型が決まっている配列）を作りたいのに、推論任せにすると単なる配列になってしまう」という問題です。
// 意図：[“Alice”, 25] という固定形式にしたい
const user = [“Alice”, 25];
user.push(true); // エラーにならない！(string | number | boolean)[] になってしまうため
これを防ぐには、明示的に型を教えるか、`as const`（定数アサーション）を使います。
const user = [“Alice”, 25] as const;
// これで readonly [“Alice”, 25] という「タプル」として確定します。
—
3. 型推論を「育てる」という意識
TypeScriptにおいて「型推論を過信しすぎない」ことは、中級者へのステップアップに不可欠です。
特に「変数に値がまだ入っていないとき」や「後から代入する」というケースでは、コンパイラは困惑します。
let data; // 初期化していない！
data = “text”;
data = 100; // TypeScriptは「any」として扱います。型チェックが死ぬ瞬間です。
知的な先輩からのアドバイス：
「変数は、可能な限り宣言と同時に初期化する」。これがTypeScriptにおけるクリーンなコードの鉄則です。初期化できない場合は、型を明示的に指定して、コンパイラに「この変数は将来こうなるよ」という契約を提示してあげてください。
—
本質を掴むためのまとめ
1. コンパイラはASTという構造でコードを見ている： あなたのコードは、単なる文字列ではなく「意味を持った構造体」として評価されています。
2. 初期化は型の確定： 代入された値から、コンパイラは「この変数の未来の安全」を計算しています。
3. 明示的な型指定は「コンパイラとの対話」： 推論が期待通りにいかないときは、自信を持って型を書いてあげましょう。それはコードの可読性を高める「ドキュメント」にもなります。
TypeScriptの型システムは、あなたの敵ではなく、あなたの背中を守る最強の副操縦士です。
最初は少し窮屈に感じるかもしれませんが、コンパイラが「ここは危険ですよ」と教えてくれるたびに、あなたのアプリケーションはより堅牢になっていきます。この感覚が掴めれば、もうTypeScriptの基礎は完璧。
次は「なぜ関数の戻り値が推論されるのか」、そして「ジェネリクスによる推論の拡張」の世界へ踏み出してみませんか？そこには、さらに深い知的な冒険が待っていますよ。
それでは、また次のセッションでお会いしましょう！