Skip to content

Latest commit

 

History

History
92 lines (61 loc) · 3.82 KB

type-inference.md

File metadata and controls

92 lines (61 loc) · 3.82 KB

类型推论

介绍

这节介绍 TypeScript 里的类型推论。即,类型是在哪里如何被推断的。

基础

TypeScript 里,在有些没有明确指出类型的地方,类型推论会帮助提供类型。如下面的例子

let x = 3;

变量x的类型被推断为数字。 这种推断发生在初始化变量和成员,设置默认参数值和决定函数返回值时。

大多数情况下,类型推论是直截了当地。 后面的小节,我们会浏览类型推论时的细微差别。

最佳通用类型

当需要从几个表达式中推断类型时候,会使用这些表达式的类型来推断出一个最合适的通用类型。例如,

let x = [0, 1, null];

为了推断x的类型,我们必须考虑所有元素的类型。 这里有两种选择:numbernull。 计算通用类型算法会考虑所有的候选类型,并给出一个兼容所有候选类型的类型。

由于最终的通用类型取自候选类型,有些时候候选类型共享相同的通用类型,但是却没有一个类型能做为所有候选类型的类型。例如:

let zoo = [new Rhino(), new Elephant(), new Snake()];

这里,我们想让 zoo 被推断为Animal[]类型,但是这个数组里没有对象是Animal类型的,因此不能推断出这个结果。 为了更正,当候选类型不能使用的时候我们需要明确的指出类型:

let zoo: Animal[] = [new Rhino(), new Elephant(), new Snake()];

如果没有找到最佳通用类型的话,类型推断的结果为联合数组类型,(Rhino | Elephant | Snake)[]

上下文归类

TypeScript 类型推论也可能按照相反的方向进行。 这被叫做“上下文归类”。按上下文归类会发生在表达式的类型与所处的位置相关时。比如:

window.onmousedown = function (mouseEvent) {
  console.log(mouseEvent.button); //<- OK
  console.log(mouseEvent.kangaroo); //<- Error!
};

在这个例子里,TypeScript 类型检查器会使用Window.onmousedown函数的类型来推断右边函数表达式的类型。 所以它能够推断出mouseEvent参数的类型中包含了button属性而不包含kangaroo属性。

TypeScript 还能够很好地推断出其它上下文中的类型。

window.onscroll = function (uiEvent) {
  console.log(uiEvent.button); //<- Error!
};

上面的函数被赋值给window.onscrollTypeScript能够知道uiEventUIEvent,而不是MouseEventUIEvent对象不包含button属性,因此 TypeScript 会报错。

如果这个函数不是在上下文归类的位置上,那么这个函数的参数类型将隐式的成为any类型,而且也不会报错(除非你开启了--noImplicitAny选项):

const handler = function (uiEvent) {
  console.log(uiEvent.button); //<- OK
};

我们也可以明确地为函数参数类型赋值来覆写上下文类型:

window.onscroll = function (uiEvent: any) {
  console.log(uiEvent.button); //<- Now, no error is given
};

但这段代码会打印undefined,因为uiEvent并不包含button属性。

上下文归类会在很多情况下使用到。 通常包含函数的参数,赋值表达式的右边,类型断言,对象成员和数组字面量和返回值语句。 上下文类型也会做为最佳通用类型的候选类型。比如:

function createZoo(): Animal[] {
  return [new Rhino(), new Elephant(), new Snake()];
}

这个例子里,最佳通用类型有 4 个候选者:AnimalRhinoElephantSnake。 当然,Animal会被做为最佳通用类型。