进阶 - 类型推断 - 《TypeScript》

TypeScript 相对于 JavaScript 最重要的一点区别就是多了类型系统，所以，理解 TypeScript 的类型系统非常重要，而类型推断，是理解的关键，即类型是在哪里又是如何被推断的。

类型推断是指，不需要指定变量的类型，TypeScript 可以根据某些规则自动地为其推断出一个类型。

基础类型推断

TypeScript 里，在有些没有明确指出类型的地方，类型推论会帮助提供类型，也就是说，TypeScript 会自动为没有类型的变量等推断出类型。

let x = 3; // 没有指定类型，但是此时 x 的类型就是 number，不能被修改

这种推断发生在初始化变量和成员，设置默认参数值和决定函数返回值时。

大多数情况下，类型推论是直截了当地。

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

let x = [0, 1, null]; // number | null

计算通用类型算法会考虑所有的候选类型，并给出一个兼容所有候选类型的类型，一般有多个类型时，都会被推断为联合类型。

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

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);  // 报错
};

TypeScript 类型检查器使用 Window.onmousedown 函数的类型来推断右边函数表达式的类型。因此，就能推断出 mouseEvent 参数的类型了。

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

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

上下文归类会在很多情况下使用到。通常包含函数的参数，赋值表达式的右边，类型断言，对象成员和数组字面量和返回值语句。

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

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

最佳通用类型有4个候选者：Animal，Rhino，Elephant 和 Snake。当然， Animal 会被做为最佳通用类型。