TypeScript 是一种由 Microsoft 开发的 JavaScript 的超集，它允许开发人员在编写 JavaScript 代码时使用静态类型。TypeScript 的类型系统允许开发人员在编译时发现类型错误，从而帮助开发人员提高代码的可靠性和可维护性。其中一个有趣的类型是 never 类型，本文将介绍 TypeScript 中 never 类型的使用。
never 类型
在 TypeScript 中，never 类型表示那些永远不会发生的值。它通常用于函数的返回类型，表示函数永远不会返回任何值。例如：
function throwError(message: string): never {
throw new Error(message);
}在上面的示例中，throwError 函数的返回类型是 never，因为它永远不会返回任何值。如果该函数被调用，它将抛出一个错误，导致程序终止。
永远不会返回的函数
除了抛出错误之外，还有一些函数永远不会返回任何值。例如，一个死循环函数：
function infiniteLoop(): never {
while (true) {}
}在上面的示例中，infiniteLoop 函数的返回类型是 never，因为它永远不会返回任何值。如果该函数被调用，它将永远循环下去，程序将无法终止。
never 类型的应用
never 类型通常用于那些永远不会返回任何值的函数。它还可以用于类型推断，例如：
-- -------------------- ---- -------
-------- -------------- ------- ----- -
----- --- ----------------- ------- - - ---
-
-------- ----------- -------- - ------------- ------ -
------ ------- -
---- ---------
------ ------- - --
---- ------------
------ --
--------
------ -------------------
-
-在上面的示例中，assertNever 函数的参数类型是 never，它用于处理 area 函数中的默认情况。由于 switch 语句中已经覆盖了所有可能的情况，因此默认情况永远不会被执行。如果默认情况被执行，这意味着程序出现了意外的情况，我们可以使用 assertNever 函数抛出一个错误。
总结
本文介绍了 TypeScript 中 never 类型的使用，它通常用于那些永远不会返回任何值的函数。never 类型还可以用于类型推断，用于处理那些永远不会发生的情况。使用 never 类型可以帮助开发人员编写更加可靠和可维护的代码。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/6639d1b5d3423812e47fe673