TypeScript 类型兼容性

前面小节中,介绍了 TypeScript 类型检查机制中的 类型推断类型保护,本节来介绍 类型兼容性

我们学习类型兼容性,就是在学习 TypeScript 在一个类型能否赋值给其他类型的规则。本节将会详细介绍 TypeScript 在函数、枚举、类和泛型中的类型兼容性规则。

1. 慕课解释

类型兼容性用于确定一个类型是否能赋值给其他类型。

TypeScript 的类型检查机制都是为了让开发者在编译阶段就可以直观的发现代码书写问题,养成良好的代码规范从而避免很多低级错误。

let address: string = 'Baker Street 221B'
let year: number = 2010
address = year // Error

代码解释: 第 3 行,类型 ‘number’ 不能赋值给类型 ‘string’。

2. 结构化

TypeScript 类型兼容性是基于结构类型的;结构类型只使用其成员来描述类型。

TypeScript 结构化类型系统的基本规则是,如果 x 要兼容 y,那么 y 至少具有与 x 相同的属性。比如:

interface User {
  name: string,
  year: number
}

let protagonist = {
  name: 'Sherlock·Holmes',
  year: 1854,
  address: 'Baker Street 221B'
}

let user: User = protagonist // OK

代码解释: 接口 User 中的每一个属性在 protagonist 对象中都能找到对应的属性,且类型匹配。另外,可以看到 protagonist 具有一个额外的属性 address,但是赋值同样会成功。

3. 比较两个函数

相对来讲,在比较原始类型和对象类型的时候是比较容易理解的,难的是如何判断两个函数是否兼容。判断两个函数是否兼容,首先要看参数是否兼容,第二个还要看返回值是否兼容。

3.1 函数参数

先看一段代码示例:

let fn1 = (a: number, b: string) => {}
let fn2 = (c: number, d: string, e: boolean) => {}

fn2 = fn1 // OK
fn1 = fn2 // Error

代码解释:

第 4 行,将 fn1 赋值给 fn2 成立是因为:

  1. fn1 的每个参数均能在 fn2 中找到对应类型的参数
  2. 参数顺序保持一致,参数类型对应
  3. 参数名称不需要相同

第 5 行,将 fn2 赋值给 fn1 不成立,是因为 fn2 中的必须参数必须在 fn1 中找到对应的参数,显然第三个布尔类型的参数在 fn1 中未找到。

参数类型对应即可,不需要完全相同:

let fn1 = (a: number | string, b: string) => {}
let fn2 = (c: number, d: string, e: boolean) => {}

fn2 = fn1 // OK

代码解释: fn1 的第一个参数是 number 和 string 的联合类型,可以对应 fn2 的第一个参数类型 number,所以第 4 行赋值正常。

3.2 函数返回值

创建两个仅是返回值类型不同的函数:

let x = () => ({name: 'Alice'})
let y = () => ({name: 'Alice', location: 'Seattle'})

x = y // OK
y = x // Error

代码解释: 最后一行,函数 x() 缺少 location 属性,所以报错。

类型系统强制源函数的返回值类型必须是目标函数返回值类型的子类型。由此可以得出如果目标函数的返回值类型是 void,那么源函数返回值可以是任意类型:

let x : () => void
let y = () => 'imooc'

x = y // OK

4. 枚举的类型兼容性

枚举与数字类型相互兼容:

enum Status {
  Pending,
  Resolved,
  Rejected
}

let current = Status.Pending
let num = 0

current = num
num = current

不同枚举类型之间是不兼容的:

enum Status { Pending, Resolved, Rejected }
enum Color { Red, Blue, Green }

let current = Status.Pending
current = Color.Red // Error

5. 类的类型兼容性

类与对象字面量和接口的兼容性非常类似,但是类分实例部分和静态部分。

比较两个类类型数据时,只有实例成员会被比较,静态成员和构造函数不会比较。

class Animal {
  feet!: number
  constructor(name: string, numFeet: number) { }
}

class Size {
  feet!: number
  constructor(numFeet: number) { }
}

let a: Animal
let s: Size

a = s!  // OK
s = a  // OK

代码解释: 类 Animal 和类 Size 有相同的实例成员 feat 属性,且类型相同,构造函数参数虽然不同,但构造函数不参与两个类类型比较,所以最后两行可以相互赋值。

类的私有成员和受保护成员会影响兼容性。 允许子类赋值给父类,但是不能赋值给其它有同样类型的类。

class Animal {
  protected feet!: number
  constructor(name: string, numFeet: number) { }
}

class Dog extends Animal {}

let a: Animal
let d: Dog

a = d! // OK
d = a // OK

class Size {
  feet!: number
  constructor(numFeet: number) { }
}

let s: Size

a = s! // Error

代码解释:

第 13 行,子类可以赋值给父类。

第 14 行,父类之所以能够给赋值给子类,是因为子类中没有成员。

最后一行,因为类 Animal 中的成员 feet 是受保护的,所以不能赋值成功。

6. 泛型的类型兼容性

泛型的类型兼容性根据其是否被成员使用而不同。先看一段代码示例:

interface Empty<T> {}

let x: Empty<number>
let y: Empty<string>

x = y! // OK

上面代码里,x 和 y 是兼容的,因为它们的结构使用类型参数时并没有什么不同。但是当泛型被成员使用时:

interface NotEmpty<T> {
  data: T
}
let x: NotEmpty<number>
let y: NotEmpty<string>

x = y! // Error

代码解释: 因为第 4 行,泛型参数是 number 类型,第 5 行,泛型参数是 string 类型,所以最后一行赋值失败。

如果没有指定泛型类型的泛型参数,会把所有泛型参数当成 any 类型比较:

let identity = function<T>(x: T): void {
  // ...
}

let reverse = function<U>(y: U): void {
  // ...
}

identity = reverse // OK

7. 小结

要充分利用 TypeScript 的类型检查机制规范代码,减少一些不必要的错误,这也是我们使用 TypeScript 的初衷。