介绍

类型是在哪里如何被推断的。

基础

在初始化变量、成员、设置默认参数值、决定函数返回值是，类型推论会帮助提供类型。大多数情况下，类型推论是直截了当地。

  1. let x=3;
  2. x被推断为数字

最佳通用类型

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

  1. let x = [0, 1, null];

这里有两种选择： number和null。 计算通用类型算法会考虑所有的候选类型，并给出一个兼容所有候选类型的类型

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

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

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

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

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

上下文类型

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

  1. window.onmousedown = function(mouseEvent) {
  2.     console.log(mouseEvent.button);  //<- Error
  3. };

TypeScript类型检查器使用Window.onmousedown函数的类型来推断右边函数表达式的类型。 因此，就能推断出 mouseEvent参数的类型了。 如果函数表达式不是在上下文类型的位置， mouseEvent参数的类型需要指定为any，这样也不会报错了。

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

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

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