TypeScriptでunion、type、intersectionの違い！

TypeScriptでは、型安全なプログラミングを行うためにunion型、typeエイリアス、intersection型といった仕組みが頻繁に登場します。これらは似ているようで役割が大きく異なります。特にunion型とintersection型を混同すると、思わぬバグや読みづらいコードにつながります。この記事では、違いを正確に理解し、最新のTypeScriptのベストプラクティスに基づいた使い分けを丁寧に解説します。

TypeScript union type intersection 違い を理解する

まず最初に「TypeScript union type intersection 違い」が意味するところを明確にします。union型とintersection型はTypeScriptで異なる目的を持つ型合成の手段であり、typeエイリアスは型に名前を付ける仕組みです。それぞれがどう異なり、どのような場面で用いられるかを理解することで、コードの可読性・保守性が向上します。以下では、この違いを基本から具体例まで最新情報を含めて詳しく見ていきます。

union型とは何か

union型は、「いずれか一方である」「複数の型のどれか」という意味を持つ型です。記号としては縦棒（|）を使います。例えば「文字列または数値」のように、関数の引数や戻り値が複数の型を取り得るときに使います。TypeScriptでは型ガードで実行時の型を判別したり、共通プロパティのみにアクセス可能という特徴があります。

intersection型とは何か

intersection型は、「すべての型を同時に満たす」という意味を持つ型です。記号としてアンパサンド（&）を用い、複数の型を結合してひとつの型を作ります。例えば異なるインターフェースを結合してオブジェクトがすべてのプロパティを持つようにするなど、複数の契約（契約群）を同時に満たす必要がある場合に使います。

typeエイリアスとの関係性

typeエイリアスは型に名前を付けるための構文であり、union型やintersection型と組み合わせて使われます。「type MyType = A | B」「type MyType = A & B」などのように、unionまたはintersectionをtypeで命名して扱いやすくします。typeエイリアス自体は振る舞いを変えるものではなく、一種のラベル付けです。

用途別に見る union と intersection の使いどころ

どのようなシチュエーションでunion型を使い、どこでintersection型を使うべきかを具体的な用途別に整理します。用途を把握することで、型設計の判断が自然になります。

APIレスポンスの多様なパターンに対応するunion型

APIからのレスポンスには成功時と失敗時、読み込み中といった複数パターンがあります。これらをunion型で表現することで、各パターンの型を明示でき、分岐処理も型ガードやディスクリミネーテッドユニオンを使って安全に書けます。レスポンスのステータスをキーとするパターンは保守性に優れます。

Mixinや複数インターフェースを結合するintersection型

mixinsや複数の振る舞いを持つオブジェクトを設計するときにintersection型が威力を発揮します。たとえばロギング機能を持ち、かつエラーハンドリング機能も持つクラスやオブジェクトには、対応する複数の型をintersectionで組み合わせてひとつの複合型とするのが適切です。全ての要素を満たすことが保証されます。

共通プロパティのアクセスと制限

union型では、型がどれになるか不確定なため、共通プロパティだけしかアクセスできません。他方、intersection型では全てのメンバー型のプロパティを必ず持つ必要があるため、アクセスできるプロパティの幅が広がります。この違いを理解しておくと型エラーを回避できます。

実践的なコード例で違いを見極める

ここでは具体的なコード例を通して、union型・intersection型・typeエイリアスの違いを実践的に比較します。最新のTypeScriptの挙動を反映しています。

union型の例と挙動

次のような例を考えます。
type ApiSuccess = { status: “success”; data: string[] };
type ApiError = { status: “error”; message: string };
type ApiResponse = ApiSuccess | ApiError;
と定義した場合、response.statusで分岐すればそれぞれの型のプロパティが安全に使えますが、共通でないプロパティを直接使おうとすると型エラーになります。TypeScriptの型ガードやswitchによるディスクリミネートが有効です。

intersection型の例と挙動

例えば次のように定義します。
type HasName = { name: string };
type HasAge = { age: number };
type Person = HasName & HasAge;
この場合、Person型のオブジェクトは必ずnameとageの両方を持たなければなりません。一方どちらかだけを持つオブジェクトはPerson型として認められません。このようにintersection型は契約の強制に使います。

Union と Intersection の混合ケース

union型とintersection型を組み合わせると複雑な型合成が可能です。たとえば、type A = {a: string}; type B = {b: number}; type C = {c: boolean};
type Mixed = (A | B) & C;
このMixedはCを必ず持ち、かつAまたはBを持つことが求められます。つまりプロパティcは常にあり、aまたはbのどちらかを含む形になります。これによって柔軟で厳密な型設計ができます。

common pitfalls（よくある落とし穴）と注意点

