简述TypeScript 的 never type 是什么，什么时候用？

八股文_TypeScript面试题 0 30

never 类型表示一个函数或表达式永远不会正常返回。它通常用于那些抛出异常或进入无限循环的函数类型。never 类型表明一个值不会存在，通常用于表示异常的终止或程序无法正常结束的情况。

使用场景：
– 函数中包含 throw 语句，抛出异常的情况下，函数的返回类型为 never。
– 当一个函数的逻辑是死循环的，不会正常返回时，其返回类型应该是 never。

never 类型是 TypeScript 中的特殊类型之一，它与 void 类型有些相似，但它有更强的语义。never 类型不仅表示没有返回值，还表示函数或表达式的控制流永远无法正常终止。

如果函数在执行过程中总是抛出异常，那么它的返回类型应该是 never，因为该函数永远不会正常完成并返回。

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

在上面的代码中，throwError 函数抛出一个错误，表示控制流永远不会继续到函数的其他部分，也不会返回任何值。因此，我们将其返回类型声明为 never。

如果一个函数进入了死循环，程序永远无法到达函数的结束部分，也不会返回任何值，那么该函数的返回类型应该是 never。

function infiniteLoop(): never {
  while (true) {
    console.log("This will run forever");
  }
}

在这个例子中，infiniteLoop 函数会永远循环下去，无法终止，因此它的返回类型是 never。

void 类型表示一个函数没有返回值，而 never 类型则表示函数的执行过程中根本没有返回值的可能（函数的控制流被完全终止了）。例如，抛出异常的函数不会再返回任何内容，执行到了异常抛出后，就没有任何进一步的控制流。

总结：
– never 类型表示某个函数永远不会返回，它通常用于抛出异常或进入死循环的情况。
– never 类型能够帮助明确函数的行为，表示该函数永远不会正常返回，而是会提前终止。
– 使用 never 能够提高代码的可读性和可维护性，特别是在处理异常或特殊控制流时。