TypeScript 学习之类型推导

在一些情况下，代码上没有显性明确类型，typescript 可以隐形推断出类型。

基础

let x = 3;

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

最佳通用类型

let x = [0, 1, null]; // 类型为 number[]
let y = [0, 1, null, '1']; // 类型为 (number|string)[]

typescript 会考虑所有元素的类型，并设置为候选类型，然后计算出兼容所有候选类型的类型。

class Animal {}

class Rhino extends Animal {}
class Elephant extends Animal {}
class Snake extends Animal {}

let zoo = [new Rhino(), new Elephant(), new Snake()]; // 类型 (Rhino|Elephant|Snake)[]

想让zoo推断为Animal[]类型，但是数组中没有Animal类型的元素，所以不能推断出zoo为Animal[]的结果。
当候选类型不能使用时，需要明确的指出类型。

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

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

上下文类型

上下文归类使用情况：函数的参数，赋值表达式的右边，类型断言，对象成员、数组字面量和返回值语句。

window.onmousedown = function (mouseEvent) {
  console.log(mouseEvent.button);
};

typescript 类型检查器使用 window.onmousedown函数的类型来推断右边函数表达式的类型。所以能推断出mouseEvent参数的类型。

如果上下文类型表达式包含了明确的类型信息，上下文的类型会被忽略。

上下文类型也会作为最佳通用类型的候选类型。

class Animal {}

class Rhino extends Animal {}
class Elephant extends Animal {}
class Snake extends Animal {}

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

这里通用类型有 4 个候选者:Animal,Rhino, Elephant和Snake。Animal 为最佳通用类型。