类型推论

如果没有明确指定类型，那么TypeScript会依照类型推论的规则推断出一个类型。

什么是类型推论

以下代码虽然没有指定类型，但是会在编译的时候报错：

let myStr = 'seven'
myStr = 7 // 报错

// 实际，上面的代码等价于
let myStr: string = 'seven'
myStr = 7 // 报错

TypeScript会在没有明确指定类型的时候推测出一个类型，这就是类型推论。

如果定义的时候没有赋值，不管之后有没有赋值，都会被推断成 any 类型而完全不被类型检查：

let myStr
myStr = 'seven'
myStr = 7