介绍
typescript类型体操是近两年非常流行的编程实践，所谓类型体操，是指通过类型系统来实现一些复杂的逻辑操作。
TypeScript中的逻辑操作
分支操作
typescript使用extend和infer来实现分支操作。通过条件类型，可以根据类型的不同进行不同的处理。
循环遍历操作
typescript使用K in T来实现循环遍历操作。通过映射类型，可以对类型进行遍历和转换。
获取类型的属性
typescript使用keyof来获取类型的属性。通过keyof操作符，可以获取一个类型的所有属性名，并将其转换为联合类型。
获取类型的值
typescript使用T[keyof T]来获取类型的值。通过索引访问类型，可以获取一个类型的所有属性值，并将其转换为联合类型。