こんにちは。TypeScriptの世界へようこそ。
日々コードを書いていると、「`interface`と`type`、結局どっちを使えばいいの？」という疑問にぶつかるはずです。公式ドキュメントには「似ている」としか書かれていませんが、コンパイラの裏側を知る者から見れば、この二つは「型システムに対するアプローチ」が根本的に異なります。
特に大規模プロジェクトで「コンパイルが遅い」と悩んでいるなら、この選択を誤っている可能性が高いです。今日は、型システムを支配し、パフォーマンスを最適化するための極意を伝授しましょう。
—
1. InterfaceとType Alias：メモリとコンパイラの視点
まず、基本をおさらいしましょう。どちらも「構造」を定義するものですが、内部的な扱いに決定的な違いがあります。
Interface：宣言的でキャッシュに優しい「名前付きの契約」
`interface`は、TypeScriptコンパイラにとって「名前」をキーとして解決されるキャッシュ可能な実体です。
// Interfaceの定義
interface User {
id: number;
name: string;
}
// 拡張（extends）も非常に効率的
interface Admin extends User {
role: string;
}
コンパイラは、`Admin`を見たとき「`User`を継承しているな」とだけ記録し、後で必要になったときだけ結合します。この「遅延評価」的な性質が、メモリ消費を抑える秘訣です。
Type Alias：計算される「型パズル」
一方で、`type`は単なる別名です。特に「交差型（Intersection Types: `&`）」を使うと、コンパイラは型を結合するための計算処理を強制されます。
// 交差型による定義
type User = { id: number; name: string };
type Admin = User & { role: string };
一見同じに見えますが、複雑な型同士を`&`で繋ぎ続けると、コンパイラは「これら全てのプロパティをマージした新しい型」を毎回計算しようとします。大規模なプロジェクトで何百もの型を`&`で繋ぐと、コンパイラの型推論エンジンが悲鳴を上げ、メモリ消費が急増します。
—
2. なぜ大規模開発では「Interface」が推奨されるのか？
大規模開発において`interface`を選ぶべき最大の理由は、「宣言の結合（Declaration Merging）」と「エラーメッセージのわかりやすさ」、そして「コンパイル速度」です。
① コンパイルの重さを比較する
例えば、1,000個の型を結合する場合をイメージしてください。
- Interface: キャッシュ済みのオブジェクトを繋ぐだけなので、計算コストがほぼゼロ。
- Type Alias: 型を評価するたびに再計算が発生し、複雑になればなるほど、ホバー時のツールチップ表示まで数秒かかるような「型負債」が蓄積します。
② 陥りやすい「型パズルの罠」
初心者の方がよくやってしまうのが、何でもかんでも`type`を使って複雑な交差型を量産することです。
// 危険な例：交差型が深すぎるとコンパイラが型を解決できず「any」になったりエラーが爆発する
type A = { a: string };
type B = { b: string };
type C = { c: string };
// …これが100個続くとコンパイラは死にます
type Huge = A & B & C & …;
この「型が深く計算される」状態になると、TypeScriptの言語サーバーはメモリを大量に消費し、あなたのPCのファンが回り出します。
—
3. 使い分けの指針：ここをクリアすればマスターです
結論として、私は現場で以下のように使い分けています。
1. オブジェクトの定義には、原則として `interface` を使う。
- 拡張（`extends`）が可能で、キャッシュ効率が最高だからです。
2. `type` は「型変換」や「ユニオン型」が必要な時にだけ使う。
- `type Status = ‘open’ | ‘closed’;` のような列挙型的な使い方や、`type Result
= T | Error;` のような型関数には`type`が最適です。
3. 「マッピング型」や「条件付き型」が必要なら迷わず `type`。
- `interface`は計算式を埋め込めません。高度な型メタプログラミングには`type`が必須です。
—
最後に：型は「ドキュメント」であると同時に「プログラム」である
TypeScriptを書くということは、コンパイラという強力なAIに、あなたのコードの構造を教え込む作業です。
`interface`を使って整理された型定義は、コンパイラにとっても読みやすく、結果としてあなたのIDEでの体験がスムーズになります。逆に、複雑すぎる`type`の連鎖は、コンパイラを混乱させ、開発体験を損ないます。
「型はシンプルに、そして構造的に」。この原則を守れば、あなたの書くTypeScriptは、大規模になればなるほどその真価を発揮する、堅牢なコードベースになるはずです。
ここをクリアできれば、もうあなたはTypeScriptの初級者ではありません。さあ、次はどんな複雑な型に挑戦してみますか？