TypeScript 是一种强类型的 JavaScript 超集，它提供了更好的类型检查和静态分析，帮助我们更好地编写可维护、可扩展的代码。在 TypeScript 中，我们可以使用 “never” 类型来表示一些永远不会发生的情况，这个类型在一些特定场景下非常有用。
never 类型的定义
在 TypeScript 中，“never” 类型表示了一些永远不会发生的情况，例如一个函数抛出异常、或者一个函数总是返回一个无法访问的代码路径。这个类型可以用于函数的返回值类型、变量的类型注解等等。
下面是一个简单的例子：
function error(message: string): never {
throw new Error(message);
}
function infiniteLoop(): never {
while (true) {}
}在这个例子中，我们定义了两个函数，一个是抛出异常的函数，另一个是死循环的函数。这两个函数都返回了 “never” 类型，因为它们永远不会正常返回。
never 类型的应用场景
1. 辅助类型推导
在一些复杂的类型推导场景中，我们可以使用 “never” 类型来帮助 TypeScript 推导出正确的类型。例如：
type Foo<T> = T extends string ? string : never; type Bar = Foo<number | string>; // Bar 的类型为 never | string，因为 number 不符合 Foo 的条件
2. 确定函数的返回类型
有时候我们需要根据函数的实现来确定它的返回类型，但这个过程可能很复杂。在这种情况下，我们可以使用 “never” 类型来表示函数永远不会返回，从而帮助 TypeScript 推导出函数的返回类型。例如：
-- -------------------- ---- -------
-------- --------------- --- - ------- ------ - ------ - ----- -
-- ------- ----- --- --------- -
------ ------
-
----- --- -------------- --------
-
----- ------ - ---------------
-- ------ ---- ------在这个例子中，我们定义了一个函数 check，它接受一个任意类型的参数，如果参数是字符串类型，就返回字符串类型，否则就抛出异常。我们使用 “never” 类型来表示异常情况，从而帮助 TypeScript 推导出函数的返回类型。
总结
“never” 类型在 TypeScript 中的应用场景非常有限，但在一些特定场景下非常有用。我们可以使用它来辅助类型推导、确定函数的返回类型等等。在实际开发中，我们应该根据实际情况来选择使用或不使用 “never” 类型。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/65e420ef1886fbafa4047eb0