带你读《现代TypeScript高级教程》八、高级类型(1)https://developer.aliyun.com/article/1348533?groupCode=tech_library
4) Record
Record 是一个映射类型,它根据指定的键类型和值类型创建一个新的对象类型。
type Record = { [P in K]: T;};
示例使用:
type Weekday = "Monday" | "Tuesday" | "Wednesday" | "Thursday" | "Friday"; type WorkingHours = Record; const hours: WorkingHours = { Monday: "9am-6pm", Tuesday: "9am-6pm", Wednesday: "9am-6pm", Thursday: "9am-6pm", Friday: "9am-5pm",};
- 条件类型(Conditional Types)
它允许我们根据类型的条件判断结果来选择不同的类型。条件类型的语法形式为:
T extends U ? X : Y
其中,T 是待检查的类型,U 是条件类型,X 是满足条件时返回的类型,Y 是不满足条件时返回的类型。条件类型通常与泛型一起使用,以便根据不同的类型参数值进行类型推断和转换。
1)条件类型与infer
当我们在 TypeScript 中使用条件类型时,有时候我们希望从某个类型中提取出一个部分类型并进行推断。这时就可以使用infer关键字。
infer关键字用于声明一个类型变量,在条件类型中表示待推断的部分类型。它通常在条件类型的分支中使用,以便从给定类型中提取和推断出某些信息。
下面是一个示例,展示了如何使用infer关键字:
type ReturnType = T extends (...args: any[]) => infer R ? R : never; function add(a: number, b: number): number { return a + b;} type AddReturnValue = ReturnType; // 推断为number类型
在上面的示例中,我们定义了一个条件类型ReturnType,它接受一个函数类型T作为输入。当T是一个函数类型时,我们使用infer R声明一个类型变量R来推断函数的返回类型,并将其作为结果返回。
通过调用ReturnType,我们将函数add的类型传递给ReturnType,从而提取并推断出其返回类型。结果AddReturnValue的类型被推断为number,因为add函数返回一个数字。
infer关键字的作用是告诉 TypeScript 编译器在条件类型中推断一个待定的类型,并将其赋值给声明的类型变量。这使得我们可以在条件类型中使用这个推断出的类型进行进一步的类型操作。
需要注意的是,infer关键字只能在条件类型的右侧使用,用于声明一个待推断的类型变量,而不能在其他地方使用。此外,每个条件类型只能使用一次infer关键字,并且通常与泛型一起使用。
infer关键字是 TypeScript 中用于提取并推断待定类型的工具。它允许我们在条件类型中声明一个类型变量,用于在类型推断过程中捕获和使用待推断的类型,从而使类型系统更加灵活和强大。
带你读《现代TypeScript高级教程》八、高级类型(3)https://developer.aliyun.com/article/1348529?groupCode=tech_library