主要：class类、类型兼容性、交叉类型、泛型和keyof、索引签名类型和索引查询类型、映射类型
1、class类
ts全面支持es6的class关键字，并为其添加了类型注解和其他语法（如：可见性修饰符等）
ts中的class不仅提供了class的语法功能，也作为一种类型存在
~实例初始化：声明成员+类型注解，声明成员+赋值（设置初始值）
~类的构造函数不需要返回值类型，需要为构造函数指定类型注解，否则会被隐式推断为any。成员初始化后才可以通过this访问实例成员
~类中方法的类型注解（参数和返回值）与函数用法相同
1.1、继承
（1）extends（继承父类）（2）implements（实现接口）
~通过extends关键字实现继承，子类具有父类和子类所有的的属性和方法
~通过implements（实现接口）关键字让class实现接口
~F类实现接口E意味着，F类中必须提供E接口中指定的所有方法和属性
1.2、类成员可见性
可以使用ts来控制class方法或属性对于class外的代码是否可见
可见性修饰符包括：1 public（公开的）2 protected（受保护的）3 private（私有的）
public：默认的可见性，来修饰该属性或方法是共有的，可以省略
protected：受保护的，仅对其声明所在的类和子类中（非实例对象）可见（在子类方法内部可以通过this访问父类中受保护的成员，但是对实例不可见）
private：私有的，只在当前类中可见，对实例对象、子类均不可见
1.3、只读修饰符：readonly
readonly表示只读，用来防止在构造函数之外对属性进行赋值。使用readonly只能修饰属性不能修饰方法
在使用readonly修饰的属性，要添加类型注解（提供明确属性）（例如：如果上图不指定x的类型number，则x的类型为1）。接口或者{}表示的对象类型，也可以使用readonly。
1.4、类型兼容性
两种类型系统：1 structural system（结构化类型系统） 2 Nominal Type system（标明类型系统）
ts采用的是结构化类型系统，也叫做duck typing（鸭子类型），类型检查关注的是值所具有的的形状。
==如果两个对象具有相同的形状，则认为它们属于同一类型。
~两个不同名称的类；标注为A，作为B的实例也不会报错，因为ts是结构化类型系统，只检查A、B结构是否相同
如果在标明类型系统（Java、c#等）中，他们是不同的类，类型无法兼容
成员多的可以赋值给少的
2、其他类型兼容性
ts其他类型相互兼容情况：1 接口兼容性；2 函数兼容性
~接口之间的兼容性类似于class。class与interface之间也可以兼容
~函数之间的兼容性比较复杂，因素：1 参数个数；2 参数类型；3 返回值类型
（1）参数个数，参数多的兼容参数少的（参数少的可以赋值给参数多的）
js中省略用不到的函数参数，所以促成了ts中函数类型之间的兼容性
（2）参数类型，相同位置的参数类型要相同（原始类型）或兼容（对象类型）
*此处与前面的接口兼容性冲突
~技巧：将对象拆开，把每一个属性看做一个个参数，则：参数少的可以赋值给参数多的
（3）返回值类型
只需要关注返回值本身
~如果返回值类型是原始类型，两个类型要相同
~如果返回值类型是对象，成员多的可以赋值给成员少的
3、交叉类型
&符：类似于接口继承，用于组合多个类型为一个类型（常用于对象类型）
j交叉类型和接口继承对比：
相同点：类型的组合
不同点：同名属性之间，处理类型冲突方式不同
4、泛型
泛型可以在保证类型安全前提，让函数等 与多种类型一起工作，从而实现复用。
常用于：函数、接口、class
4.1、函数
（1）语法：函数名称后面添加<>（尖括号），尖括号中添加类型变量
（2）类型变量Type，是一种特殊类型的变量，它处理类型而不是值
（3）该类型变量相当于一个类型容器，能够捕获到用户提供的类型（具体类型由用户调用时指定）
（4）因为Type是类型，因此可以将其作为函数参数和返回值的类型，表示参数和返回值具有相同的类型
（5）类型变量Type，可以是任意合法的变量名称
可以让函数以多种不同类型一起工作，实现复用（多种类型）的同时保证了类型安全
调用函数时用户指定具体类型
4.2、简化调用泛型函数
a、在调用泛型函数时，可以省略<类型>来简化泛型函数的调用
b、ts会用类型参数判断的机制，来根据传入的实参自动推断出变量Type的类型，比如上图，传入1自动推断出number类型作为Type的类型
~可以使代码更短、易于阅读
~当编辑器无法推断或推断不准确，就需要显式的传入
4.3、泛型约束
默认情况下，泛型函数的类型变量Type可以代表多个类型，这导致无法访问任何属性。
解释：Type可以代表任意类型，无法保证一定存在length属性，此时就需要为泛型添加类型约束（缩窄类型取值范围）
a、泛型的类型变量可以有多个，并且类型变量之间还可以约束（比如：第二个类型变量受第一个类型变量约束）
解释：
添加了第二个类型变量key，两个类型变量之间使用（,）逗号分隔
keyof关键字接受一个对象类型，生成其键名称（可能是字符串或数字）的联合类型
类型变量key受type约束，可以理解为：key只能是type所有键中的任意一个，或者说只能访问对象中存在的属性
b、泛型接口：接口也可以配合使用
接口名称后面添加<类型变量>，那么这个接口就变成了泛型接口
使用泛型接口时要显式指定具体的类型
类型变量对接口中所有的成员可见，都可以使用类型变量
c、泛型数组
js中的数组是个接口
d、泛型类
class也可以配合泛型来使用
e、泛型工具类型
ts内置了一些常用的工具类型，用来简化ts中的一些常见操作，可直接使用
（1）Partial<Type>用来构造（创建）一个类型，将Type的所有属性设置为可选
（2）Readonly<Type>用来构建一个类型，将Type所有属性都设置为readonly
（3）Pick<Type,Keys>从Type中选择一组属性来构造新类型
ps：只能获取props中存在的属性
（4）Record<Keys,Type>构造一个对象类型，属性键为Keys，属性类型为Type
4.4、索引签名类型
绝大多数情况下，我们可以在使用对象前就确定对象的结构，并为对象添加准确的类型
使用场景：当无法确定对象中有哪些属性（或者说对象中可以出现任意多个属性），此时，就用到索引签名类型。
（js中对象属性类型是string）
key无其他含义，可以是任意合法的变量名称
数组是一类特殊的对象，特殊在数组中的键是数值类型
并且数组中可以出现任意多个元素，所以在对应的泛型接口中，也用到了索引签名类型。
4.5、映射类型
基于旧类型创建新类型（对象类型），减少重复，提升开发效率
g该语法类似于索引签名类型，也使用了[]
key in sskeys表示key可以是sskeys中的任意一个，类似于for in
映射类型只能在类型别名（type）中使用，不能在接口（interface）中使用
（1）keyof
