TypeScript 聲明合并

2022-05-31 14:45 更新

介紹

TypeScript中有些獨特的概念可以在類型層面上描述JavaScript對象的模型。 這其中尤其獨特的一個例子是“聲明合并”的概念。 理解了這個概念,將有助于操作現(xiàn)有的JavaScript代碼。 同時,也會有助于理解更多高級抽象的概念。

對本文件來講,“聲明合并”是指編譯器將針對同一個名字的兩個獨立聲明合并為單一聲明。 合并后的聲明同時擁有原先兩個聲明的特性。 任何數量的聲明都可被合并;不局限于兩個聲明。

基礎概念

Typescript中的聲明會創(chuàng)建以下三種實體之一:命名空間,類型或值。 創(chuàng)建命名空間的聲明會新建一個命名空間,它包含了用(.)符號來訪問時使用的名字。 創(chuàng)建類型的聲明是:用聲明的模型創(chuàng)建一個類型并綁定到給定的名字上。 最后,創(chuàng)建值的聲明會創(chuàng)建在JavaScript輸出中看到的值。

Declaration TypeNamespaceTypeValue
NamespaceX X
Class XX
Enum XX
Interface X 
Type Alias X 
Function  X
Variable  X

理解每個聲明創(chuàng)建了什么,有助于理解當聲明合并時有哪些東西被合并了。

合并接口

最簡單也最常見的聲明合并類型是接口合并。 從根本上說,合并的機制是把雙方的成員放到一個同名的接口里。

interface Box {
    height: number;
    width: number;
}

interface Box {
    scale: number;
}

let box: Box = {height: 5, width: 6, scale: 10};

接口的非函數的成員必須是唯一的。 如果兩個接口中同時聲明了同名的非函數成員編譯器則會報錯。

對于函數成員,每個同名函數聲明都會被當成這個函數的一個重載。 同時需要注意,當接口 A與后來的接口A合并時,后面的接口具有更高的優(yōu)先級。

如下例所示:

interface Cloner {
    clone(animal: Animal): Animal;
}

interface Cloner {
    clone(animal: Sheep): Sheep;
}

interface Cloner {
    clone(animal: Dog): Dog;
    clone(animal: Cat): Cat;
}

這三個接口合并成一個聲明:

interface Cloner {
    clone(animal: Dog): Dog;
    clone(animal: Cat): Cat;
    clone(animal: Sheep): Sheep;
    clone(animal: Animal): Animal;
}

注意每組接口里的聲明順序保持不變,但各組接口之間的順序是后來的接口重載出現(xiàn)在靠前位置。

這個規(guī)則有一個例外是當出現(xiàn)特殊的函數簽名時。 如果簽名里有一個參數的類型是 單一的字符串字面量(比如,不是字符串字面量的聯(lián)合類型),那么它將會被提升到重載列表的最頂端。

比如,下面的接口會合并到一起:

interface Document {
    createElement(tagName: any): Element;
}
interface Document {
    createElement(tagName: "div"): HTMLDivElement;
    createElement(tagName: "span"): HTMLSpanElement;
}
interface Document {
    createElement(tagName: string): HTMLElement;
    createElement(tagName: "canvas"): HTMLCanvasElement;
}

合并后的Document將會像下面這樣:

interface Document {
    createElement(tagName: "canvas"): HTMLCanvasElement;
    createElement(tagName: "div"): HTMLDivElement;
    createElement(tagName: "span"): HTMLSpanElement;
    createElement(tagName: string): HTMLElement;
    createElement(tagName: any): Element;
}

合并命名空間

與接口相似,同名的命名空間也會合并其成員。 命名空間會創(chuàng)建出命名空間和值,我們需要知道這兩者都是怎么合并的。

對于命名空間的合并,模塊導出的同名接口進行合并,構成單一命名空間內含合并后的接口。

對于命名空間里值的合并,如果當前已經存在給定名字的命名空間,那么后來的命名空間的導出成員會被加到已經存在的那個模塊里。

Animals聲明合并示例:

namespace Animals {
    export class Zebra { }
}

namespace Animals {
    export interface Legged { numberOfLegs: number; }
    export class Dog { }
}

等同于:

namespace Animals {
    export interface Legged { numberOfLegs: number; }

    export class Zebra { }
    export class Dog { }
}

