腳本之家服務(wù)器常用軟件

快捷導(dǎo)航

關(guān)于TypeScript聲明合并

更新時間：2022年09月28日 10:46:39 作者：???????????

這篇文章主要介紹了關(guān)于TypeScript聲明合并，具有很好的參考價值，希望對大家有所幫助。如有錯誤或未考慮完全的地方，望不吝賜教

介紹

TypeScript中有些獨特的概念可以在類型層面上描述JavaScript對象的模型。

這其中尤其獨特的一個例子是“聲明合并”的概念。理解了這個概念，將有助于操作現(xiàn)有的JavaScript代碼。同時，也會有助于理解更多高級抽象的概念。

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

基礎(chǔ)概念

TypeScript中的聲明會創(chuàng)建以下三種實體之一：命名空間，類型或值。

創(chuàng)建命名空間的聲明會新建一個命名空間，它包含了用（.）符號來訪問時使用的名字。

創(chuàng)建類型的聲明是：用聲明的模型創(chuàng)建一個類型并綁定到給定的名字上。

最后，創(chuàng)建值的聲明會創(chuàng)建在JavaScript輸出中看到的值。

Declaration Type?? ?Namespace?? ?Type?? ?Value
Namespace?? ?X?? ? ?? ?X
Class?? ? ?? ?X?? ?X
Enum?? ? ?? ?X?? ?X
Interface?? ? ?? ?X?? ??
Type Alias?? ? ?? ?X?? ??
Function?? ? ?? ? ?? ?X
Variable?? ? ?? ? ?? ?X

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

合并接口

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

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

interface Box {
? ? scale: number;
}

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

接口的非函數(shù)的成員應(yīng)該是唯一的。如果它們不是唯一的，那么它們必須是相同的類型。如果兩個接口中同時聲明了同名的非函數(shù)成員且它們的類型不同，則編譯器會報錯。

對于函數(shù)成員，每個同名函數(shù)聲明都會被當(dāng)成這個函數(shù)的一個重載。同時需要注意，當(dāng)接口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ī)則有一個例外是當(dāng)出現(xiàn)特殊的函數(shù)簽名時。如果簽名里有一個參數(shù)的類型是單一的字符串字面量（比如，不是字符串字面量的聯(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)建出命名空間和值，我們需要知道這兩者都是怎么合并的。

對于命名空間的合并，模塊導(dǎo)出的同名接口進行合并，構(gòu)成單一命名空間內(nèi)含合并后的接口。

對于命名空間里值的合并，如果當(dāng)前已經(jīng)存在給定名字的命名空間，那么后來的命名空間的導(dǎo)出成員會被加到已經(jī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 { }
}

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

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

namespace Animal {
? ? let haveMuscles = true;

? ? export function animalsHaveMuscles() {
? ? ? ? return haveMuscles;
? ? }
}

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

因為haveMuscles并沒有導(dǎo)出，只有animalsHaveMuscles函數(shù)共享了原始未合并的命名空間可以訪問這個變量。

doAnimalsHaveMuscles函數(shù)雖是合并命名空間的一部分，但是訪問不了未導(dǎo)出的成員。

命名空間與類和函數(shù)和枚舉類型合并

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

合并命名空間和類

這讓我們可以表示內(nèi)部類。

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

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

除了內(nèi)部類的模式，你在JavaScript里，創(chuàng)建一個函數(shù)稍后擴展它增加一些屬性也是很常見的。 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不支持合并，但你可以為導(dǎo)入的對象打補丁以更新它們。讓我們考察一下這個示例：

// 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解析模塊標(biāo)識符的方式是一致的。更多信息請參考 Modules。當(dāng)這些聲明在擴展中合并時，就好像在原始位置被聲明了一樣。

但是，你不能在擴展中聲明新的頂級聲明－僅可以擴展模塊中已經(jīng)存在的聲明。

全局擴展

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

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

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

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

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

以上為個人經(jīng)驗，希望能給大家一個參考，也希望大家多多支持腳本之家。

您可能感興趣的文章: