Expalin conditional typing in TypeScript?

在TypeScript中，条件类型是一种通过条件表达式来选择两种类型之一的高级技术。它允许开发者根据类型的关系进行类型推断，从而可以构建更灵活和动态的类型系统。扩展条件类型主要是通过泛型和其他条件类型进行组合和嵌套来实现更复杂的类型推断逻辑。

基本使用

条件类型的基本语法如下：

typescript
type ConditionalType = T extends U ? X : Y;

这里的T extends U是一个类型条件表达式，如果T可以赋值给U，则结果类型为X，否则为Y。

扩展示例

假设我们需要定义一个类型，这个类型根据输入的类型是数组还是非数组，返回不同的类型：

typescript
type WrappedType<T> = T extends any[] ? T[number] : T;

这里，我们使用T extends any[]来检查T是否是一个数组类型。如果是，WrappedType<T>就推导为数组元素的类型（T[number]），如果不是，就直接是T。

使用泛型

我们可以结合泛型来扩展条件类型的应用，例如定义一个工具类型，根据给定的类型和条件动态生成新的类型：

typescript
type FilterType<T, Condition> = T extends Condition ? T : never;

// 使用示例
type StringOrNumber = FilterType<string | number | boolean, number | string>;  // string | number

这里，FilterType根据Condition过滤类型T中的成员，只保留符合条件的类型。

复杂的条件逻辑

条件类型可以嵌套使用，实现更复杂的类型逻辑。例如，实现一个类型，根据输入的属性名，提取出对应属性的类型：

typescript
type ComplexConditional<T, K extends keyof T> = K extends any ? T[K] : never;

interface Example {
  a: number;
  b: string;
  c: boolean;
}

type Result = ComplexConditional<Example, 'a' | 'b'>;  // number | string

这里，ComplexConditional根据给定的键K从类型T中提取对应的属性类型。

总结

通过这些示例，我们可以看到条件类型是构建强大和灵活类型系统的重要工具。通过扩展和结合泛型及嵌套条件，TypeScript允许开发者构建精确控制类型行为的高级类型推断和转换机制。