除了這些合并外,你還需要了解非導出成員是如何處理的。 非導出成員僅在其原有的(合并前的)命名空間內可見。這就是說合并之后,從其它命名空間合并進來的成員無法訪問非導出成員。

下例提供了更清晰的說明:

namespace Animal {
    let haveMuscles = true;

    export function animalsHaveMuscles() {
        return haveMuscles;
    }
}

namespace Animal {
    export function doAnimalsHaveMuscles() {
        return haveMuscles;  // <-- error, haveMuscles is not visible here
    }
}

因為haveMuscles并沒有導出,只有animalsHaveMuscles函數共享了原始未合并的命名空間可以訪問這個變量。 doAnimalsHaveMuscles函數雖是合并命名空間的一部分,但是訪問不了未導出的成員。

命名空間與類和函數和枚舉類型合并

命名空間可以與其它類型的聲明進行合并。 只要命名空間的定義符合將要合并類型的定義。合并結果包含兩者的聲明類型。 Typescript使用這個功能去實現(xiàn)一些JavaScript里的設計模式。

合并命名空間和類

這讓我們可以表示內部類。

class Album {
    label: Album.AlbumLabel;
}
namespace Album {
    export class AlbumLabel { }
}

合并規(guī)則與上面合并命名空間小節(jié)里講的規(guī)則一致,我們必須導出AlbumLabel類,好讓合并的類能訪問。 合并結果是一個類并帶有一個內部類。 你也可以使用命名空間為類增加一些靜態(tài)屬性。

除了內部類的模式,你在JavaScript里,創(chuàng)建一個函數稍后擴展它增加一些屬性也是很常見的。 Typescript使用聲明合并來達到這個目的并保證類型安全。

function buildLabel(name: string): string {
    return buildLabel.prefix + name + buildLabel.suffix;
}

namespace buildLabel {
    export let suffix = "";
    export let prefix = "Hello, ";
}

alert(buildLabel("Sam Smith"));

相似的,命名空間可以用來擴展枚舉型:

enum Color {
    red = 1,
    green = 2,
    blue = 4
}

namespace Color {
    export function mixColor(colorName: string) {
        if (colorName == "yellow") {
            return Color.red + Color.green;
        }
        else if (colorName == "white") {
            return Color.red + Color.green + Color.blue;
        }
        else if (colorName == "magenta") {
            return Color.red + Color.blue;
        }
        else if (colorName == "cyan") {
            return Color.green + Color.blue;
        }
    }
}

非法的合并

TypeScript并非允許所有的合并。 目前,類不能與其它類或變量合并。 想要了解如何模仿類的合并,請參考TypeScript的混入。

模塊擴展

雖然JavaScript不支持合并,但你可以為導入的對象打補丁以更新它們。讓我們考察一下這個玩具性的示例:

// observable.js
export class Observable<T> {
    // ... implementation left as an exercise for the reader ...
}

// map.js
import { Observable } from "./observable";
Observable.prototype.map = function (f) {
    // ... another exercise for the reader
}

它也可以很好地工作在TypeScript中, 但編譯器對 Observable.prototype.map一無所知。 你可以使用擴展模塊來將它告訴編譯器:

// observable.ts stays the same
// map.ts
import { Observable } from "./observable";
declare module "./observable" {
    interface Observable<T> {
        map<U>(f: (x: T) => U): Observable<U>;
    }
}
Observable.prototype.map = function (f) {
    // ... another exercise for the reader
}


// consumer.ts
import { Observable } from "./observable";
import "./map";
let o: Observable<number>;
o.map(x => x.toFixed());

模塊名的解析和用import/export解析模塊標識符的方式是一致的。 更多信息請參考 Modules。 當這些聲明在擴展中合并時,就好像在原始位置被聲明了一樣。但是,你不能在擴展中聲明新的頂級聲明--僅可以擴展模塊中已經存在的聲明。

全局擴展

你也以在模塊內部添加聲明到全局作用域中。

// observable.ts
export class Observable<T> {
    // ... still no implementation ...
}

declare global {
    interface Array<T> {
        toObservable(): Observable<T>;
    }
}

Array.prototype.toObservable = function () {
    // ...
}

全局擴展與模塊擴展的行為和限制是相同的。


以上內容是否對您有幫助:
在線筆記
App下載
App下載

掃描二維碼

下載編程獅App

公眾號
微信公眾號

編程獅公眾號