TypeScript进击的基础（二）条件类型

条件类型的基础

条件类型是TypeScript中的一种高级类型，允许您根据条件来定义新的类型。条件类型的语法如下：

T extends U ? X : Y

其中：

• T 是要检查的类型。
• U 是要检查的类型。
• X 是如果 T 可以赋值给 U，则返回的类型。
• Y 是如果 T 不能赋值给 U，则返回的类型。

条件类型可以用来创建更灵活和可扩展的类型系统。例如，您可以使用条件类型来定义一个函数，该函数可以接受任何类型作为参数，并返回该类型的值。

function identity<T>(x: T): T {
  return x;
}

identity() 函数使用条件类型来定义其返回类型。如果 x 的类型可以赋值给 T，则函数将返回 T。否则，函数将返回 never。

真分支类型和假分支类型

条件类型可以分为两种类型：真分支类型和假分支类型。真分支类型是如果 T 可以赋值给 U，则返回的类型。假分支类型是如果 T 不能赋值给 U，则返回的类型。

真分支类型和假分支类型可以用于创建更灵活和可扩展的类型系统。例如，您可以使用真分支类型来定义一个函数，该函数可以接受任何类型作为参数，并返回该类型的值。您可以使用假分支类型来定义一个函数，该函数可以接受任何类型作为参数，并返回一个错误。

function identity<T>(x: T): T {
  return x;
}

function error<T>(x: T): never {
  throw new Error(`Invalid type: ${x}`);
}

identity() 函数使用真分支类型来定义其返回类型。如果 x 的类型可以赋值给 T，则函数将返回 T。否则，函数将返回 never。

error() 函数使用假分支类型来定义其返回类型。如果 x 的类型可以赋值给 T，则函数将返回 never。否则，函数将抛出一个错误。

使用条件类型

条件类型可以用于创建更灵活和可扩展的类型系统。您可以使用条件类型来：

• 定义函数，该函数可以接受任何类型作为参数，并返回该类型的值。
• 定义函数，该函数可以接受任何类型作为参数，并返回一个错误。
• 创建更灵活和可扩展的类型系统。

条件类型是TypeScript中的一项强大功能，可以帮助您创建更灵活和可扩展的类型系统。