TS类型推论

这节介绍TypeScript里的类型推论。即，类型是在哪里如何被推断的。

基础

TypeScript里，在有些没有明确指出类型的地方，类型推论会帮助提供类型。如下面的例子

let x = 3;

变量x的类型被推断为数字。

从赋值中推断出来，类型从右向左流动

function add (a: number, b: number) {
  return a + b
}

let c = add(1,2)

通过return关键字推断出返回值类型，这叫底部流出

type Sum = (a: number, b: number) => number;

let sum: Sum = (a, b) => {
  return a + b
}

sum的类型是由Sum推断出来的，从左向右流动

let person = {
  title: 'xxxx',
  age: 12
}
// 可以推断出属性
let { title, age } = person