【テクニカル・上級編】Interfaceの「合成」：コンポジション指向で再利用可能な型パーツを作る – TypeScript コア・型システムの基礎解析バイブル

TypeScript型システムの深淵：Interfaceの合成による「疎結合な型設計」の極意

多くのエンジニアが `interface` と `type` の使い分けで迷い、あるいは巨大なインターフェースの継承地獄に陥っている。だが、真にシステムを掌握する者は知っている。TypeScriptの型システムは、単なる静的解析のツールではなく、コンパイラの計算リソースを最適化し、ランタイムの安全性を担保するための「アーキテクチャの骨格」であることを。

今日は、継承（Inheritance）という古いパラダイムを捨て、コンポジション（合成）による「型パーツ」の設計哲学について、コンパイラの内部挙動まで踏み込んで解説する。

—

なぜ「継承」は大規模開発のアンチパターンとなるのか

`interface User extends Base, Auth, Audit { … }` のような継承階層を深く掘り下げていくと、コンパイラ（`tsc`）の型チェック器は悲鳴を上げる。

1. 型解決の遅延: 深い継承ツリーは、再帰的な型解決を強制する。大規模プロジェクトにおいて、型定義の変更が「プロジェクト全体の再コンパイル時間」を指数関数的に増大させる主因はここにある。
2. メモリ消費: コンパイラ内部の `Type` オブジェクトが合成される際、継承関係は内部的な参照ポインタを複雑化させ、メモリフットプリントを肥大化させる。
3. 隠蔽された複雑性: 継承は「何を持っているか」ではなく「何であるか」を定義する。これは、セキュリティ監査において「特定のプロパティがどこから注入されたのか」を追跡するコストを増大させる。

—

コンポジション指向：パーツとして型を定義する

巨大なインターフェースを定義するのではなく、最小単位の機能を持つインターフェースを合成（Intersection）する。これにより、型チェックの計算量は「深さ」から「フラットな結合」へと転換される。

実践：型パーツの合成パターン

// 最小単位の型パーツ（Atomic Types）
interface Identifiable { id: string; }
interface Timestamped { createdAt: number; updatedAt: number; }
interface Authorizable { role: ‘admin’ | ‘user’ | ‘guest’; }

// Intersection（交差型）による型合成
// 継承（extends）を使わず、型の結合を利用する
type User = Identifiable & Timestamped & Authorizable;

// コンパイラの視点：
// コンパイラはUserを「継承関係の探索」ではなく「プロパティの単一集合」として評価する。
// これにより、IDEの補完速度や型チェックのオーバーヘッドを劇的に低減できる。

—

型評価の最適化：コンパイラの裏側を知る

型システムを掌握するとは、コンパイラがどう型を計算しているかを知ることだ。`interface` は `extends` を使った際、内部的に「名前付きの型リファレンス」として保持される。対して `type` を用いた `&` 合成は、遅延評価（Lazy Evaluation）が効きやすく、必要な時にだけマージが走る。

特に、セキュリティがクリティカルな境界（APIレスポンスの型定義など）では、`Pick` や `Omit` を多用し、動的に合成することで、ランタイムのデータ構造と型定義の「不整合」を排除できる。

イベントループと型安全性の相関

ここで重要なのが、型定義が実行時の挙動（イベントループのキュー消費など）にどう影響するかだ。TypeScriptの型はコンパイル後に消滅するが、「型が保証するデータ構造のシンプルさ」は、V8エンジンのHidden Classes（隠しクラス）の最適化に直結する。

フラットなインターフェースで構成されたオブジェクトは、V8にとって「安定した形状（Stable Shape）」として認識されやすく、インラインキャッシュ（IC）のヒット率が向上する。結果として、プロパティアクセスが高速化し、イベントループを占有する時間を微細ながら削減できる。

—

実戦的テクニック：条件分岐型と合成の融合

単なる合成を超え、特定の条件（例えば「認証済みかどうか」）で型を動的に変化させる手法だ。

type AuthStatus = T extends { role: ‘admin’ }
? { canPurge: boolean }
: { canPurge: never };

// 合成と条件付き型を組み合わせる
type AdminUser = User & AuthStatus;

const processUser = (user: AdminUser) => {
if (user.role === ‘admin’) {
// コンパイラはここでAdminUserの構造を確定し、
// 実行時には単純なオブジェクトプロパティとして評価される
console.log(user.canPurge);
}
};

—

結びに代えて：アーキテクトとしての矜持

巨大な `interface` を書くことは簡単だ。しかし、それは技術的な怠慢である。
システムは常に変化する。その変化に耐えうる型システムとは、「いつ、どこで、どのパーツが結合されるか」が明示的なコードである。

継承よりも合成を。
複雑性よりも直交性を。

我々が書くのは単なる型定義ではない。それは、コンパイラという強力な演算器を制御し、安全で高速な実行時バイナリを導き出すための「仕様書」なのだ。この思想を理解した時、あなたのTypeScriptコードは、ただのコードから、堅牢なエンジニアリングの結晶へと昇華する。

次は、あなたがこの知見をコードに落とし込み、プロジェクトのボトルネックを打破する番だ。