TypeScript never类型实战：利用类型收窄实现 exhaustive checking

TypeScript 作为一门静态类型语言，允许开发者在编写 JavaScript 代码时预先识别并规避潜在错误。

然而，在重构类型定义时，若未及时同步更新相关逻辑，极易引发类型不匹配或遗漏分支处理等隐患。

是否存在一种机制，能在类型变更时提供更精准、便捷的安全保障？

答案是肯定的。

本文将重点介绍 TypeScript 中一个关键类型——never 类型。

作为 TypeScript 中最小的类型，never 代表那些永远不会出现的值。

我们将探讨如何利用 never 类型强化类型约束的精确性，防止因类型修改而引入的错误。

什么是 never 类型

在 TypeScript 中，never 类型用于表示永远不会出现的值。

它是所有类型的子类型，这意味着任何类型均可赋值给 never 类型；反之，除了 never 自身外，never 类型无法赋值给任何其他类型。

never 类型的主要用途是标记那些永远不会发生的情况，例如：

• 抛出异常的函数
• 执行死循环的函数
• 逻辑上永远不会进入的代码分支

具体示例如下：

// 抛出异常的函数
function error(message: string): never {
  throw new Error(message);
}

// 死循环的函数
function loop(): never {
  while (true) {}
}

// 永远不会进入的分支
function foo(x: string | number) {
  if (typeof x === "string") {
  // do something
  } else if (typeof x === "number") {
  // do something else
  } else {
  // x is never
  const n: never = x;
  }
}

在上述代码中，error 函数通过抛出异常终止执行，loop 函数陷入死循环，二者均不会返回值，因此返回类型均为 never。

在 foo 函数中，若 x 为 string 或 number，则进入对应分支；若 x 不属于这两种类型，则进入最后一个分支。由于类型收窄机制，此时 x 的类型已被收缩为 never，因此该分支在逻辑上不可达。

我们可以利用 never 类型标记该不可达分支，将 x 赋值给类型为 never 的变量 n，从而确保该分支不会被执行。

never 的妙用

既然 never 类型能表示不可达情况，我们应如何利用它来确保类型约束的精确性？

以下是一个具体案例。

假设我们需要封装一个 Ajax 请求方法。

// 定义一个类型
type Method = 'GET' | 'POST'
// 封装一个 Ajax 请求的方法，为两个参数约束类型
function request(method: Method, url: string) { }

可以看到方法定义已完成，且在调用 request 时已获得类型提示。

接下来实现函数内部逻辑。

type Method = 'GET' | 'POST'
function request(method: Method, url: string) {
  // 因为有多种请求类型，我们这里用 switch
  // 每一个类型随便给它返回一个值仅做模拟
  switch (method) {
    case "GET":
      return "get"
    case "POST":
      return "post"
    default:
      return 'default'
  }
}

函数内部使用 switch 语句根据请求类型返回不同结果。

这里存在一个问题：Method 类型仅定义 GET 和 POST 两种可能，为何还需要 default 分支？因为该分支在逻辑上永远不会被执行。

观察 default 分支内的类型。

得益于 TypeScript 的类型收窄机制，TS 会分析分支条件并对类型进行相应收缩。

如示例所示，在特定分支中，类型被收缩为具体的 GET 值，不再保持联合类型状态。

在 default 分支中，由于该分支不可达，其类型被表示为 never。

这对实际开发有何具体价值？

考虑一种场景：若未编写 default 分支，后续对 Method 类型进行扩展（如增加 PUT 或 DELETE），代码不会报错。

例如，添加 PUT 类型后，由于缺乏 default 分支的约束，编译器不会报错，导致开发者无法察觉函数内部需补充 PUT 分支。

随着代码量增加，在繁杂的代码库中修改类型后，很难直观判断哪些地方受到影响。

其他代码中哪些部分需要相应修改，往往难以知晓。

虽然当前示例代码量少，一眼即可看出，但在数万行的大型 TypeScript 项目中，这种疏忽难以被及时发现。

此时，借助 never 类型即可解决此问题，具体做法如下。

type Method = 'GET' | 'POST'
function request(method: Method, url: string) {
  switch (method) {
    case "GET":
      return "get"
    case "POST":
      return "post"
    default:
      const n: never = method;
      return n
  }
}

回到初始情况，在 default 分支中定义一个变量 n，标注为 never 类型，将 method 赋值给 n，并返回 n。

这不会影响代码运行，因为该分支永远不会进入。

此外，该赋值是安全的，因为此时 default 分支内的 method 类型为 never，never 类型可赋值给 never 类型，而其他类型则不能。

接下来，我们可以放心地修改类型定义。

当添加 PUT 类型后，编译器会报错。因为类型收窄机制识别出分支中存在 PUT 类型，而 PUT 类型无法赋值给 never 类型，从而触发错误。

这样，开发者能清晰地知道需要在此处增加相应分支并进行修改。

若存在多个类似函数，通过报错信息即可明确哪些地方需要调整。

这是 TypeScript 中 never 类型的常见用法，在大型项目中极具价值。

总结

本文旨在帮助理解 never 类型在 TypeScript 中的应用及其优势。

在 TypeScript 中，never 类型表示永远不会出现的值，可在类型收窄时自动推导，使代码更加稳定可靠。

在函数中，利用 never 类型可确保类型约束的精确性，避免类型修改过程中的错误。尤其在大型项目中，它有助于更好地维护代码，降低因类型变更导致的遗漏风险。

例如，通过分析代码分支，我们可以使用 never 类型标记不可达分支。这样在扩展类型时，能迅速定位需修改的位置，从而提高代码的可维护性和稳定性。

在项目中，特别是大型项目开发中，掌握 never 类型的使用技巧，有助于更高效、精准地编写高质量代码。

以上就是TypeScript中never类型的妙用详解的详细内容，更多关于TypeScript never类型的资料请关注本站其它相关文章！