宣告合併

如果定義了兩個相同名字的函式、介面或類別，那麼它們會合併成一個型別：

函式的合併

之前學習過，我們可以使用過載定義多個函式型別：

function reverse(x: number): number;
function reverse(x: string): string;
function reverse(x: number | string): number | string {
    if (typeof x === 'number') {
        return Number(x.toString().split('').reverse().join(''));
    } else if (typeof x === 'string') {
        return x.split('').reverse().join('');
    }
}

介面的合併

介面中的屬性在合併時會簡單的合併到一個介面中：

interface Alarm {
    price: number;
}
interface Alarm {
    weight: number;
}

相當於：

interface Alarm {
    price: number;
    weight: number;
}

注意，合併的屬性的型別必須是唯一的：

interface Alarm {
    price: number;
}
interface Alarm {
    price: number;  // 雖然重複了，但是型別都是 `number`，所以不會報錯
    weight: number;
}

interface Alarm {
    price: number;
}
interface Alarm {
    price: string;  // 型別不一致，會報錯
    weight: number;
}

// index.ts(5,3): error TS2403: Subsequent variable declarations must have the same type.  Variable 'price' must be of type 'number', but here has type 'string'.

介面中方法的合併，與函式的合併一樣：

interface Alarm {
    price: number;
    alert(s: string): string;
}
interface Alarm {
    weight: number;
    alert(s: string, n: number): string;
}

相當於：

interface Alarm {
    price: number;
    weight: number;
    alert(s: string): string;
    alert(s: string, n: number): string;
}

類別的合併

類別的合併與介面的合併規則一致。

同名的類別會發生宣告衝突，無法直接合併。（原文的內容有誤，已發 Issue 要求更正）

參考

• Declaration Merging（中文版）
• 上一章：泛型
• 下一章：擴充套件閱讀