Interfaceの「拡張」と「合成」：コンポジション指向の型設計
TypeScriptの型システムは、単なる静的ドキュメントの生成器ではない。それは、V8エンジンのJITコンパイル戦略、メモリレイアウト、そしてV8のイベントループが駆動する非同期ランタイムの安全性を、コンパイル時に数理的に保証するための防壁である。
多くの開発者は `interface` の拡張（`extends`）を、オブジェクト指向言語における古典的な「クラスの継承」の文脈で捉えている。しかし、大規模フロントエンドや高スループットなNode.jsバックエンドのアーキテクチャにおいて、このパラダイムは技術的負債の温床となる。
本稿では、継承という呪縛を捨て去り、小さなインターフェースの交差（Intersection）と合成（Composition）によって「疎結合な型」を構築する極限の設計手法を、コンパイラの型評価メカニズムとメモリ最適化の観点から解剖する。
—
1. なぜ「継承（`extends`）」はスケーラビリティを殺すのか
オブジェクト指向的な `interface A extends B` は、型同士の密結合を生み出す。コンパイラ内部（`tsc`）において、`extends` 関係にあるインターフェースは、プロパティのルックアップチェインやキャッシュ構造において特定の階層構造を強制される。
階層が深くなるにつれて何が起きるか。TypeScriptコンパイラは、型チェックのたびにプロパティのサブタイピング関係（Liskov Substitution Principleの静的検証）を再計算し、IDEのインテリセンス（LSP）は巨大な型グラフの走査に溺れる。結果として、ビルドタイムの肥大化と、リファクタリング耐性の低下を招く。
防壁を突破するシニアエンジニアは、「Is-a（〜である）」ではなく「Has-a（〜を持つ）」のコンポジション指向を型空間に持ち込む。
—
2. インターフェースの合成：交差型（Intersection）とマージ戦略
TypeScriptにおける型合成の基本は、交差型（`&`）を用いた直交設計（Orthogonal Design）である。機能を最小単位のインターフェースに分解し、それらを束ねる。
ここでコンパイラの挙動に着目してほしい。`interface` 同士の交差は、単なるプロパティの結合ではない。同一プロパティ名が存在する場合の型衝突（オーバーロードの解決やnever型への収束）におけるコンパイラの評価順序を理解する必要がある。
以下の、極限までモジュール化された非同期イベント・プロセッサの設計を見てほしい。
/
- 領域1: 識別子とライフサイクル管理
/
interface Identifiable
readonly id: TId;
}
interface Lifecycle {
readonly createdAt: number;
destroy(): void;
}
/
- 領域2: メモリ/バッファ観測の特化型インターフェース
/
interface BufferTrackable {
readonly byteLength: number;
transferToMemory(): ArrayBuffer;
}
/
- 領域3: イベント駆動コア
/
interface Subscribable
on(event: string, listener: (payload: TEvent) => void): this;
off(event: string, listener: (payload: TEvent) => void): this;
}
/
- 【合成】小さなインターフェースを直交的に組み合わせる
- ここに extends は存在しない。純粋な型の合成のみがある。
/
type NetworkPacket
& Identifiable
& Lifecycle
& BufferTrackable
& Subscribable
// 具象実装
class SecurePacketProcessor
public readonly id: string;
public readonly createdAt: number;
public readonly byteLength: number;
constructor(id: string, byteLength: number) {
this.id = id;
this.createdAt = performance.now(); // 高精度タイマーによるライフサイクル記録
this.byteLength = byteLength;
}
public destroy(): void {
// リソースの明示的解放（V8ヒープからのGC促進）
}
public transferToMemory(): ArrayBuffer {
return new ArrayBuffer(this.byteLength);
}
public on(event: string, listener: (payload: TEvent) => void): this {
// イベント登録ロジック
return this;
}
public off(event: string, listener: (payload: TEvent) => void): this {
// イベント解除ロジック
return this;
}
}
このアプローチの強みは、「必要な機能だけを抽出した部分型（Subtype）」を関数引数に強制できる点にある。例えば、パケットの中身を知る必要がなく、単にメモリ破壊やライフサイクル管理だけを行いたい関数は、以下のように極めて狭い型を受け取ればよい。
// バッファ管理ワーカーは、IDとメモリ転送能力だけを知っていればいい
function processBuffer(target: Identifiable & BufferTrackable): ArrayBuffer {
// コンパイル時、targetには余計なイベント機構は見えない
console.log(`Processing packet: ${target.id}`);
return target.transferToMemory();
}
—
3. 実行時メモリレイアウトとコンパイラの型評価最適化
TypeScriptの型はコンパイル後に完全に消去（Erasure）される。しかし、「どのように型を設計したか」は、V8エンジンのHidden Class（隠しクラス / Maps）のインラインキャッシュ（IC）の効率に直接的な影響を与える。
もし巨大な単一インターフェースや深い継承ツリーを使ってオブジェクトを定義すると、V8はプロパティの追加順序や形状の不一致により、多态的（Polymorphic）なアクセスと判定し、インラインキャッシュのミス（Megamorphic状態）を引き起こす。これはNode.jsのバックエンドにおいて深刻なCPUサイクルの無駄遣いを生む。
コンポジション指向によって作られたフラットな型構造は、開発者に「オブジェクトの形状（Shape）を一定に保つ」という意識を植え付ける。
条件付き型（Conditional Types）とマップ型（Mapped Types）による動的防壁
静的な合成を超え、ランタイムの安全性をコンパイル時に強制するための高度な合成テクニックとして、条件付き型を用いた制約の動的注入がある。
// 特定のセキュリティレベルを持つペイロードのみを許可するマッピング合成
type SecurityLevel = ‘public’ | ‘confidential’ | ‘restricted’;
type Secured
readonly __securityLevel: TLevel;
readonly checksum: string; // SHA-256等の検証ハッシュ前提
};
// 既存の合成型に、コンパイル時のみ強制されるセキュリティ特性を合成する
type ConfidentialPacket
function handleConfidentialData
// コンパイラは packet.checksum と packet.__securityLevel の存在を確実に保証する
if (packet.__securityLevel === ‘confidential’) {
// 暗号化処理パイプラインへ流す
}
}
このパターンでは、基本となる機能群（`NetworkPacket`）と、横断的関心事（Cross-cutting concerns: セキュリティ、ロギング、監査）を完全に分離し、交差型によって直交的に組み合わせている。
—
4. イベントループの厳密なキュー消費と型安全なディスパッチ
Node.jsのイベントループ（libuv）におけるマクロタスク（`setTimeout`, `setImmediate`）やマイクロタスク（`process.nextTick`, `Promise`）のキュー消費において、イベントのペイロード型が曖昧であると、ランタイムエラーの温床となる。
コンポジション指向で設計された型は、イベント駆動アーキテクチャの型安全性を極限まで高める。
// イベントマップの直交合成
interface CoreEvents {
‘packet:receive’: NetworkPacket
‘packet:drop’: Identifiable & { reason: string };
}
interface MetricEvents {
‘metrics:flush’: { timestamp: number; heapUsed: number };
}
// 統合イベントバスの型定義（マップ型による合成）
type SystemEventMap = CoreEvents & MetricEvents;
class StrictEventBus {
private listeners: {
[K in keyof SystemEventMap]?: Array<(payload: SystemEventMap[K]) => void>
} = {};
public emit
const handlers = this.listeners[event];
if (!handlers) return;
// マイクロタスクキューの非同期ディスパッチを模倣
queueMicrotask(() => {
for (const handler of handlers) {
handler(payload);
}
});
}
public on
if (!this.listeners[event]) {
this.listeners[event] = [];
}
this.listeners[event]!.push(handler);
}
}
この実装において、`SystemEventMap` は独立したイベント定義インターフェースの交差（`&`）によって合成されている。新しいモジュールが追加された際、イベントマップを交差型で拡張するだけで、既存のコードベースを一切汚染せずにイベント駆動の型安全性を拡張できる。
—
5. チーフアーキテクトの結論：型は「静的アセンブリ」である
継承（`extends`）に依存したアーキテクチャは、現実世界の複雑な変化の前に必ず破綻する。クラスやインターフェースの階層構造を美しく整えようとする試態は、コンパイラにとって無駄な型グラフの計算コストを強いるだけに過ぎない。
TypeScriptを真に掌握する者にとって、型とは「静的アセンブリの設計図」である。
最小限の責務を持つインターフェースを定義し、交差型（`&`）とユーティリティ型でそれらをコンパイル時に縫い合わせる。このコンポジション指向の設計こそが、V8の実行時最適化を引き出し、大規模システムにおける型安全性の防壁を永遠に堅固なものにする唯一の道である。