// 类型推论和类型别名// 1.1. ts 天然支持的类型推论，// 例如声明一个变量，鼠标划到这个变量上面，发现它已经推断出来是string类型，然后在赋值成其他类型报错// let str = '小满zs'// str = 123 // 报错// let arr = [1,2,3]// arr = ['1', '2', '3'] // 报错// 1.2. 没有赋值，类型推论默认为any// let str// str = 1234// str = '1234'// str = null// 2. 类型别名// type s = string | number // 可以定义多个类型// type s = (name:string) => void // 定义一个函数类型// type s = {name: string } // 定义一个对象类型// type s = number[] // 定义一个数组类型// let str:s = '小满zs'// interface也是定义类型和type很像// type和interface的区别// 1. interface 可以使用继承去继承B类型，type不可以继承，只能使用&交叉类型合并到一块// 2. interface 无法在外面写联合类型,必须定义一个属性去写联合类型 type可以非常简单的写联合类型 |// 3. interface 遇到重名的会自动合并 type不会合并// type s = number[] & B// type s = number[] | string// // interface A extends B { }// interface A {// name: string | number// }// interface B {// age: number// }// extends 包含的意思// 左边的值 会作为右边类型的子类型// 1 作为number的子类型(可以理解成number的子类型包含1吗？) 是正确的 ，返回1// 2. 类型关系// 2.1. any unknown// 2.2. Object// 2.3. Number String Boolean// 2.4. number string boolean// 2.5. never(在最底层包含不了上面的类型)// type num = 1 extends number ? 1 : 0 // 1// type num = 1 extends any ? 1 : 0 // 1// type num = 1 extends unknown ? 1 : 0 // 1// type num = 1 extends Object ? 1 : 0 // 1// type num = 1 extends Number ? 1 : 0 // 1type num=1extendsnever?1:0// 0 never是最低层，不能包含number类型，返回个0
