共计 5316 个字符，预计需要花费 14 分钟才能阅读完成。
前言
不可否认，现在 TypeScript 已成为一个前端工程师的所须要具备的基本技能。谨严的类型检测，一方面是进步了程序的 可维护性 和健壮性 ，另一方面也在耳濡目染地进步咱们的编程思维，即 逻辑性。
那么，明天我将会通过联合 理论开发场景 和 Vue 3.0 源码 中的局部类型定义来简略聊聊 TypeScript 中的高级类型。
interface
interface 被用于对所有具备 构造 的数据进行类型检测。例如，
在理论开发当中，咱们会定义一些对象或数组来形容一些视图构造。
定义对象
常见的有对表格的列的定义：
const columns = [{key: "username", title: "用户名"},
{key: "age", title: "年龄"},
{key: "gender", title: "性别"}
]而这个时候，咱们就能够通过定义一个名为 column 的接口：
interface column {
key: string,
title: string
}
// 应用
const columns: column[] = [{key: "username", title: "用户名"},
{key: "age", title: "年龄"},
{key: "gender", title: "性别"}
]定义函数
咱们平时开发中应用的 axios，它的调用形式会有很多种，例如 axios.request()、axios.get()、axios.put()。它实质上是定义了这么一个接口来束缚 axios 具备这些办法，它看起来会是这样：
export interface Axios {request(config: AxiosRequestConfig): AxiosPromise
get(url: string, config?: AxiosRequestConfig): AxiosPromise
delete(url: string, config?: AxiosRequestConfig): AxiosPromise
head(url: string, config?: AxiosRequestConfig): AxiosPromise
options(url: string, config?: AxiosRequestConfig): AxiosPromise
post(url: string, data?: any, config?: AxiosRequestConfig): AxiosPromise
put(url: string, data?: any, config?: AxiosRequestConfig): AxiosPromise
patch(url: string, data?: any, config?: AxiosRequestConfig): AxiosPromise
}继承
可复用性 是咱们平时在写程序时须要常常思考的中央，例如组件的封装、工具函数的提取、函数设计模式的应用等等。而对于接口也同样如此，它能够通过继承来复用一些曾经定义好的 interface 或 class。
这里咱们以 Vue 3.0 为例，它在 compiler 阶段，将 AST Element 节点 Node 分为了多种 Node，例如 ForNode、IFNode、IfBranchNode 等等。而这些非凡的 Node 都是继承了 Node：
Node 的 inteface 接口定义：
export interface Node {
type: NodeTypes
loc: SourceLocation
}IFNode 的 interface 接口定义：
export interface IfNode extends Node {
type: NodeTypes.IF
branches: IfBranchNode[]
codegenNode?: IfConditionalExpression
}能够看到 Node 的接口定义是 十分污浊 的，它形容了 Node 所须要具备最根本的属性：type 节点类型、loc 节点在 template 中的起始地位信息。而 IFNode 则是在 Node 的根底上扩大了 branches 和 codegenNode 属性，以及重写了 Node 的 type 属性为 NodeTypes.IF。
这里简略介绍一下 IFNode 的两个属性：
branches示意它对应的else或else if的节点，它可能是一个或多个，所以它是一个数组。codegenNode则是 Vue 3.0 的AST Element的一大特点，它形容了该节点的一些属性，例如isBlock、patchFlag、dynamicProps等等，这些会和runtime的时候靶向更新和靶向更新密切相关。
近段时间，我也在写一篇对于 Vue 3.0 如何实现
runtime+compile优雅地实现靶向更新和动态晋升的文章，应该会在下周末完工。
小结
对于 interface 的介绍和应用，咱们这里点到即止。当然，它还有很多高级的应用例如联合泛型、定义函数类型等等。有趣味的同学能够自行去理解这方面的实战。
穿插类型和联结类型
穿插类型
穿插类型 故名思意 ，有着穿插之效。咱们能够通过穿插类型来实现 多个类型的合并。例如，在 Vue3 中，compile 阶段除了会进行 baseParse 之外，还会进行 transform，这样最初的 AST 才会进行 generate 生成可执行的代码。所以，compile 阶段它就会对应多个 options，即它也是一个穿插类型：
export type CompilerOptions = ParserOptions & TransformOptions & CodegenOptions而这个 CompilerOptions 类型别名会用于 baseCompiler 阶段：
export function baseCompile(
template: string | RootNode,
options: CompilerOptions = {}): CodegenResult {}而为什么是多个
options的穿插，是因为baseCompiler只是最根底的compiler，下面还有更高级的compiler-dom、compiler-ssr等等。
联结类型
同样地，联结类型其有着 合的成果 。即有时候，你心愿一个变量的类型是 String
或者是 number 的时候，你就能够应用联结类型来束缚这个变量。例如：
let numberOrString: number | string
numberOrString = 1
numberOrString = '1'并且，在理论的开发中应用联结类型，咱们通常会遇到这样的提醒，例如：
interface student {
name: string
age: number
}
interface teacher {
name: string
age: number
class: string
}
let person: student | tearcher = {} as any
person.class = "信息 161"
// property 'person' does not exit on type `student`这个时候，咱们能够利用 类型断言，通知 TypeScript 咱们晓得 person 是什么：
(person as teacher).class = "信息 161"小结
对于穿插类型和联结类型，应该是属于咱们平时开发中会应用频繁的局部。并且，从它们的概念上，不难理解，它们实质上就是数学中的 并集 和交加，只不过在根本类型上有着不同的体现而已。
类型爱护与辨别类型
类型爱护
在讲联结类型的时候，咱们说了它实质上是 交加，这也导致了咱们不能间接应用交加之外的属性或办法。所以，咱们得通过在不同状况下应用类型断言来告知 TypeScript 它是什么，从而应用交加之外的属性。
然而，频繁地应用类型断言无疑升高了代码的可读性。而针对这一问题，TypeScript 提供了类型爱护的机制来缩小类型断言，它是一个 主谓宾句，例如依然是下面的例子，咱们能够实现这样的类型爱护：
function isTeacher(person: Tearcher | Student): person is Teacher {return (<Tearcher>person).class !== undefined
}而后通过 isTeacher 这个函数来判断以后类型，再进行相应地属性拜访：
if (isTeacher(person)) {
// 这里拜访 teacher 独有的属性
person.class = "信息 162"
} else {person.name = "wjc"}typeof 与 instanceof
有了类型爱护，这个时候咱们就会遇到这样的问题：如果我的 联结类型中存在多个类型，那么岂不是得定义多个相似 isTeacher 这样的借助类型爱护的函数？侥幸的是，在 TypeScript 应用 typeof 或 instanceof 能够主动实现类型爱护和辨别。
typeof
在 TypeScript 中对 根底类型 应用 typeof 时，会主动进行类型爱护，例如：
function isNumberOrString(param: string | number) {if (typeof param === 'string') {return param.split('')
} else {return param++}
}instanceof
不同于 typeof 只能对根底类型进行类型爱护，instanceof 能够实现对 所有类型 的类型爱护。它是通过构造函数来实现类型爱护。
interface Person {
name: string
age: string
}
class Teacher implements Person {
name: string
age: string
constructor(name: string, age: string) {
this.name = name
this.age = age
}
teach() {console.log("i am a teacher.")
}
}
class Student implements Person {
name: string
age: string
constructor(name: string, age: string) {
this.name = name
this.age = age
}
study() {console.log("i am a student.")
}
}
const person: Student | Teacher = null as any
if (person instanceof Teacher) {person.teach()
} else {person.study()
}小结
对于 typeof 或 instanceof 其实在 JavaScript 中也是陈词滥调的知识点，因为传统的类型检测咱们会更偏差应用 Object.String.prototype.toString() 来实现。然而，反而在 TypeScript 中，它们两者反而混的蛟龙得水。
类型别名
类型别名，我想大家脑海中第一工夫想到的就是 Webpack 中的 alias 为门路配置别名。然而，TypeScript 中的类型别名与它只是形同，然而意不同。艰深点讲，就是通过它能够给类型起一个名称：
type age = number
const getAge = () => age
// 等同于
interface Age {getAge():number
}字面量类型
字面量类型是指咱们能够通过应用类型别名和联结类型来实现 枚举类型，例如：
type method = get | GET | post | POST | PUT | put | DELETE | delete索引类型与映射类型
对于索引类型和映射类型，这里咱们通过 loadash 中罕用的一个函数 pluck 来解说：
在 JavaScript 中实现：
function pluck(object, names) {return names.map(name => object[name])
}在 TypeScript 中实现：
function puck<T, K extends keyof T>(object: T, names: K[]): T[K][] {return names.map(name => object[name])
}这里咱们为 puck 函数定义了两个泛型变量 T 和 K，其中 K 是继承于 T 中所有属性名的类型，所以形参中 names 被束缚为 T 中属性的数组，这个过程被称为 类型索引 。而对于 puck 函数的返回值 T[K][]，则代表返回的值是一个数组，并且数组值被束缚为 T 中属性值为 K 的值，这个过程被称为 索引拜访。
了解这两种概念可能会有点艰涩，然而对于每一者都离开去了解过程会比拟有逻辑性。
写在最初
尽管，TypeScript 已成为一项前端工程师的必备技能。然而，置信很多小伙伴还是用的 Javascript 比拟多。所以，可能会存在困扰，我该如何进步 TypeScript 编程能力？其实，这个问题很简略，开源的时代，明天咱们很多问题都能够通过浏览一些开源的我的项目源码来解决。这里，我举荐大家能够尝试着去浏览 Vue3.0 的源码，置信通过浏览，你的 TypeScript 编程能力会有质的飞跃。
写作不易，如果你感觉有播种的话，能够帅气三连击！！！
参考资料：
- 《TypeScirpt 实战指南》
- TypeScript 官网文档
- vuejs/vue-next
)
往期文章回顾
- 从零到一，带你彻底搞懂 vite 中的 HMR 原理（源码剖析）