什么是类型推论
let str = "小满zs"
1.我声明了一个变量但是没有定义类型
TypeScript 会在没有明确的指定类型的时候推测出一个类型，这就是类型推论
所以TS帮我推断出来这是一个string类型
不能够在赋值给别的类型
2.如果你声明变量没有定义类型也没有赋值这时候TS会推断成any类型可以进行任何操作
类型别名
type 关键字（可以给一个类型定义一个名字）多用于复合类型
定义类型别名
type str = string
let s:str = "我是小满"
console.log(s);
定义函数别名
type str = () => string
let s: str = () => "我是小满"
console.log(s);
定义联合类型别名
type str = string | number
let s: str = 123
let s2: str = '123'
console.log(s,s2);
定义值的别名
type value = boolean | 0 | '213'
let s:value = true
//变量s的值 只能是上面value定义的值
type 和 interface 还是一些区别的 虽然都可以定义类型
1.interface可以继承 type 只能通过 & 交叉类型合并
2.type 可以定义 联合类型 和 可以使用一些操作符 interface不行
3.interface 遇到重名的会合并 type 不行
type高级用法
左边的值会作为右边值的子类型遵循图中上下的包含关系
type a = 1 extends number ? 1 : 0 //1
type a = 1 extends Number ? 1 : 0 //1
type a = 1 extends Object ? 1 : 0 //1
type a = 1 extends any ? 1 : 0 //1
type a = 1 extends unknow ? 1 : 0 //1
type a = 1 extends never ? 1 : 0 //0
