解释在 TypeScript 中从不输入的目的

在 TypeScript 中，有一个特殊的类型never，它代表了那些永远不会发生的值的类型。通常情况下，我们在编写程序时都希望能够正确地输入类型并获得预期的结果。然而，有时我们需要标识一些特殊的情况或者处理不可到达的代码分支，这时就会使用never类型。

1. never类型的定义

在 TypeScript 中，never类型表示的是那些没有返回值或者抛出异常的表达式的类型。它是所有类型的子类型，可以赋值给任意其他类型，但没有类型可以赋值给never（除了never本身）。never类型通常用于以下几种情况：

• 函数永远不会有返回值
• 函数永远会抛出异常而不会返回

2. 正确使用never类型的例子

2.1. 永远不会有返回值的函数

在某些情况下，我们定义的函数是不会返回任何值的，例如一个死循环函数或者一个永远触发异常的函数。此时，我们可以将这些函数的返回类型标注为never。下面是一个例子：

function infiniteLoop(): never {
  while (true) {
    // do something
  }
}

上面的infiniteLoop函数永远不会返回任何值，因为它处于一个无限循环中。

2.2. 处理不可到达的代码分支

有时，我们编写的代码分支逻辑中存在一些不可到达的分支，例如一个永远会抛出异常的分支。此时，我们可以使用never类型来标识这些分支，以告诉编译器该代码块是不可到达的。下面是一个例子：

function throwError(message: string): never {
  throw new Error(message);
}

上面的throwError函数会抛出一个异常，并且永远不会返回。

3. 与其他类型的区别

never类型与其他类型的区别在于它表示的是一种终结状态，即不会有任何值或结果返回。相比之下，其他类型都会有值或结果返回。

• void类型表示没有返回值的函数，但是函数执行会正常结束。
• undefined和null类型表示具有返回结果，但结果是空或未定义的。

总结

在 TypeScript 中，never类型用于标识永远不会发生的值的类型。它通常在函数永远不会返回值或者永远会抛出异常的情况下使用。正确使用never类型可以增加代码的可读性和可维护性，同时也能提醒开发者这部分代码是不会被执行到的。