语法：T extends K，这里的 extends 不是类、接口的继承，而是对于类型的判断和约束，意思是判断 T 能否赋值给 K。
判断 T 是否可以赋值给 U，可以的话返回 T，否则返回 never：
type Exclude<T, U> = T extends U ? T : never
类型映射 in
遍历指定接口的 key 或者是遍历联合类型：
interface Person {
name: string
age: number
gender: number
}
// 将 T 的所有属性转换为只读类型
type Readonly<T> = {
readonly [P in keyof T]: T[P]
}
// type ReadonlyPerson = {
// readonly name: string
// readonly age: number
// readonly gender: number
// }
type ReadonlyPerson = Readonly<Person>
function isString(test: any): test is string {
return typeof test === 'string'
}
上述写法与写一个返回值为 boolean 值函数的区别在哪里呢？
function isString(test: any): boolean {
return typeof test === 'string'
}
当使用 is 类型保护：
function isString(test: any): test is string {
return typeof test === 'string'
}
function example(foo: any) {
if (isString(foo)) {
console.log('it is a string' + foo)
console.log(foo.length) // string function
// 如下代码编译时会出错，运行时也会出错，因为 foo 是 string 不存在 toExponential 方法
console.log(foo.toExponential(2))
}
// 编译不会出错，但是运行时出错
console.log(foo.toExponential(2))
}
example('hello world')
当返回值为 boolean：
function isString(test: any): boolean {
return typeof test === 'string'
}
function example(foo: any) {
if (isString(foo)) {
console.log('it is a string' + foo)
console.log(foo.length) // string function
// foo 为 any，编译正常。但是运行时会出错，因为 foo 是 string 不存在 toExponential 方法
console.log(foo.toExponential(2))
}
}
example('hello world')
总结：
在使用类型保护时，TS 会进一步缩小变量的类型。例子中，将类型从 any 缩小至了 string；
类型保护的作用域仅仅在 if 后的块级作用域中生效。
实战：
function isAxiosError(error: any): error is AxiosError {
return error.isAxiosError
}
if (isAxiosError(err)) {
code = `Axios-${err.code}`
}
待推断类型 infer
可以用 infer P 来标记一个泛型，表示这个泛型是一个待推断的类型，并且可以直接使用。
获取函数参数类型：
type ParamType<T> = T extends (param: infer P) => any ? P : T
type FunctionType = (value: number) => boolean
type Param = ParamType<FunctionType> // type Param = number
type OtherParam = ParamType<symbol> // type Param = symbol
判断 T 是否能赋值给 (param: infer P) => any，并且将参数推断为泛型 P，如果可以赋值，则返回参数类型 P，否则返回传入的类型。
获取函数返回类型：
type ReturnValueType<T> = T extends (param: any) => infer U ? U : T
type FunctionType = (value: number) => boolean
type Return = ReturnValueType<FunctionType> // type Return = boolean
type OtherReturn = ReturnValueType<number> // type OtherReturn = number
判断 T 是否能赋值给 (param: any) => infer U，并且将返回值类型推断为泛型 U，如果可以赋值，则返回返回值类型 P，否则返回传入的类型。
原始类型保护 typeof
语法：typeof v === 'typename' 或 typeof v !== 'typename'，用来判断数据的类型是否是某个原始类型（number、string、boolean、symbol）并进行类型保护。
示例：print 函数会根据参数类型打印不同的结果，那如何判断参数是 string 还是 number 呢？
function print(value: number | string) {
// 如果是 string 类型
// console.log(value.split('').join(', '))
// 如果是 number 类型
// console.log(value.toFixed(2))
}
两种常用的判断方式：
根据是否包含 split 属性判断是 string 类型，是否包含 toFixed 方法判断是 number 类型。弊端：不论是判断还是调用都要进行类型转换。
使用类型谓词 is。弊端：每次都要去写一个工具函数，太麻烦。
故这里可以使用 typeof：
function print(value: number | string) {
if (typeof value === 'string') {
console.log(value.split('').join(', '))
} else {
console.log(value.toFixed(2))
}
}
