Template Literal Types

Template Literal Types 是 TypeScript 4.1 引入的一项功能，它允许你在类型系统中使用模板字符串来创建更灵活和动态的类型。下面是一些 Template Literal Types 的常见用法：

1、 字符串模板类型插值（String Template Type Interpolation）：可以在类型中使用 ${} 语法来插入变量或其他类型，并生成一个新的字符串类型。例如：

type Greeting = "Hello, " | "Hi, ";
type Subject = "world" | "TypeScript";
type GreetingMessage = `${Greeting}${Subject}`;
// GreetingMessage 的类型为 "Hello, world" | "Hello, TypeScript" | "Hi, world" | "Hi, TypeScript"

2、 条件类型（Conditional Types）：Template Literal Types 可以与条件类型结合使用，根据条件动态生成类型。例如：

type Check<T> = T extends string ? `${T} is a string` : `${T} is not a string`;
type Result = Check<"hello">; // Result 的类型为 "hello is a string"

3、 模板字符串联合（Template String Union）：可以使用模板字符串联合类型来创建一个由模板字符串组成的联合类型。例如：

type Status = "success" | "error";
type StatusCode<T extends Status> = `${T} ${number}`;
type ResponseCode = StatusCode<"success"> | StatusCode<"error">;
// ResponseCode 的类型为 "success 200" | "error 404"

4、 推断模板字符串（Infer Template Literal Types）：可以使用 infer 关键字从模板字符串中提取部分信息，并将其作为类型的一部分。例如：

type ExtractId<T> = T extends `${infer Id}-${infer Rest}` ? Id : never;
type UserId = ExtractId<"user-123">; // UserId 的类型为 "user"

这些只是 Template Literal Types 的一些用法示例，你可以根据需要在类型定义中灵活运用它们。它们提供了更多的类型操作和编程能力，让你能够在类型系统中进行更高级的类型处理和推断。