こんにちは！TypeScriptの世界へようこそ。
日々フロントエンドからバックエンドまで、コードの海を泳いでいると、「あっちのデータ構造と、こっちのデータ構造を合体させて、一つの関数にスッと放り込みたい！」という場面に何度も出くわしますよね。
他の言語、例えばJavaやC#なんかだと、わざわざ新しいクラスを作ったり、複雑な継承関係（インヘリタンス）を組んだりしなきゃいけないあの面倒な作業……。
実はTypeScriptには、もっとエレガントで、コンパイラの型推論をフルに活かした「Intersection Types（交差型）」という強力な武器があるんです。
今回は、このIntersection Typesを使って、複数の型をガチャリと組み合わせる「関数の引数ミックスイン設計」について、一緒に紐解いていきましょう。ここをクリアすれば、型定義の美しさと柔軟性に感動すること間違いなしですよ！
—
1. なぜ「Intersection Types（交差型）」が必要なの？
まずはイメージしてみましょう。
あなたの手元に、「ユーザーの基本情報（名前やID）」を持つオブジェクトと、「現在のログイン状態（権限やトークン）」を持つオブジェクトがあるとします。
interface User {
id: string;
name: string;
}
interface Auth {
token: string;
role: ‘admin’ | ‘guest’;
}
この両方のデータをごっそり受け取って、何かしらの処理をする関数を作りたいとき、あなたならどう型定義しますか？
「じゃあ、新しいインターフェースをもう一個作って、両方をextends（継承）させようかな……」と思ったそこのあなた！ちょっと待ってください。それ、本当に毎回interface増やす必要ありますか？
そこで登場するのが、アンパサンド（`&`）で繋ぐだけのIntersection Types（交差型）です。
// User と Auth の両方の性質を「すべて持っている」型を作る
type AuthenticatedUser = User & Auth;
この `User & Auth` という表現は、数学でいう「積集合（AND）」のようなものです。
「`User`のプロパティをすべて持ち、かつ、`Auth`のプロパティもすべて持っている」という、合体ロボのような強力な型を一瞬で生み出すことができます。
—
2. 実践！引数のミックスイン設計
では、これを実際の関数の引数に適用してみましょう。
複数の独立した機能を「ミックスイン（混ぜ合わせる）」するように、関数の引数でIntersection Typesを使ってみます。
以下のコードを見てください。
// 1. ログ機能を持つ型
interface Loggable {
logLevel: ‘info’ | ‘warn’ | ‘error’;
logMessage: string;
}
// 2. タイムスタンプ機能を持つ型
interface Timestamped {
createdAt: Date;
}
// 3. ユーザー機能を持つ型
interface UserProfile {
username: string;
email: string;
}
/
- 複数の機能をミックスインしたオブジェクトを受け取る関数
- ここで `UserProfile & Loggable & Timestamped` という交差型を使っています。
- これにより、この関数には「これら3つの型のすべてのプロパティが揃っていなければならない」
- という契約（Contract）を課すことができます。
/
function processSystemAudit(data: UserProfile & Loggable & Timestamped) {
console.log(`[${data.createdAt.toISOString()}] (${data.logLevel}): ${data.logMessage}`);
console.log(`Target User: ${data.username} (${data.email})`);
}
// — 実際に使ってみましょう —
// すべての要件を満たす完璧なオブジェクトを用意します
const auditData = {
username: ‘yusuke_architect’,
email: ‘yusuke@example.com’,
logLevel: ‘info’ as const, // リテラル型として推論させるため
logMessage: ‘ユーザーがシステムにログインしました。’,
createdAt: new Date(),
};
// 関数を呼び出す
processSystemAudit(auditData);
コードの裏側で何が起きているか？
TypeScriptのコンパイラは、`processSystemAudit` の引数を見た瞬間、こう頭の中で解釈します。
> 「ほう、`username`, `email`, `logLevel`, `logMessage`, `createdAt` の5つのプロパティがすべて存在しているオブジェクトじゃないと、この関数には通さんぞ」
もし、このうちの `logLevel` をうっかり書き忘れたりすると、TypeScriptは即座に赤く波線を引いて「足りないよ！」と教えてくれます。これが、実行時エラーを未然に防ぐTypeScriptの圧倒的な強みです。
—
3. 陥りがちな文法エラーと「罠」
さて、ここからが少し実務的なお話。Intersection Typesを使い始めると、誰もが一度はハマる「罠」があります。それは「プリミティブ型同士の交差」です。
例えば、こんなコードを書いたことはありませんか？
// 【やってはいけない例】
type BadType = string & number;
これ、コンパイルエラーにはなりませんが、`BadType` の正体は `never`（どの値も代入できない型）になってしまいます。
「文字列であり、かつ数値でもあるデータ」なんて、この世に存在しませんよね。TypeScriptの型システムは非常にロジカルなので、論理的に矛盾する交差を作ると、型が消滅（`never`化）してしまいます。
オブジェクトのプロパティの衝突に注意
もう一つ、オブジェクト同士をミックスインする際によくあるのが、「同じ名前で、型が違うプロパティの衝突」です。
interface TypeA {
id: string;
}
interface TypeB {
id: number; // こっちは数値！
}
// やってしまった例
type Conflict = TypeA & TypeB;
// 試してみる
const item: Conflict = {
id: “123” // エラー！ string を入れたら怒られる
// じゃあ 123 にすると今度は TypeA の id: string と矛盾してエラーになる！
};
`id` が `string` であり、かつ `number` であることはできません。そのため、`Conflict` の `id` プロパティの型は自動的に `string & number`、すなわち `never` になってしまい、実質的にそのプロパティには何も代入できなくなります。
ミックスイン設計をする時は、「それぞれの型でプロパティ名が衝突していないか」を意識することが、バグを防ぐ大きなポイントになります。
—
4. まとめ：型を「組み合わせる」思考を手に入れよう
今回は、Intersection Types（交差型）を用いた引数のミックスイン設計について解説しました。
- Intersection Types (`&`) とは： 複数の型の性質をすべて併せ持つ「合体型」を作るためのもの。
- メリット： わざわざ新しいインターフェースを量産しなくても、関数の引数などで柔軟に型を合成できる。
- 注意点： プリミティブの矛盾や、プロパティの型の衝突（`never`の発生）に気をつける。
「機能を継承で縦に伸ばす」のではなく、「型を交差で横に組み合わせる」。
この感覚が身につくと、TypeScriptでの設計が一気に軽やかになり、コードを書くのが何倍も楽しくなりますよ。
ここをクリアしたあなたなら、もうTypeScriptの型システムの基本はバッチリマスターできています！自信を持って、日々の開発にこのテクニックを取り入れてみてくださいね。それでは、また次の記事でお会いしましょう！