在 TypeScript 中实现自定义“包含”实用程序类型

介绍

TypeScript提供了强大的类型系统，允许开发者创建复杂且类型安全的应用程序。TypeScript中的一个更高级技术是创建实用类型，它可以增强类型安全性并提升代码可读性。今天，我们将深入探讨创建自定义Includes实用类型，并在此过程中探索几个关键的TypeScript概念。

Includes 实用类型是什么？

Includes 实用类型用于检查给定类型是否包含在元组或数组类型中。它在概念上类似于 JavaScript 的数组 .includes() 方法，但适用于类型。在 TypeScript 中实现 Includes 是了解语言更微妙特性的绝佳方式。

TypeScript 的关键概念

在开始之前，让我们讨论一些对于理解我们的实现至关重要的 TypeScript 概念：

• 条件类型：允许定义一个类型，它可以根据某些条件具有不同的形式，类似于 if 语句，但用于类型。
• infer 关键字：在条件类型分支内部使用 infer 关键字，在其他类型中推断类型，经常用于元组和函数类型。
• 递归类型：在其定义中引用自身的类型，对于定义需要通过未知深度结构工作的类型非常有用，比如链表或树结构。
• 严格的类型比较：TypeScript 的结构类型系统非常宽松，需要更严格地区分类型，而不仅仅是它们的结构。

需要严格的类型比较

有些情况下，您需要更严格地区分类型，而不仅仅是它们的结构。例如，确保两个类型完全相同，而不仅仅是结构兼容。

实现严格的类型比较

为了实现严格的类型比较，可以使用条件类型和 infer 关键字的组合。Equal 类型使用高阶函数技术来比较两个类型。

type Equal<X, Y> = 
  (<T>() => T extends X ? 1 : 2) extends 
  (<T>() => T extends Y ? 1 : 2) ? true : false;

工作原理：

• 函数类型比较：创建两个函数类型，根据条件类型检查返回 1 或 2。
• 条件类型：检查一个假设类型 T 是否扩展类型 X 或 Y，相应返回 1 或 2。
• 函数的扩展检查：比较这两个函数类型，如果 X 和 Y 完全相同，则函数类型变得相同，结果为 true，否则为 false。

示例：

type IsStringEqualToString = Equal<string, string>; // true
type IsStringEqualToNumber = Equal<string, number>; // false

实现 Includes

让我们结合这些概念来创建我们的 Includes 实用类型：

type Includes<T extends readonly any[], U> = T extends [infer First, ...infer Rest]
  ? Equal<First, U> extends true
    ? true
    : Includes<Rest, U>
  : false;

让我们看看发生了什么：

• 条件类型：检查元组的每个元素。
• 元组拆分：使用 T extends [infer First, ...infer Rest] 将元组拆分为第一个元素和其余部分。
• 严格比较：严格比较 First 和 U。如果相等，则返回 true；否则，递归调用 Includes 处理其余部分（Rest）。

测试 Includes 类型

为了确保我们的实用类型正常工作，让我们用一些例子来测试它：

type Test1 = Includes<['a', 'b', 'c'], 'a'>; // true
type Test2 = Includes<['a', 'b', 'c'], 'd'>; // false
type Test3 = Includes<[1, 2, 3], 2>;          // true
type Test4 = Includes<[1, 2, 3], 4>;          // false

结论

创建像 Includes 这样的自定义实用类型是深入了解 TypeScript 类型系统的绝佳方式。它帮助您了解和利用条件类型、递归类型和严格类型比较等高级概念。这不仅增强了您的 TypeScript 技能，还会产生更健壮和可维护的代码。

TypeScript 的类型系统深奥而强大，掌握它可以极大地提高代码质量。祝愉快的类型编程！

我正在参与2023腾讯技术创作特训营第五期有奖征文，快来和我瓜分大奖！