TypeScriptのインターセクション型をマスターする：型合成の基本と実践テクニック

2026年5月29日

高度な型演算

TypeScriptにおける型システムの柔軟性を支える重要な機能の一つに、インターセクション型があります。

現代のWebアプリケーション開発において、複雑なデータ構造を効率的に定義し、再利用性を高めるためには、この型合成の仕組みを正しく理解することが欠かせません。

本記事では、インターセクション型の基礎から実践的な活用パターン、そしてエンジニアが陥りやすい注意点までを詳しく説明します。

目次 [ close ]

インターセクション型（交差型）の基礎概念

インターセクション型とは、複数の型を一つに結合し、すべての型の特性を併せ持つ新しい型を作成する機能です。

数学的な集合論における「積集合」に相当し、型定義においては & 記号を用いて表現されます。

例えば、型Aと型Bを結合して A & B と定義した場合、その型を持つオブジェクトはAのプロパティとBのプロパティの両方を保持していなければなりません。

これは「AかつB」という論理条件を型システム上で実現するものであり、オブジェクトの拡張や合成において非常に強力な力を発揮します。

ユニオン型 (|) が「いずれかの型」を許容するのに対し、インターセクション型は 「すべての型を満たすこと」 を要求する点が最大の違いです。

インターセクション型の基本構文と動作

まずは、最も基本的なオブジェクト型の合成方法を確認してみましょう。

以下のコード例では、ユーザー情報を持つ型と、アクセス権限を持つ型を合成しています。

TypeScript

// 基本的なプロフィールの型
type User = {
  id: number;
  name: string;
};

// 権限情報の型
type Permissions = {
  role: "admin" | "user";
  canDelete: boolean;
};

// 二つの型を合成した「管理者ユーザー」の型
type AdminUser = User & Permissions;

const admin: AdminUser = {
  id: 1,
  name: "管理者太郎",
  role: "admin",
  canDelete: true
};

この例では、AdminUser は User と Permissions のすべてのプロパティを持っている必要があります。

もし一つでもプロパティが欠けている場合、TypeScriptコンパイラはエラーを出力します。

実行結果

Property 'canDelete' is missing in type '{ id: number; name: string; role: "admin"; }' but required in type 'Permissions'.

このように、既存の型を組み合わせて新しい型を定義する際に、インターセクション型は非常に直感的な記述を提供します。

実践的な活用シーン

インターセクション型は、単なるプロパティの追加以上の場面で真価を発揮します。

1. APIレスポンスの共通化

多くのWebアプリケーションでは、APIからのレスポンス形式が共通化されています。

メタデータ（ステータスコードやメッセージ）と、個別のデータ本体を合成することで、型定義の重複を避けることができます。

TypeScript

type BaseResponse = {
  status: number;
  message: string;
};

type UserData = {
  userId: string;
  email: string;
};

// 共通部分と個別データを合成
type UserResponse = BaseResponse & {
  data: UserData;
};

const response: UserResponse = {
  status: 200,
  message: "Success",
  data: {
    userId: "u123",
    email: "test@example.com"
  }
};

2. ミックスイン（Mixins）パターンの実現

クラスベースの継承が複雑になりすぎる場合、特定の機能を「注入」するためにインターセクション型が利用されます。

複数の機能を持つオブジェクトを動的に合成する際、型安全性を保つための有力な手段となります。

3. 既存ライブラリの型拡張

サードパーティ製のライブラリが提供する型に、独自のプロパティを一時的に追加したい場合にも有効です。

元の型定義を変更することなく、必要な場所だけで型を拡張できるため、柔軟な開発が可能になります。

インターセクション型とインターフェース継承の比較

TypeScriptには、型を拡張する方法として interface の extends キーワードも存在します。

これらには明確な違いがあり、状況に応じて使い分けることが重要です。

特徴	インターセクション型 (Type Alias &)	インターフェース継承 (interface extends)
対象	プリミティブ、ユニオン型、オブジェクトなどすべて	オブジェクト型、クラスのみ
同名プロパティの競合	型を合成しようとする（互換性がないとnever）	コンパイルエラーとして報告される
宣言の結合	不可	可能（同じ名前で定義すると自動で結合される）

インターフェースの extends は、型構造に矛盾がある場合にエラーを早期に発見しやすいというメリットがあります。

一方で、インターセクション型は、複数の型を動的に結合したり、複雑な条件付き型を組み合わせたりする場合に適しています。

型の競合とnever型への変化

インターセクション型を使用する際に最も注意すべき点は、プロパティの型が競合した場合の挙動です。

もし、同じプロパティ名で互換性のない型同士を合成しようとすると、そのプロパティは never 型になります。

TypeScript

type TypeA = { id: string };
type TypeB = { id: number };

type Conflicted = TypeA & TypeB;

// この代入はエラーになります
const obj: Conflicted = {
  id: "1" // Error: Type 'string' is not assignable to type 'never'
};

上記の例では、id プロパティは「string型かつ number型」であることを求められますが、これを満たす値は存在しません。

その結果、TypeScriptは論理的な破綻を防ぐためにそのプロパティを never 型として扱います。

意図しない never 型の発生は、バグの原因となるため、大規模な型合成を行う際には注意深く設計する必要があります。

高度なテクニック：Mapped Typesとの組み合わせ

近年のTypeScript開発では、インターセクション型を Mapped Types や satisfies 演算子と組み合わせる手法が普及しています。

例えば、既存のオブジェクトのすべてのプロパティを読み取り専用にしつつ、新しいメタデータを追加するといった操作が可能です。

TypeScript

type ReadOnlyUser = Readonly<User> & {
  lastUpdated: Date;
};

const user: ReadOnlyUser = {
  id: 101,
  name: "田中",
  lastUpdated: new Date()
};

// user.id = 102; // エラー: 読み取り専用プロパティのため

このように、ユーティリティ型とインターセクション型を組み合わせることで、型定義の表現力は飛躍的に向上します。