TypeScript 中如何使用 never 类型
TypeScript 是一种开源的编程语言，它是 JavaScript 的一个超集，可以编译成纯 JavaScript 代码。TypeScript 为 JavaScript 带来了静态类型检查、类、接口、命名空间、模块等特性，使得 JavaScript 更加强大、可维护和可扩展。
在 TypeScript 中，never 类型表示“永远不会发生的值”。它是所有类型的子类型，但是没有任何类型是 never 的子类型。never 类型通常用于表示程序中的错误或异常情况。
下面是一些使用 never 类型的示例代码：
- 抛出异常
function throwError(message: string): never {
throw new Error(message);
}在上面的示例中，函数 throwError 接收一个字符串参数 message，然后抛出一个 Error 异常。由于函数抛出了异常，它永远不会返回，因此其返回类型为 never。
- 死循环
function infiniteLoop(): never {
while (true) {
// do something
}
}在上面的示例中，函数 infiniteLoop 包含一个死循环，由于循环永远不会结束，函数永远不会返回，因此其返回类型为 never。
- 类型判断
function assertNever(x: never): never {
throw new Error("Unexpected object: " + x);
}在上面的示例中，函数 assertNever 接收一个类型为 never 的参数 x，然后抛出一个异常。由于该函数只接收 never 类型的参数，因此可以用它来检查 switch 语句中是否所有的情况都被处理。
-- -------------------- ---- -------
-------- ----------- ------ - ------- -
------ ------- -- -
---- ---------
------ ----------------
---- ---------
------ -------------
--------
------ ---------------
-
-在上面的示例中，函数 getValue 接收一个类型为 string 或 number 的参数 x，然后根据参数的类型返回不同的值。由于 switch 语句中包含了所有可能的情况，因此 default 分支永远不会被执行。为了避免 TypeScript 报告未处理的情况，我们可以使用 assertNever 函数来检查这种情况。
总结
在 TypeScript 中，never 类型表示“永远不会发生的值”。它通常用于表示程序中的错误或异常情况。我们可以使用 never 类型来编写更加健壮和可靠的代码。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/662e64c3d3423812e4c07e68