TypeScript——声明合并

声明合并1、接口声明合并2、枚举声明合并3、类声明合并4、命名空间声明合并4.1、命名空间与命名空间合并4.2、 命名空间与函数合并4.3、 命名空间与类合并4.4、 命名空间与枚举合并5、扩充模块声明6、扩充全局声明声明是编程语言中的基础结构它描述了一个标识符所表示的含义。在TypeScript语言中一个标识符总共可以有以下三种含义表示一个值。表示一个类型。表示一个命名空间。下例中我们分别定义了值、类型和命名空间。其中常量zero属于值接口Point属于类型而命名空间Utils则属于命名空间。示例如下constzero0;interfacePoint{x:number;y:number;}namespaceUtils{}对于同一个标识符而言它可以同时具有上述多种含义。例如有一个标识符A它可以同时表示一个值、一种类型和一个命名空间。示例如下constA0;interfaceA{}namespaceA{}在同一声明空间内使用的标识符必须唯一。TypeScript语言中的大部分语法结构都能够创建出新的声明空间例如函数声明和类声明都能够创建出一个新的声明空间。最典型的声明空间是全局声明空间和模块声明空间。当编译器发现同一声明空间内存在同名的声明时会尝试将所有同名的声明合并为一个声明即声明合并若发现无法进行声明合并则会产生编译错误。声明合并是TypeScript语言特有的行为。在进行声明合并时编译器会按照标识符的含义进行分组合并即值和值合并、类型和类型合并以及命名空间和命名空间合并。但是并非所有同名的声明都允许进行声明合并例如常量声明a和函数声明a之间不会进行声明合并。接下来将具体介绍TypeScript语言中的声明合并包括接口声明、枚举声明、类声明、命名空间声明、扩充模块声明、扩充全局声明。1、接口声明合并接口声明为标识符定义了类型含义。在同一声明空间内声明的多个同名接口会合并成一个接口声明。下例中存在两个A接口声明它们属于同一声明空间。编译器会将两个A接口声明中的类型成员合并到一起合并后的接口A等同于接口MergedA。示例如下interfaceA{a:string;}interfaceA{b:number;}interfaceMergedA{a:string;b:number;}若待合并的接口中存在同名的属性签名类型成员那么这些同名的属性签名必须是相同的类型否则会因为合并冲突而产生编译错误。例如在下例的两个接口A中属性成员a的类型分别为number类型和string类型在合并接口时会发生冲突。示例如下interfaceA{a:number;}interfaceA{a:string;// 编译错误}若待合并的接口中存在同名的方法签名类型成员那么同名的方法签名类型成员会被视为函数重载并且靠后定义的方法签名具有更高的优先级。例如下例的两个A接口声明中都定义了方法签名类型成员f。在合并后的接口A中方法签名f具有两个重载签名并且后声明的f方法第6行具有更高的优先级。示例如下interfaceA{f(x:any):void;}interfaceA{f(x:string):boolean;}interfaceMergedA{f(x:string):boolean;f(x:any):void;}合并重载签名的基本原则是后声明的重载签名具有更高优先级。但也存在一个例外若重载签名的参数类型中包含字面量类型则该重载签名具有更高的优先级。例如下例中尽管第2行的方法签名f是先声明的但在接口合并后仍具有更高的优先级因为它的函数签名中带有字面量类型。示例如下interfaceA{f(x:foo):boolean;}interfaceA{f(x:any):void;}interfaceMergedA{f(x:foo):boolean;f(x:any):void;}若待合并的接口中存在多个调用签名类型成员或构造签名类型成员那么它们将被视作函数重载和构造函数重载。与合并方法签名类型成员相同后声明的调用签名类型成员和构造签名类型成员具有更高的优先级同时也会参考参数类型中是否包含字面量类型。示例如下interfaceA{new(x:any):object;(x:any):any;}interfaceA{new(x:string):Date;(x:string):string;}interfaceMergedA{new(x:string):Date;new(x:any):object;(x:string):string;(x:any):any;}当涉及重载时接口合并的顺序变得尤为重要因为它将影响重载的解析顺序。若待合并的接口中存在多个字符串索引签名或数值索引签名则将产生编译错误。在合并接口时所有的接口中只允许存在一个字符串索引签名和一个数值索引签名。示例如下interfaceA{[prop:string]:string;}interfaceA{[prop:number]:string;}interfaceMergedA{[prop:string]:string;[prop:number]:string;}若待合并的接口是泛型接口那么所有同名接口必须有完全相同的类型参数列表。若待合并的接口存在继承的接口那么所有继承的接口会被合并为单一的父接口。在实际程序中我们应避免复杂接口的合并行为因为这会让代码变得难以理解。2、枚举声明合并多个同名的枚举声明会合并成一个枚举声明。在合并枚举声明时只允许其中一个枚举声明的首个枚举成员省略初始值。示例如下enumE{A,}enumE{B1,}enumE{C2,}lete:E;eE.A;eE.B;eE.C;此例中第2行的首个枚举成员省略了初始值因此TypeScript会自动计算初始值。第6行和第10行必须为首个枚举成员定义初始值否则将产生编译错误因为编译器无法在多个同名枚举声明之间自动地计算枚举值。枚举声明合并的另外一点限制是多个同名的枚举声明必须同时为const枚举或非const枚举不允许混合使用。示例如下// 正确enumE0{A,}enumE0{B1,}// 正确constenumE1{A,}constenumE1{B1,}// 编译错误enumE2{A,}constenumE2{B1,}3、类声明合并TypeScript不支持合并同名的类声明但是外部类声明可以与接口声明进行合并合并后的类型为类类型。示例如下declareclassC{x:string;}interfaceC{y:number;}letc:CnewC();c.x;c.y;4、命名空间声明合并命名空间的声明合并会稍微复杂一些它可以与命名空间、函数、类和枚举进行合并。4.1、命名空间与命名空间合并与合并接口类似同名的命名空间也会进行合并。例如编译器会将下例中的两个Animals命名空间进行合并合并后的命名空间等同于命名空间MergedAnimals。示例如下namespaceAnimals{exportclassBird{}}namespaceAnimals{exportinterfaceCanFly{canFly:boolean;}exportclassDog{}}namespaceMergedAnimals{exportinterfaceCanFly{canFly:boolean;}exportclassBird{}exportclassDog{}}如果存在嵌套的命名空间那么在合并外层命名空间时同名的内层命名空间也会进行合并。示例如下namespaceouter{exportnamespaceinner{exportvarx10;}}namespaceouter{exportnamespaceinner{exportvary20;}}namespaceMergedOuter{exportnamespaceinner{exportvarx10;exportvary20;}}在合并命名空间声明时命名空间中的非导出成员不会被合并它们只能在各自的命名空间中使用。示例如下namespaceNS{consta0;exportfunctionfoo(){a;// 正确}}namespaceNS{exportfunctionbar(){foo();// 正确a;// 编译错误找不到 a}}4.2、 命名空间与函数合并同名的命名空间声明与函数声明可以进行合并但是要求函数声明必须位于命名空间声明之前这样做能够确保先创建出一个函数对象。函数与命名空间合并就相当于给函数对象添加额外的属性。示例如下functionf(){returnf.version;}namespacef{exportconstversion1.0;}f();// 1.0f.version;// 1.04.3、 命名空间与类合并同名的命名空间声明与类声明可以进行合并但是要求类声明必须位于命名空间声明之前这样做能够确保先创建出一个构造函数对象。命名空间与类的合并提供了一种创建内部类的方式。示例如下classOuter{inner:Outer.InnernewOuter.Inner();}namespaceOuter{exportclassInner{}}我们也可以利用命名空间与类的声明合并来为类添加静态属性和方法。示例如下classA{foo:stringA.bar;}namespaceA{exportletbarA;exportfunctioncreate(){returnnewA();}}consta:AA.create();a.foo;// AA.bar;// A4.4、 命名空间与枚举合并同名的命名空间声明与枚举声明可以进行合并。这相当于将枚举成员与命名空间的导出成员进行合并。示例如下enumE{A,B,C,}namespaceE{exportfunctionfoo(){E.A;E.B;E.C;}}E.A;E.B;E.C;E.foo();需要注意的是枚举成员名与命名空间导出成员名不允许出现同名的情况。示例如下enumE{A,// 编译错误重复的标识符 A}namespaceE{exportfunctionA(){}// 编译错误重复的标识符 A}5、扩充模块声明对于任意模块通过模块扩充语法能够对模块内的已有声明进行扩展。例如在“a.ts”模块中定义了一个接口A在“b.ts”模块中可以对“a.ts”模块中定义的接口A进行扩展为其增加新的属性。假设有如下目录结构的工程C:\app |-- a.ts -- b.ts“a.ts”模块文件的内容如下exportinterfaceA{x:number;}“b.ts”模块文件的内容如下import{A}from./a;declaremodule./a{interfaceA{y:number;}}consta:A{x:0,y:0};此例中​“declare module ‘./a’ {}”是模块扩充语法。其中​“‘./a’”表示要扩充的模块名它与第一行模块导入语句中的模块名一致。我们使用模块扩充语法对导入模块“‘./a’”进行了扩充。第4行定义的接口A将与“a.ts”模块中的接口A进行声明合并合并后的结果仍为接口A但是接口A增加了一个属性成员y。在进行模块扩充时有以下两点需要注意不能在模块扩充语法中增加新的顶层声明只能扩充现有的声明。也就是说我们只能对“‘./a’”模块中已经存在的接口A进行扩充而不允许增加新的声明例如新定义一个接口B。无法使用模块扩充语法对模块的默认导出进行扩充只能对命名模块导出进行扩充因为在进行模块扩充时需要依赖于导出的名字。6、扩充全局声明与模块扩充类似TypeScript还提供了全局对象扩充语法“declare global {}”​。示例如下export{};declareglobal{interfaceWindow{myAppConfig:object;}}constconfig:objectwindow.myAppConfig;此例中​“declare global {}”是全局对象扩充语法它扩展了全局的Window对象增加了一个myAppConfig属性。第1行我们使用了“export {}”空导出语句这是因为全局对象扩充语句必须在模块或外部模块声明中使用当我们添加了空导出语句后该文件就成了一个模块。全局对象扩充也具有和模块扩充相同的限制不能在全局对象扩充语法中增加新的顶层声明只能扩充现有的声明。