TS类型体操前置语法

1.取值

对象取值

1. 类型取值只能使用[ ]形式
2. 能取联合类型、交叉类型等

interface Person {
  name: string,
  age: number
}

//type nameType = string
type nameType = Person['name']
//type nameAndAgeType = string | number
type nameAndAgeType = Person['name' | 'age']

元祖取值

type tupleType = [number , string]
tupleType[0] // number
tupleType[0|1] // number|string

// 获取元祖的所有类型的组合
tupleType[number] // number|string

2.赋值

// 将A赋值给B
// 变量AB可以在分支语句使用
type Fn<A> = A extends infer B

3.条件语句

// T是boolean的子集
type Fn<T extends boolean> = T

//type res = true
type res = Fn<true>

//type Fn<T> = T 等价于 type Fn<T extends unknow> = T

4.循环遍历

// 递归的方式循环
type Fn<A, B> = Condition extends true ? Fn<C, D> : E

// 遍历数组、元祖
type Loop<List> = List extends [infer First, ...infer Rest] ?
  Loop<Rest> : default

// 遍历对象
// keyof Object返回Object中所有键的联合类型
[T in keyof Object]