Typescript笔记:类型推论

类型推论

我们来学习下TS的类型推论

什么是类型推论

在TS里，在没有明确指出类型的地方，类型推论会帮助提供类型，这是通过TS类型推论隐式的推论出变量的类型。

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

最佳通用类型

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

let x = [0,1,null];

为了推断类型，我们必须考虑当中的元素的类型。这里有两种选择：number和null。计算通用类型算法会考虑所有的类型，并给出一个兼容所有类型的类型。

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

let zoo = [new  Rhio(),new Elephant(),new Snake()]

这里，我们想让zoo被推断为Animal[]类型，但是这个数组里面没有对象是Animal类型的，因此不能推断出这个结果。为此，我们需要手动明确的指出类型

let zoo:Animals[] = [new  Rhio(),new Elephant(),new Snake()];

在没有找到明确的类型的时候，会使用他们的联合类型代替通用类型

上下文类型

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

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

这个例子会得到一个类型错误，TypeScript类型检查器使用window.onmousedown函数的类型来推断左右表达式的类型，因此能直到参数mouseEvent参数的类型。故使用mouseEvent.button的时候会报错，解决这种错误的方法，在明确的参数类型指定为any，就不会发生报错了。

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

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

在这个例子中，通用候选类型分别是 ：Animal、Rhio、Elephant、Snake。最佳通用类型是Animal。