TypeScript の「マージと拡張」を完全理解する：宣言マージと型拡張の実践ガイド（The Concise TypeScript Book）

文档教程【免费下载链接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.项目地址https://gitcode.com/gh_mirrors/typ/typescript-book点击查看免费下载本記事は、オープンソース書籍『The Concise TypeScript Book』の第 53 章「マージと拡張Merging and Extension」を深掘りし、TypeScript の型システムを扱う上で欠かせない「マージMerging」と「拡張Extension」という 2 つの概念を、実例とともに解説します。本章は同名の宣言を 1 つにまとめる宣言マージと、既存の型やインターフェースを継承・拡張して新たな型を作る仕組みに焦点を当てており、これらを読み解けば、interfaceとtypeの使い分け、ライブラリの型定義を壊さずに拡張する技法まで身につきます。マージMerging同じ名前の複数の宣言を 1 つの定義に統合する「マージ」とは、同じ名前を持つ複数の宣言を 1 つの定義にまとめる機能です。最も典型的な例が、同じ名前のインターフェースを複数回定義するケースです。本章が示す基本例を見てみましょう。interface X { a: string; } interface X { b: number; } const person: X { a: a, b: 7, };このコードでは、interface Xが 2 回宣言されています。TypeScript はこれらを単一のインターフェースにマージし、結果としてXはa: stringとb: numberの両方のプロパティを持つものとして扱われます。そのため、personにはaとbの両方を必ず指定する必要があります。この「宣言マージ」は、TypeScript のinterface固有の強力な機能です。同じ名前のinterfaceを複数宣言してもエラーにはならず、すべての宣言が持つプロパティとメソッドが合体した単一の定義になります。型エイリアスtypeでは宣言マージできない一方で、typeエイリアスは宣言マージをサポートしません。本書の第 54 章「型とインターフェースの違いdifferences-between-type-and-interface.md」でも指摘されている通り、typeで同名の宣言を複数回行うとコンパイルエラーになります。// これはエラーになる type A { x: string; }; type A { y: string; }; // エラー: 識別子 A は重複していますこの違いは、「元の定義を変更せずに追加機能を加えたい」「不足している型や誤った型にパッチを当てたい」といった場面で特に重要になります。ライブラリが公開している型をそのまま書き換えることはできませんが、宣言マージを使えば**外部ライブラリの型を拡張augmentation**できます。宣言マージの実践的な活用外部型へのパッチ宣言マージは、例えばサードパーティライブラリが提供するinterfaceに独自のプロパティを追加する場合に威力を発揮します。// ライブラリ側が定義している型変更できない interface Window { title: string; } // 自プロジェクト側でマージして拡張 interface Window { version: string; customProperty?: number; } // これで window.version にアクセスできるこのように、既存の定義を一切変更せずに、型システムのレベルで宣言を追加できます。宣言マージの対象となるのはinterfaceが主ですが、classと同名のinterfaceを宣言してクラスに静的メンバーや追加契約を持たせるといった使い方クラスとインターフェースのマージも可能です。クラス全般の仕組みについては第 55 章「クラスclass.md」を参照してください。拡張Extension既存の型から新しい型を作る「拡張」とは、既存の型またはインターフェースを拡張・継承して新しい型を作成する機能です。元の定義を変更せずに、既存の型へ追加のプロパティまたはメソッドを加える仕組みであり、本章ではinterfaceのextendsキーワードによる拡張が例示されています。interface Animal { name: string; eat(): void; } interface Bird extends Animal { sing(): void; } const dog: Bird { name: Bird 1, eat() { console.log(Eating); }, sing() { console.log(Singing); }, };BirdはAnimalをextendsしており、nameとeat()を継承した上で、独自のsing()を追加しています。その結果、Bird型の値はAnimalのすべてのメンバーを満たしつつ、sing()も実装しなければなりません。複数の型からの拡張interfaceは複数の型を一度に拡張することもできます。本書の第 16 章「型の拡張extending-types.md」には、次のような例があります。interface A { a: string; } interface B { b: string; } interface Y extends A, B { y: string; }この場合Yはa、b、yのすべてのプロパティを持つことになります。複数のinterfaceを組み合わせて契約を合成できるのがポイントです。extends は interface と class にのみ有効重要な制約として、extendsキーワードはinterfaceとclassに対してのみ機能します。typeエイリアスを拡張するには、交差型演算子を使う必要があります。type A { a: number; }; type B { b: number; }; type C A B;Cはaとbの両方を持つ交差型Intersection Typeになります。交差型の詳細は第 33 章「交差型intersection-types.md」で解説されています。片方向の拡張interface は type を拡張できるさらに、interfaceでtypeを拡張することはできますが、その逆typeがinterfaceをでなく直接拡張することはできません。type A { a: string; }; interface B extends A { b: string; }interface Bはtype Aの構造を継承しつつbを追加できるため、既存のtypeをベースに契約を広げたい場合に便利です。ユニオン型は extends できないinterfaceはユニオン型のような複雑な型をextendsすることはできません第 54 章より。ユニオン型を組み合わせたい場合は、typeエイリアスと|演算子を使うのが正攻法です。type Department dep-x | dep-y; // ユニオン型インターフェース同士のユニオンを表現したい場合も、typeを使って間接的に定義します例type C A | B;。交差型・ユニオン型を自由に組み立てられるのはtypeの大きな柔軟性であり、第 54 章ではこの点が明記されています。型の拡張におけるもう一つの道具 演算子による交差型拡張の考え方をtypeの世界で実現するのが交差型です。第 54 章では、既存のinterfaceに対してtypeを交差させる例も示されています。interface A { x: string; y: number; } type B A { j: string; }; const c: B { x: x, y: 123, j: j, };interface Aの構造をそのままに、type Bが追加プロパティjを加えた複合型になっています。この書き方は「元の定義を変更せずに型を拡張する」という拡張の目的を、typeの文法で実現する代表的なパターンです。第 54 章「型とインターフェースの違い」では、interfaceが交差型を組み込みでサポートせず、ユニオン型も間接表現に留まる一方、typeは|との両演算子で柔軟に合成できる、という対比が詳述されています。マージと拡張の違いまとめ観点マージMerging拡張Extension意味同じ名前の複数の宣言を 1 つの定義に統合既存の型を継承・合成して新しい型を作成主な対象interface同名複数宣言interfaceのextends、typeの交差型元の定義変更せずに宣言を追加変更せずに新しい型を作るtypeでの実現不可宣言マージ非対応交差型で実現代表的な用途ライブラリ型へのパッチ、追加機能の付与共通契約の継承、複合型の構築どちらも「既存の型定義を書き換えずに型の世界を広げる」という点では共通しますが、マージは同名宣言の合体、拡張は新しい型の創出という違いがあります。この 2 つを区別できると、interfaceとtypeの選択基準も明確になります。まとめマージと拡張を使い分ける『The Concise TypeScript Book』の「マージと拡張」の章が伝える本質は、次の 2 点に要約できます。マージ同じ名前のinterfaceを複数回宣言すれば、TypeScript が自動的に 1 つの定義へ統合してくれる。これはtypeにはない能力であり、外部ライブラリの型を拡張する際に強力。拡張interfaceはextendsで既存の型複数可を継承し、typeは交差型で複数の型を合成する。interfaceはtypeを拡張できるが、その逆はできない。型定義を設計する際は、まず「同じ名前で宣言を追加したいのか→ マージ」それとも「既存の型から派生した新しい型が欲しいのか→ 拡張」を判断すると、自然と正しい構文を選べるようになります。本記事の内容は、以下の関連章とあわせて読むことでより深く理解できます。型とインターフェースの違いdifferences-between-type-and-interface.md型の拡張extending-types.md交差型intersection-types.mdインターフェースと型の基本構文interface-and-type.mdクラスと継承class.md赞分享文档教程【免费下载链接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.项目地址https://gitcode.com/gh_mirrors/typ/typescript-book点击查看免费下载相关推荐The Concise TypeScript Book 完全ガイドinterface と type の使い分けと型定義の実践The Concise TypeScript Book 完全ガイドinterface と type の使い分けと型定義の実践 インターフェース interf文档教程voice-changerのプラグインアーキテクチャ独自機能を追加する拡張開発ガイドvoice changerのプラグインアーキテクチャ独自機能を追加する拡張開発ガイド はじめにvoice changerのプラグイン開発のニーズ リアルタイ人工智能语音模型推理服务深度学习voice-changerの拡張性カスタムモデルを追加するプラグイン開発ガイドvoice changerの拡張性カスタムモデルを追加するプラグイン開発ガイド はじめにvoice changerのモデル拡張の課題と機会 リアルタイムボイ人工智能语音模型推理服务深度学习上一篇BiliTools终极指南如何用AI总结功能快速掌握B站视频核心内容下一篇如何用Qalculate!彻底简化你的数学计算工作流程 创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考