在使用 TypeScript 进行开发时，经常会遇到类型无法识别的情况，此时会返回一个类型为 never 的值，这个值可以理解为表示该函数永远不会返回任何有效的值，具有终止程序执行的能力。 never 值是一个 TypeScript 类型系统中的底层类型，它表示永远没有值。
为什么需要解决 Never 返回类型问题
有时候在我们的代码中使用 never 返回值类型是非常必要的。但同时使用 never 也会带来可能会难以解决的问题。因此，始终建议在使用 never 的同时接受其风险并寻找解决方案。
以下是 never 类型的一些例子：
- 在
throw表达式后面，它可以防止程序继续执行。 - 在一个函数中，当 TypeScript 能够推断出该函数永远不会返回任何值时可以使用
never类型。 - 在一个变量声明或从函数返回时，当 TypeScript 能够推断该值将永远不会存在时可以使用
never类型。
由于 never 类型是底层类型，因此在编写 TypeScript 代码时，对其进行正确的处理有助于保持代码的正确性和可读性。
解决 Never 返回类型问题的方法
在实际开发中，我们通常使用以下方法来解决 never 返回类型的问题。
使用联合类型
联合类型是 TypeScript 类型系统中的一种类型，可以包括多个不同类型的值。当我们使用联合类型时，如果至少有一个分支可以返回具体的类型，那么这条语句将被推断为联合类型。
---- --------- -
- ---- --- --------
- ---- -------------
- ---- ------- ---------
- ---- ----------
- ---- --- -------
-------- ---------------------- ----------- ----- -
----- --- -----------------
-
-------- ------------------------ --------- ---- -
-- ---
-- ------------------ -
---------------- --- ----------
-
-- ---
-在上述代码中，handleError 函数可以返回一个类型为 never 的值，这个值表示永远不会返回任何有效的值。但是当我们在 validateRequest 中调用这个函数时，我们始终将 handleError 函数的返回类型视为 never，因此这个函数的返回类型也是 never 类型。
在这种情况下，我们可以使用联合类型来进行类型推断，当程序调用 handleError 函数时，我们会使用 throw 抛出一个错误，这个错误的类型为 ErrorCode 的联合类型中的某个值。
使用条件类型
条件类型是 TypeScript 类型系统中的一种类型，它可以根据给定的条件表达式（类型谓词）进行类型的选择。
当我们使用条件类型时，我们需要使用条件语句，这个语句定义一个类型谓词，该谓词根据条件表达式来推断或选择返回的类型。在以下示例代码中，我们使用条件类型 ReturnType 来解决 never 类型问题：
---- --------------- - - ------- ------
- ------
- - ------- -----
- ------
- ------
-------- ------------- ------- ------ - ------------- --- --------------- -
-- ------- ----- --- --------- -
------ ------
- ---- -- ------ ---------- ------ -
------ --------------
- ---- -
----- --- -------------- ----- ----- -------- ---------
-
-在这个示例代码中，我们定义了一个泛型类型 ErrorMessage，该类型具有三个分支：如果类型参数 T 是 string 类型，则返回 string 类型；如果 T 是 Error 类型，则返回 string 类型，否则返回 never 类型。
在 handleError 函数中，我们接受一个泛型类型 T，当程序调用这个函数时，我们始终将 handleError 函数的返回类型视为 never 类型。但是，当我们在运行时对 error 参数进行判断时，会根据类型谓词来确定返回的类型。
总结
在 TypeScript 中使用 never 返回类型是非常必要的，但同时也要接受其潜在的风险。我们可以使用以下两种方法来解决 never 类型问题：
- 使用联合类型
- 使用条件类型
在实际开发中，我们需要根据实际情况来选择解决方案，在正确处理 never 类型的同时保持代码的正确性和可读性。
来源：JavaScript中文网 ，转载请注明来源 本文地址：https://www.javascriptcn.com/post/6644f4f4d3423812e42df76f