交叉类型

交叉类型(intersection types)是将多个类型合并成一个类型,使用 & 分隔每一个类型,可以让我们把现有类型叠加在一起成为一种类型,它包含了所需的所有类型的特性

  1. function extend<T, U>(first: T, second: U): T & U {
  2. let result = <T & U>{};
  3. for (let id in first) {
  4. (<any>result)[id] = (<any>first)[id];
  5. }
  6. for (let id in second) {
  7. if (!result.hasOwnProperty(id)) {
  8. (<any>result)[id] = (<any>second)[id];
  9. }
  10. }
  11. return result;
  12. }
  13. class Person {
  14. constructor(public name: string) { }
  15. }
  16. interface Loggable {
  17. log(): void;
  18. }
  19. class ConsoleLogger implements Loggable {
  20. log() : void {
  21. console.log('log')
  22. }
  23. }
  24. var jim = extend(new Person("Jim"), new ConsoleLogger());
  25. var n = jim.name;
  26. jim.log();

联合类型

联合类型(Union Types)表示取值可以为多种类型中的一种,使用 | 分隔每个类型,联合类型的变量在被赋值的时候,会根据类型推论的规则推断出一个类型,因此只能访问该类型的属性。

  1. let myFavoriteNumber: string | number;
  2. myFavoriteNumber = 'seven';
  3. console.log(myFavoriteNumber.length); // 5
  4. myFavoriteNumber = 7;
  5. console.log(myFavoriteNumber.length); // 编译时报错
  6. myFavoriteNumber = false; // 编译时报错,类型不包括布尔值

混合类型

混合类型的一个例子就是一个对象可以同时做为函数和对象使用,并带有额外的属性

  1. interface Counter {
  2. (start: number): string;
  3. interval: number;
  4. reset(): void;
  5. }
  6. function getCounter(): Counter {
  7. let counter = <Counter>function (start: number) { };
  8. counter.interval = 123;
  9. counter.reset = function () { };
  10. return counter;
  11. }
  12. let c = getCounter();
  13. c(10);
  14. c.reset();
  15. c.interval = 5.0;

类型别名

类型别名简单来说就是给已有的类型另起一个新名字,并不会创建新类型,通常使用type来创建。

  1. type Name = string;
  2. type NameResolver = () => string;
  3. type NameOrResolver = Name | NameResolver;
  4. function getName(n: NameOrResolver): Name {
  5. if (typeof n === 'string') {
  6. return n;
  7. } else {
  8. return n();
  9. }
  10. }

使用类型别名需要但注意事项:

  • 错误信息、鼠标悬停时,不会使用别名,而是直接显示为所引用的类型
  • 别名不能被extends和implements
  • 给原始类型取别名通常没什么用
  • 类型别名不能出现在声明右侧的任何地方
  • 如果你无法通过接口来描述一个类型并且需要使用联合类型或元组类型,交叉类型,这时通常会使用类型别名

泛型别名
别名支持泛型

  1. type Container<T> = {
  2. value: T
  3. }
  4. let name: Container<string> = {
  5. value: 'funlee'
  6. }

字符串字面量类型

字符串字面量(string literal types)允许我们使用type定一个别名,类型为别名的变量只能取某几个值中的一个

  1. type Easing = 'ease-in' | 'ease-out' | 'ease-in-out'
  2. let x1: Easing = 'uneasy' // error
  3. let x2: Easing = 'ease-in' // ok

除去字符串字面量类型,字面量类型还包括真值字面量类型(boolean literal types),数字字面量类型(numeric literal types),枚举字面量类型(enum literal types) ,大整数字面量类型(bigInt literal types)
例子:

  1. const a: 2333 = 2333
  2. const b : 'xue xi qiang guo' = 'xue xi qiang guo'
  3. const c : false = false
  4. const foo: 'foo' = 'foobar' // error

注意:字面量类型的要和实际的值的字面量一一对应。如果值不是同一个实例,则会报错

类型推论

类型推论即在变量声明赋值时没有明确指定类型,Typescript会推论出一个类型,但是如果定义的时候没有赋值,不管之后有没有赋值,都会被推断成 any 类型而完全不被类型检查。

  1. let myFavoriteNumber = 'seven';
  2. myFavoriteNumber = 7; // error
  3. // 等价于
  4. let myFavoriteNumber: string = 'seven';
  5. myFavoriteNumber = 7; // error
  6. let myFavoriteNumber;
  7. myFavoriteNumber = 'seven'; // ok
  8. myFavoriteNumber = 7; // ok

类型断言

