接口
TypeScript的核心原则之一是对值所具有的结构进行类型检查。 它有时被称做“鸭式辨型法”或“结构性子类型化”。 在TypeScript里,接口的作用就是为这些类型命名和为你的代码或第三方代码定义契约。
1 2 3 4 5 6 7 8 9
| interface LabelledValue { label: string; }
function printLable(labeledObj: LabelledValue) { console.log(labeledObj.label); } let myObj = {size: 10, label: 'Size 10 Object'}; printLable(myObj);
|
可选属性
接口里的属性不全都是必需的。 有些是只在某些条件下存在,或者根本不存在。 可选属性在应用“option bags”模式时很常用,即给函数传入的参数对象中只有部分属性赋值了。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
| interface SquareConfig { color?: string; width?: number; } function createSquare(config:SquareConfig): {color: string; area: number} { let newSquare = { color: 'white', area: 100}; if (config.color) { newSquare.color = config.color; } if (config.width) { newSquare.area = config.width * config.width; } return newSquare; } let mySquare = createSquare({color: 'black'});
|
带有可选属性的接口与普通的接口定义差不多,只是在可选属性名字定义的后面加一个?符号。
只读属性
1 2 3 4
| interface Point { readonly x: number; readonly y: number; }
|
通过赋值一个对象字面量来构造一个 Point。赋值后, x 和 y 就不能再改变了
1 2
| let p1: Point = { x: 10, y: 20}; p1.x = 5;
|
TypeScript具有ReadonlyArray类型,它与Array相似,只是把所有可变方法去掉了,因此可以确保数组创建后再也不能被修改:
1 2 3 4 5
| let a: number[] = [1, 2, 3, 4]; let ro: ReadonlyArray<number> = a; ro[0] = 12; ro.push(12); a = ro;
|
上面代码的最后一行,可以看到就算把整个ReadonlyArray赋值到一个普通数组也是不可以的。 但是你可以用类型断言重写:
readonly vs const
最简单判断该用readonly还是const的方法是看要把它做为变量使用还是做为一个属性。 做为变量使用的话用 const,若做为属性则使用readonly。
额外的属性检查
1 2 3 4 5 6 7 8 9 10 11
| interface SquareConfig { color?: string; width?: number; }
function createSquare(config: SquareConfig): { color: string; area: number } { }
let mySquare = createSquare({ colour: "red", width: 100 });
|
传入createSquare的参数为colour而不是color。 在JavaScript里,这会默默地失败。
你可能会争辩这个程序已经正确地类型化了,因为width属性是兼容的,不存在color属性,而且额外的colour属性是无意义的。
然而,TypeScript会认为这段代码可能存在bug。 对象字面量会被特殊对待而且会经过 额外属性检查,当将它们赋值给变量或作为参数传递的时候。 如果一个对象字面量存在任何“目标类型”不包含的属性时,你会得到一个错误。
使用类型断言,绕过检查:
1
| let mySquare = createSquare({ width: 100, opacity: 0.5 } as SquareConfig);
|
最佳方式是能够添加一个字符串索引签名。前提是你能够确定这个对象可能具有某些做为特殊用途使用的额外属性。 如果 SquareConfig带有上面定义的类型的color和width属性,并且还会带有任意数量的其它属性,那么我们可以这样定义它:
1 2 3 4 5
| interface SquareConfig { color?: string; width?: number; [propName: string]: any; }
|
还有最后一种跳过这些检查的方式,这可能会让你感到惊讶,它就是将这个对象赋值给一个另一个变量: 因为 squareOptions不会经过额外属性检查,所以编译器不会报错。
1 2
| let squareOptions = { colour: "red", width: 100 }; let mySquare = createSquare(squareOptions);
|
函数类型
1 2 3 4 5 6 7 8
| interface SearchFunc { (source: string, subString: string): Boolean; } let mySearch: SearchFunc; mySearch = function (source: string, subString: string): boolean { let result = source.search(subString); return result > -1; }
|
函数的参数会逐个进行检查,要求对应位置上的参数类型是兼容的。 如果你不想指定类型,TypeScript的类型系统会推断出参数类型,因为函数直接赋值给了 SearchFunc类型变量。 函数的返回值类型是通过其返回值推断出来的(此例是 false和true)。 如果让这个函数返回数字或字符串,类型检查器会警告我们函数的返回值类型与 SearchFunc接口中的定义不匹配。
1 2 3 4 5
| let mySearch: SearchFunc; mySearch = function(src, sub) { let result = src.search(sub); return result > -1; }
|
可索引的类型
1 2 3 4 5 6
| interface StringArray { [index: number]: string; } let myArray: StringArray; myArray = ['Tom', 'Lucy']; let myStr: string = myArray[0];
|
TypeScript支持两种索引签名:字符串和数字。
可以同时使用两种类型的索引,但是数字索引的返回值必须是字符串索引返回值类型的子类型。 这是因为当使用 number来索引时,JavaScript会将它转换成string然后再去索引对象。 也就是说用 100(一个number)去索引等同于使用”100”(一个string)去索引,因此两者需要保持一致。
1 2 3 4 5 6 7 8 9 10 11 12
| class Animal { name: string; } class Dog extends Animal { breed: string; }
interface NotOkay { [x: number]: Animal; [x: string]: Dog; }
|
类类型
实现接口
1 2 3 4 5 6 7 8 9 10 11 12
| interface ClockInterface { currentTime: Date; setTime(d: Date); }
class Clock implements ClockInterface { currentTime: Date; setTime(d: Date) { this.currentTime = d; } constructor(h: number, m: number) { } }
|
接口描述了类的公共部分,而不是公共和私有两部分。 它不会帮你检查类是否具有某些私有成员。
类静态部分和实例部分的区别
当你操作类和接口的时候,你要知道类是具有两个类型的:静态部分的类型和实例的类型。 你会注意到,当你用构造器签名去定义一个接口并试图定义一个类去实现这个接口时会得到一个错误:
1 2 3 4 5 6 7 8
| interface ClockConstructor { new (hour: number, minute: number); }
class Clock implements ClockConstructor { currentTime: Date; constructor(h: number, m: number) { } }
|
这里因为当一个类实现了一个接口时,只对其实例部分进行类型检查。 constructor存在于类的静态部分,所以不在检查的范围内。
因此,我们应该直接操作类的静态部分。 看下面的例子,我们定义了两个接口, ClockConstructor为构造函数所用和ClockInterface为实例方法所用。 为了方便我们定义一个构造函数 createClock,它用传入的类型创建实例。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
| interface ClockConstructor { new (hour: number, minute: number): ClockInterface; } interface ClockInterface { tick(); }
function createClock(ctor: ClockConstructor, hour: number, minute: number): ClockInterface { return new ctor(hour, minute); }
class DigitalClock implements ClockInterface { constructor(h: number, m: number) { } tick() { console.log("beep beep"); } } class AnalogClock implements ClockInterface { constructor(h: number, m: number) { } tick() { console.log("tick tock"); } }
let digital = createClock(DigitalClock, 12, 17); let analog = createClock(AnalogClock, 7, 32);
|
继承接口
和类一样,接口也可以相互继承。 这让我们能够从一个接口里复制成员到另一个接口里,可以更灵活地将接口分割到可重用的模块里。
1 2 3 4 5 6 7 8 9 10 11
| interface Shape { color: string; }
interface Square extends Shape { sideLength: number; }
let square = <Square>{}; square.color = "blue"; square.sideLength = 10;
|
一个接口可以继承多个接口,创建出多个接口的合成接口。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
| interface Shape { color: string; }
interface PenStroke { penWidth: number; }
interface Square extends Shape, PenStroke { sideLength: number; }
let square = <Square>{}; square.color = "blue"; square.sideLength = 10; square.penWidth = 5.0;
|
混合类型
接口能够描述JavaScript里丰富的类型。 因为JavaScript其动态灵活的特点,有时你会希望一个对象可以同时具有上面提到的多种类型。
一个例子就是,一个对象可以同时做为函数和对象使用,并带有额外的属性。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
| interface Counter { (start: number): string; interval: number; reset(): void; }
function getCounter(): Counter { let counter = <Counter>function (start: number) { }; counter.interval = 123; counter.reset = function () { }; return counter; }
let c = getCounter(); c(10); c.reset(); c.interval = 5.0;
|
接口继承类
当接口继承了一个类类型时,它会继承类的成员但不包括其实现。 就好像接口声明了所有类中存在的成员,但并没有提供具体实现一样。 接口同样会继承到类的private和protected成员。 这意味着当你创建了一个接口继承了一个拥有私有或受保护的成员的类时,这个接口类型只能被这个类或其子类所实现(implement)。
当你有一个庞大的继承结构时这很有用,但要指出的是你的代码只在子类拥有特定属性时起作用。 这个子类除了继承至基类外与基类没有任何关系。 例:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
| class Control { private state: any; }
interface SelectableControl extends Control { select(): void; }
class Button extends Control implements SelectableControl { select() { } }
class TextBox extends Control { select() { } }
class Image implements SelectableControl { select() { } }
class Location {
}
|
在上面的例子里,SelectableControl包含了Control的所有成员,包括私有成员state。 因为 state是私有成员,所以只能够是Control的子类们才能实现SelectableControl接口。 因为只有 Control的子类才能够拥有一个声明于Control的私有成员state,这对私有成员的兼容性是必需的。
在Control类内部,是允许通过SelectableControl的实例来访问私有成员state的。 实际上, SelectableControl接口和拥有select方法的Control类是一样的。 Button和TextBox类是SelectableControl的子类(因为它们都继承自Control并有select方法),但Image和Location类并不是这样的。