条件类型（Conditional Types）是一种高级的类型工具，它允许我们基于一个类型关系来选择另一个类型。条件类型通常使用条件表达式 T extends U ? X : Y 的形式，其中根据泛型类型 T 是否可以赋值给类型 U 来确定最终的类型是 X 还是 Y。

type TypeName<T> = T extends string ? "string" :T extends number ? "number" :T extends boolean ? "boolean" :T extends undefined ? "undefined" :T extends Function ? "function" :"object";type T1 = TypeName<string>;  // string
type T2 = TypeName<string[]>; // "object"

分布式条件类型（Distributive Conditional Types）是一种特殊类型的条件类型，它在处理联合类型时会表现出特定的行为。当条件类型被应用于联合类型时，如果联合类型中包含了带有类型参数的条件类型，那么 TypeScript 会自动将条件类型“分发”到联合类型的每个成员上，并将结果组合成一个新的联合类型。

// (A | B) extends U ? X : Y
// (A extends U ? X : Y) | (B extends U ? X : Y)type T3 = TypeName<string | string[]>; // type T3 = "string" | "object"

可以实现过滤，比如 T 中过滤掉 U

// 官方的实现是 `Exclude<T, U>`
type Diff<T, U> = T extends U ? never : T;type T4 = Diff<"a" | "b" | "c", "a" | "e">; // "b" | "c"// Diff<"a", "a" | "e"> | Diff<"b", "a" | "e"> | Diff<"c", "a" | "e">
// never | "b" | "c"
// "b" | "c"

在做扩展，去掉 undefined 跟 null

// 官方的实现是 `NonNullable<T>`
type NotNull<T> = Diff<T, undefined | null>;type T5 = NotNull<string | number | undefined | null>; // type T5 = string | number

**Extract 跟 Exclude 相反, Exclude 是从类型 T 中过滤掉可以赋值给类型 U 的类型， Extract 是从类型 T 中可以抽取出赋值给 U 的类型
**

type T6 = Extract<"a" | "b" | "c", "a" | "e">; // type T6 = "a"

ReturnType<T> 用于获取函数类型 T 的返回类型

type T7 = ReturnType<() => string>; // type T7 = string

infer 用于推断并引入一个类型变量，以便在条件类型中使用。

/*** Obtain the return type of a function type*/
type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : any;