类型断言即判定变量的类型,类型断言好比其它语言里的类型转换,但是不进行特殊的数据检查和解构。 它没有运行时的影响,只是在编译阶段起作用.类型断言的两种方法是等价的
第一种:尖括号”语法

  1. let someValue: any = "this is a string";
  2. let strLength: number = (<string>someValue).length;

第二种:as语法

  1. let someValue: any = "this is a string";
  2. let strLength: number = (someValue as string).length;

如果要在TypeScript里使用JSX时,只有 as语法断言是被允许的。

类型保护

类型保护用来明确一个联合类型变量的具体类型,一般形式为param is SomeType。我们也可以使用typeof instanceof用于类型保护。typeof 用于基本数据类型,instanceof 用于引用类型,对于类,我们则可以使用 instanceof.在使用了 typeof 和 instanceof 后,TypeScript 就会自动限制类型为某一具体类型。
例子如下:

  1. // typeof
  2. function show(param: number | string) {
  3. if (typeof param === 'number') {
  4. console.log(`${param} is number`)
  5. } else {
  6. console.log(`${param} is string`)
  7. }
  8. }
  9. // instanceof
  10. class Person {
  11. name: string = 'funlee';
  12. age: number = 18;
  13. }
  14. class Man {
  15. age: number = 12;
  16. love: string = 'TS';
  17. }
  18. let me: Person | Man;
  19. me = Math.random() < 0.5 ? new Person() : new Man();
  20. if(me instanceof Person) {
  21. console.log(me.name);
  22. }
  23. if(me instanceof Man) {
  24. console.log(me.love);
  25. }

类型兼容性

TypeScript里的类型兼容性是基于结构子类型的。 结构类型是一种只使用其成员来描述类型的方式。 它正好与名义(nominal)类型形成对比.
TypeScript结构化类型系统的基本规则是,如果x要兼容y,那么y至少具有与x相同的属性。比如:

  1. interface Named {
  2. name: string;
  3. }
  4. let x: Named;
  5. // y's inferred type is { name: string; location: string; }
  6. let y = { name: 'Alice', location: 'Seattle' };
  7. x = y;
  8. function greet(n: Named) {
  9. console.log('Hello, ' + n.name);
  10. }
  11. greet(y); // OK

这里要检查y是否能赋值给x,编译器检查x中的每个属性,看是否能在y中也找到对应属性。 在这个例子中,y必须包含名字是name的string类型成员。y满足条件,因此赋值正确.

函数
形参

  1. let x = (a: number) => 0;
  2. let y = (b: number, s: string) => 0;
  3. y = x; // OK
  4. x = y; // Error

要查看x是否能赋值给y,首先看它们的参数列表。 x的每个参数必须能在y里找到对应类型的参数。 注意的是参数的名字相同与否无所谓,只看它们的类型。 这里,x的每个参数在y中都能找到对应的参数,所以允许赋值。x可以赋值给y是因为允许忽略参数。
第二个赋值错误,因为y有个必需的第二个参数,但是x并没有,所以不允许赋值。

返回值

  1. let x = () => ({name: 'Alice'});
  2. let y = () => ({name: 'Alice', location: 'Seattle'});
  3. x = y; // OK x的属性都可以在y中找到对应属性
  4. y = x; // Error because x() lacks a location proper,y的属性在x中找不到全部对应属性

枚举
枚举类型与数字类型兼容,并且数字类型与枚举类型兼容。不同枚举类型之间是不兼容的。

  1. enum Status { Ready, Waiting };
  2. enum Color { Red, Blue, Green };
  3. let status = Status.Ready;
  4. status = Color.Green; //error


比较两个类类型的对象时,只有实例的成员会被比较。 静态成员和构造函数不在比较的范围内。

  1. class Animal {
  2. feet: number;
  3. constructor(name: string, numFeet: number) { }
  4. }
  5. class Size {
  6. feet: number;
  7. constructor(numFeet: number) { }
  8. }
  9. let a: Animal;
  10. let s: Size;
  11. a = s; //OK
  12. s = a; //OK

泛型
因为TypeScript是结构性的类型系统,类型参数只影响使用其做为类型一部分的结果类型。比如

  1. interface Empty<T> {
  2. }
  3. let x: Empty<number>;
  4. let y: Empty<string>;
  5. x = y; // OK, because y matches structure of x

上面代码里,x和y是兼容的,因为它们的结构使用类型参数时并没有什么不同。 把这个例子改变一下,增加一个成员,就能看出是如何工作的了

  1. interface NotEmpty<T> {
  2. data: T;
  3. }
  4. let x: NotEmpty<number>;
  5. let y: NotEmpty<string>;
  6. x = y; // Error, because x and y are not compatible

这是因为在没指定泛型类型的泛型参数时,会把所有泛型参数当成any比较, 然后用结果类型进行比较,就像上面第一个例子。