TypeScript的类型断言和类型推论

1. 类型断言

类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构，它没有运行时的影响，只是在编译阶段起作用，TypeScript会假设程序员已经检查过

类型断言有两种方式：

1.1 尖括号写法

let someValue: any = "this is a string";
// 如果写的是any找长短的时候编译器是找不到length属性的,类型断言后就可以找到
let strLength: number = (someValue).length;

1.2 `as`写法

let someValue: any = "this is a string";
let strLength: number = (someValue as string).length;

两种形式是等价的，但是当在TypeScript里使用JSX语法时，只有as语法断言是被允许的

2. 类型推论

TypeScript里，在有些没有明确指出类型的地方，类型推论会帮助提供类型

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

2.1 最佳通用类型

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

let x = [0, 1, null]; // 这时x被推断为(null | number)[]

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

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类型的,因此不能推断出这个结果
// 为了更正,需要明确指定类型
let zoo: Animal[] = [new Rhino(), new Elephant(), new Snake()];

2.2 上下文类型

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

window.onmousedown = function (mouseEvent) { // 这个例子会报错
  console.log(mouseEvent.button);  // -> Error
};
/*
  TypeScript类型检查器使用window.onmousedown函数的类型来推断右边函数表达式的类型。 因此,就能推断出mouseEvent参数的类型了。如果函数表达式不是在上下文类型的位置,mouseEvent参数的类型需要指定为any,这样就不会报错了
*/
window.onmousedown = function (mouseEvent: any) { // 手动指定了参数类型上下文类型就会被忽略
  console.log(mouseEvent.button);  // <- Now, no error is given
};

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

function createZoo(): Animal[] { // 在这里面Animal就是被作为最佳通用类型
  return [new Rhino(), new Elephant(), new Snake()];
}