如何在 TypeScript 中创建条件类型？

1. 什么是 TypeScript 中的条件类型？

在 TypeScript 中，条件类型允许根据某个条件的结果来确定另一种类型，并分别应用于两种情况。这个特性在处理类型检查时非常有用。

例如，我们可以根据某个类型是否为数组来确定是否应用另一种类型。

type IsArray = T extends Array ? true : false;
type Foo = IsArray; // false
type Bar = IsArray; // true

在上述示例中，我们定义了一个条件类型`IsArray`，它接受泛型类型参数`T`，并将`T`与`Array`进行比较。如果`T`为数组类型，则结果为`true`。否则，结果为`false`。

2. 如何创建条件类型？

在 TypeScript 中，我们可以使用`extends`关键字来创建条件类型。

type MyConditionalType = T extends string ? string : number;

在上述示例中，我们定义了一个条件类型`MyConditionalType`，它接受泛型类型参数`T`，并将`T`与`string`进行比较。如果`T`为`string`类型，则结果为`string`。否则，结果为`number`。

2.1 在条件类型中使用泛型参数

要在条件类型中使用泛型参数，我们可以在`extends`关键字后面添加一个通配符类型`infer`，并将通配符类型分配给另一个类型参数。

type MyConditionalType = T extends Array ? U : never;
type Foo = MyConditionalType; // never
type Bar = MyConditionalType; // string

在上述示例中，我们定义了一个条件类型`MyConditionalType`，它接受泛型类型参数`T`，并将`T`与`Array`进行比较。如果`T`为数组类型，则结果为`U`，即数组元素类型。否则，结果为`never`。

2.2 使用交叉类型和联合类型

条件类型可以与交叉类型和联合类型一起使用，以创建更复杂的类型检查

type MyType = X extends string ? { a: string } & { b: string } : { c: string } | { d: string };
type Foo = MyType; // { a: string, b: string }
type Bar = MyType; // { c: string } | { d: string }

在上述示例中，我们定义了一个条件类型`MyType`，它接受泛型类型参数`X`，并根据`X`是否为`string`类型，返回一个交叉类型或联合类型。

3. 总结

条件类型是 TypeScript 中一种非常有用的类型特性，在处理类型检查时可以帮助我们更准确地定义类型，从而提高代码的可靠性和类型安全性。通过本文的介绍，我们学习了如何在 TypeScript 中创建条件类型，并提供了一些示例来帮助您更好地理解。