前言
如今 TypeScript 已成为一个前端工程师的所需要具备的基本技能。严谨的类型检测，一方面是提高了程序的可维护性和健壮性，另一方面也在潜移默化地提高我们的编程思维，即逻辑性。可是碰上一些高级类型总是一头雾水，还需要去看文档，所以总结了一些工作中经常用到的一些高级类型。所以阅读之前你需要掌握一点儿 ts 基础。
1、枚举类型
使用关键字enum可定义一个枚举类型。
enum Direction {
Up = 1,
Down,
Left,
Right
}
Direction.Up // 1
Direction.Down // 2
Direction.Left // 3
Direction.Right // 4
需要注意，与
interface等类型约束关键字不同，枚举类型是真实运行的代码，因此枚举类型是真实存在的对象，而并非仅仅只是简单的类型约束。
如果不赋值，则从 0 开始递增。
enum Direction {
Up,
Down,
Left,
Right
}
Direction.Up // 0
Direction.Down // 1
Direction.Left // 2
Direction.Right // 3
也可以赋值为字符串。
enum Direction {
Up = 'up',
Down = 'down',
Left = 'left',
Right = 'right'
}
Direction.Up // up
Direction.Down // down
Direction.Left // left
Direction.Right // right
可以反向映射访问。
enum Direction {
Up = 'up',
Down = 'down',
Left = 'left',
Right = 'right'
}
Direction.up // Up
Direction.down // Down
Direction.left // Lfet
Direction.right // Right
前端的一个特殊性在于，我们通常会将枚举类型的值描述展示在页面上，因此此时如果使用枚举来表达会存在一些问题。
// 实践中更多使用这样方式表达枚举的含义
const sources = {
1: '微信',
2: 'QQ',
3: '今日头条',
4: '',
}
2、& 交叉类型
当我们在封装Drag组件时，需要兼容移动端的touch与 pc 端的mouse事件。可问题在于touch的事件对象与mouse的事件对象是不一样的。那么我们在兼容了这两种事件的回调中，如何去描述该回调的事件对象呢？
通常使用 & 符号来解决这样的常见，将两种类型合并为一种类型。这样就能够在智能提示中同时访问到两个事件对象的所有属性了。
type TouchEvent = React.TouchEvent & React.MouseEvent;
他有点类似于：
type Key = 'name' | 'age';
但 keyof 具备更强的灵活性，它会动态的去识别对象中的所有key值。
结合泛型，用一个复杂的例子来体验一下：
我们来封装这样一个方法：对于一个对象，当我们指定对应的key值数组时，希望能够得到所有key值对应的value值数组。
需要思考几个问题。目标对象的类型，我们不确定，因此，只能使用一个泛型变量做一个简单约束。key值的类型呢？我们可以使用 keyof 从泛型对象中获取。于是又定义另外一个泛型变量 K 来接收获取的结果。
函数定义如下：
function values<T, K extends keyof T>(o: T, names: K[]): T[K][] {
return names.map(n => o[n]);
}
结语
我们在实践场景中，还有更多更复杂的组合，这些经验很难通过技术文章获取到，需要在实践中慢慢体会。除此之外，typescript 官方文档中，还有一些重要的东西需要去深入学习。「类型推导」「类型兼容性」「in 操作符」等。这些概念，官网已经介绍得足够好，相信大家看一遍也能 get 到。