Never

TIP

一个关于 never 的介绍视频

程序语言的设计确实应该存在一个底部类型的概念，当你在分析代码流的时候，这会是一个理所当然存在的类型。TypeScript 就是这样一种分析代码流的语言（?），因此它需要一个可靠的，代表永远不会发生的类型。

never 类型是 TypeScript 中的底层类型。它自然被分配的一些例子：

  • 一个从来不会有返回值的函数（如：如果函数内含有 while(true) {}）；
  • 一个总是会抛出错误的函数（如：function foo() { throw new Error('Not Implemented') }，foo 的返回类型是 never）；
    你也可以将它用做类型注解：
  1. let foo: never; // ok

但是，never 类型仅能被赋值给另外一个 never：

  1. let foo: never = 123; // Error: number 类型不能赋值给 never 类型
  3. // ok, 做为函数返回类型的 never
  4. let bar: never = (() => {
  5.   throw new Error('Throw my hands in the air like I just dont care');
  6. })();

很棒，现在让我们看看它的关键用例。

用例：详细的检查

  1. function foo(x: string | number): boolean {
  2.   if (typeof x === 'string') {
  3.     return true;
  4.   } else if (typeof x === 'number') {
  5.     return false;
  6.   }
  8.   // 如果不是一个 never 类型，这会报错：
  9.   // - 不是所有条件都有返回值 （严格模式下）
  10.   // - 或者检查到无法访问的代码
  11.   // 但是由于 TypeScript 理解 `fail` 函数返回为 `never` 类型
  12.   // 它可以让你调用它，因为你可能会在运行时用它来做安全或者详细的检查。
  13.   return fail('Unexhaustive');
  14. }
  16. function fail(message: string): never {
  17.   throw new Error(message);
  18. }

never 仅能被赋值给另外一个 never 类型，因此你可以用它来进行编译时的全面的检查，我们将会在辨析联合类型中讲解它。

与 void 的差异

一旦有人告诉你，never 表示一个从来不会优雅的返回的函数时，你可能马上就会想到与此类似的 void，然而实际上，void 表示没有任何类型，never 表示永远不存在的值的类型。

当一个函数没有返回值时，它返回了一个 void 类型，但是，当一个函数根本就没有返回值时（或者总是抛出错误），它返回了一个 never，void 指可以被赋值的类型（在 strictNullChecking 为 false 时），但是 never 不能赋值给其他任何类型，除了 never。

原文: https://jkchao.github.io/typescript-book-chinese/typings/neverType.html