こんにちは。TypeScriptの世界へようこそ。
型システムを単なる「エラーを防ぐための道具」ではなく、コードの背後にある「契約（コントラクト）」を記述する強力な言語機能として捉え始めると、TypeScriptは途端に面白くなります。
今日は、TypeScriptの「Interfaceの宣言マージ」という、中級者への登竜門となる重要な機能を深掘りします。ライブラリの型定義を拡張し、自分のプロジェクトに最適化する……。これをマスターすれば、あなたはもうTypeScriptの仕様の「内側」に触れていると言っても過言ではありません。
—
1. 「宣言マージ」とは何か？：型定義の魔法
TypeScriptの `interface` には、他の言語にはあまり見られない非常にユニークな特性があります。それは「同じ名前のインターフェースを複数定義すると、それらが自動的に合体（マージ）される」というものです。
これを「宣言マージ（Declaration Merging）」と呼びます。
// 1回目の定義
interface User {
name: string;
}
// 2回目の定義（同じ名前！）
interface User {
age: number;
}
// コンパイラはこれらを統合し、以下のように認識します
// interface User {
// name: string;
// age: number;
// }
const user: User = { name: “Alice”, age: 30 }; // これで正しく型チェックされます
この特性を応用すれば、自分が書いたコードだけでなく、外部のライブラリが定義した型定義さえも、自分の手元で拡張できてしまうのです。
—
2. 実践！サードパーティライブラリを拡張する
例えば、`express` というサーバーライブラリを使っていて、リクエストオブジェクト（`req`）に「認証済みユーザー情報」を毎回付与したいとします。しかし、ライブラリ本来の `Request` 型にはそのプロパティは存在しません。
ここでモジュール拡張の出番です。
手順：`d.ts` ファイルを作成する
プロジェクト内に `types/express.d.ts` のような名前でファイルを作成します。
// types/express.d.ts
// 1. 拡張したい対象のモジュールをインポート
import as express from ‘express’;
// 2. declare module を使って、そのモジュールのスコープへ入る
declare module ‘express’ {
// 3. インターフェースを再定義（宣言マージが発生！）
interface Request {
// ここでプロジェクト固有のプロパティを追加
user: {
id: string;
role: ‘admin’ | ‘user’;
};
}
}
なぜこれで動くのか？
TypeScriptのコンパイラは、コンパイル時にプロジェクト内のすべての `.ts` / `.d.ts` ファイルを読み込みます。あなたが書いた `declare module ‘express’` は、コンパイラに対して「`express` という名前のモジュールを見つけたら、既存の定義にこの型を追加してくれ」と指示を出しているのです。
これにより、コード全体で `req.user` が型安全に使えるようになります。
—
3. 初学者がハマりやすい「3つの落とし穴」
この機能、強力ゆえに少しだけ注意が必要です。ここをクリアすれば、あなたはもう「型システムの迷子」になりません。
① `type` エイリアスではなく `interface` を使う
`type` で定義された型は、宣言マージができません。`type User = …` を二度書くと、TypeScriptは「識別子の重複」としてエラーを吐きます。拡張を前提とする定義には必ず `interface` を使いましょう。
② `import` を忘れずに
`declare module` の中で、元のインターフェースを継承したり型を利用したりする場合、必ず対象の型をインポートしてください。インポートがないと、単なる「同名の別型」として扱われ、マージが正しく行われないことがあります。
③ `tsconfig.json` の設定
作成した型定義ファイルがコンパイル対象に含まれているか確認してください。`include` プロパティで指定するか、`typeRoots` を適切に設定しないと、TypeScriptはあなたの拡張に気づいてくれません。
—
4. なぜこの「拡張」が重要なのか？
「なぜ元のライブラリを直接書き換えないのか？」と思った方もいるかもしれません。
それは、「ライブラリの更新を阻害しないため」です。`node_modules` 内のファイルを直接いじると、`npm install` や `npm update` をした瞬間にすべて消し飛びます。宣言マージは、元のコードに一切触れることなく、自分のプロジェクトの要件に合わせて「型という契約」を柔軟に書き換える、まさに賢いエンジニアのたしなみと言えるでしょう。
—
まとめ：TypeScriptを掌握するということ
- インターフェースはマージできる： 宣言マージはTypeScriptの強力な武器。
- モジュール拡張は安全な拡張手段： `declare module` を使えば、既存のライブラリもプロジェクトに合わせて進化させられる。
- 型は「契約」である： コンパイラに正しい型を教えることで、実行時の不安をコンパイル時にすべて解決できる。
ここをマスターしたあなたは、もう「ライブラリに無理やり型を合わせる」必要はありません。ライブラリをあなたのプロジェクトのルールに従わせることができるのです。
次は、[ジェネリクス（Generics）](https://www.typescriptlang.org/docs/handbook/2/generics.html)の世界を覗いてみませんか？そこには、さらに高度な「型の抽象化」が待っています。
また次のステップでお会いしましょう。あなたのコードが、より堅牢で美しいものになりますように。