union型とintersection型を使う際に見落としやすいポイントを整理します。最新のTypeScriptでは型の挙動が改善されていますが、それでも注意を払うべき点があります。

プロパティの重複と型の競合

intersection型で結合する型同士で同名のプロパティが異なる型を持っていると、型競合になります。その場合、結合後の型はどちらの型として解釈されるか曖昧になることがあり、意図しない型広がりや型エラーの原因になります。プロパティが合致する型設計を心がけることが重要です。

union型でのプロパティアクセス時の制限

union型では、全ての可能な型に共通するプロパティしか安全にアクセスできません。例えばA|Bの型の値があった場合、その変数に存在が保証されていないプロパティを使おうとするとコンパイルエラーになります。この制限がコードを安全にする反面、冗長な型ガードが必要になることがあります。

型の過度な複雑化による可読性低下

unionやintersectionを乱用すると型定義が複雑になり、読み手が理解しづらくなる場合があります。また、ネストしたunionやintersection、複数のtype aliasの組み合わせなどは可読性を損なうことがあります。型設計時にはシンプルさと明確さを優先してください。

最新情報とTypeScriptのバージョンによる拡張

TypeScriptはバージョンを重ねる中でunionやintersectionに関する機能やエラーメッセージが改善されています。最新のTypeScriptではオーバーロードや条件型、分配型、never型との組み合わせなどが強化され、union・intersectionの扱いがより直感的になっています。ここではその進化を確認します。

条件型と分配型の強化

条件型（conditional types）をunionやintersectionと組み合わせることで、型の条件分岐が可能です。最新のTypeScriptでは分配型の挙動が明確化され、unionの中の各型に対して条件型を適応する際の挙動が予測しやすくなっています。この改良により複雑な型合成がより安全に行えます。

never型と空のintersection

intersection型で全く共通する値がない型同士を結合すると、型はneverと評価される場合があります。これは「どの値もそのintersection型を満たさない」ことを意味します。最新のTypeScriptではこの状況が明示的なエラーあるいは警告として扱われやすくなっており、バグを未然に防ぐ助けになります。

型システムのエラーメッセージの改善

TypeScript最近のバージョンでは、union/intersectionに関連する型エラーのメッセージが改善され、どの型が不足しているか・どの共通プロパティにアクセスできないかなどがより具体的に表示されます。これにより、型設計のミスが特定しやすくなっています。

ベストプラクティス：union・intersectionを活かす設計戦略

実際のプロジェクトでunion型・intersection型・typeエイリアスをうまく活用するための戦略をまとめます。これらを意識することで、型設計の質を大きく向上させることが可能です。

ディスクリミネーテッドユニオンを使う

union型を使う場合には、共通の識別子を設けたディスクリミネーテッドユニオンのパターンが非常に有効です。statusプロパティのような値をリテラル型で持たせ、switch文などで分岐すれば型安全と可読性の両方が保てます。

型 alias は具体的でシンプルに保つ

typeエイリアスは型を整理するために使いますが、その中でunionやintersectionを多重にネストさせたり、多数の型を列挙したりするのは避けるべきです。エイリアスに命名規則を付けたり、用途をコメントで明確にしたりすることで扱いやすくなります。

Intersection は契約（contract）として設計する

複数のインターフェースや振る舞い（behaviors）を持つオブジェクトの場合にはintersection型を使って、必要なすべての要素を強制します。例えばロギング＋認証＋データ取得など、複数の契約を持つ型に対してintersectionで設計すると誤用が減ります。

ユーティリティ型との組み合わせで柔軟性を高める

Partial, Pick, Omitなどのユーティリティ型をunionやintersectionと組み合わせて使うことで、部分的にプロパティを制限したり拡張したりできます。最新のTypeScriptではこれらの組み合わせの挙動も信頼性が高いため、型設計の武器になります。

まとめ

union型は「または」の関係を表し、型が複数候補のどれかであることを安全に扱います。共通プロパティにのみアクセス可能であり、ディスクリミネーテッドユニオンと型ガードが鍵になります。
intersection型は「かつ」の関係を表し、複数の型を同時に満たす型を設計するのに適しています。共通プロパティだけでなく、すべての型のプロパティの存在が要求されます。
typeエイリアスはこれらを整理し命名するためのものです。ネストや複雑化を避け、シンプルで明確な名前を付けて活用すると良い設計になります。

日常的なTypeScriptのコーディングでは、unionとintersectionを適材適所で使い分けることが重要です。どちらも強力な機能ですが、誤用すると保守性・可読性を損なう恐れがあります。まずは小さな例で慣れ、プロジェクト全体で一貫した型設計ルールを持つと良いでしょう。

理解を深めることで、TypeScriptでより堅牢で安全なコードが書けるようになります。union・intersection・typeの違いをしっかり押さえて、実践に活かしてください。