如何识别 TypeScript 中的 never 和 unknown 类型？

Never 和 Unknown：TypeScript 类型系统的基石

在 TypeScript 的类型系统中，never 和 unknown 这两个类型占有特殊的地位，帮助我们处理各种情况，从错误处理到未知数据的管理。理解这两个类型的区别至关重要，这将使我们能够构建健壮可靠的应用程序。

Never：永远不会发生的情况

never 类型表示永远不会发生的情况或永远不会返回的值。它通常用于错误处理或表示循环或函数永远不会终止。never 是 TypeScript 类型系统中最底层的类型，没有其他类型可以赋值给它。这是因为它代表了一个不存在的值。

示例：

function neverEnding(): never {
  while (true) {
    // 永远不会终止的循环
  }
}

Unknown：类型未知或无法确定

unknown 类型表示一个类型未知或无法确定的值。它通常用于表示从外部来源接收的数据，例如 API 响应或用户输入。unknown 类型可以存储任何类型的值，但不能直接访问其属性或方法，因为 TypeScript 无法推断其确切类型。

示例：

const data = fetchUserData(); // 类型为 unknown

if (typeof data === "string") {
  // 显式类型断言为字符串
}

never 与 unknown 的区别

never 和 unknown 类型的关键区别在于：

• never 表示永远不会发生的情况或永远不会返回的值。
• unknown 表示类型未知或无法确定的值。

never 是 TypeScript 类型系统中最底层的类型，它不能被其他类型赋值，也不能进行任何操作。unknown 类型可以存储任何类型的值，但你必须显式地进行类型断言或类型转换才能访问其属性或方法。

类型判断

判断一个值是否为 never 类型，可以使用 typeof never 进行比较：

const neverValue: never = never;

if (typeof neverValue === "never") {
  // neverValue 是 never 类型
}

判断一个值是否为 unknown 类型，可以使用 typeof unknown 进行比较：

const unknownValue: unknown = 123;

if (typeof unknownValue === "unknown") {
  // unknownValue 是 unknown 类型
}

应用场景

never 类型常用于：

• 表示错误或异常情况
• 表示永远不会终止的循环或函数
• 表示不可达的代码块

unknown 类型常用于：

• 处理从外部来源接收的数据
• 在类型不确定的情况下进行类型转换
• 作为其他类型的父类型

示例代码：

function validateInput(input: unknown): never | string {
  if (typeof input === "string") {
    return input;
  }

  throw new Error("Invalid input type");
}

在上面的代码中，validateInput 函数将未知类型的数据作为参数，并根据类型对其进行处理。如果数据是字符串，它将返回该字符串。否则，它将抛出一个错误。

总结

never 和 unknown 类型是 TypeScript 类型系统中宝贵的工具，它们使我们能够表示和处理各种情况。通过理解这两个类型的定义、区别以及如何进行类型判断，我们可以构建健壮可靠的应用程序，并有效地处理错误和未知数据。

常见问题解答

1. 什么时候应该使用 never 类型？

   • 当你明确知道一个情况永远不会发生或一个函数永远不会返回时。

2. 什么时候应该使用 unknown 类型？

   • 当你处理从外部来源接收的数据，并且其类型未知或不确定时。

3. 如何将 unknown 类型转换为其他类型？

   • 使用类型断言或类型转换，例如 as 运算符或 typeof 运算符。

4. never 类型可以赋值给其他类型吗？

   • 不可以。never 是 TypeScript 类型系统中最底层的类型。

5. unknown 类型可以赋值给其他类型吗？

   • 可以，但必须使用显式的类型断言或类型转换。