What is the "never" type in TypeScript?

在 TypeScript 中，“never”类型表示的是那些永远不会发生的值的类型。这种类型主要用于两个场景：一是在函数中用于表示函数不会返回任何值，即函数执行结束前会抛出一个错误或者会无限循环；二是用于不可能有实例的类型。

函数中的应用：

抛出错误的函数： 在 TypeScript 中，当一个函数抛出错误且没有返回任何值时，这个函数的返回类型可以被标记为 never。例如：

typescript
function throwError(errorMsg: string): never {
    throw new Error(errorMsg);
}

这里的 throwError 函数接收一个字符串作为参数，并抛出一个错误，函数不会有正常的返回，所以其类型为 never。

无限循环的函数： 另一个例子是一个函数进入无限循环，这意味着函数也不会返回任何值：

typescript
function infiniteLoop(): never {
    while (true) {
    }
}

这个 infiniteLoop 函数永远不会结束，因此也使用 never 类型。

类型系统中的应用：

在 TypeScript 的类型系统中，never 类型也被用来表示那些不可能有实例的类型。例如：

typescript
type Empty = never[];

这里定义了一个类型 Empty，它是一个只能包含 never 类型元素的数组。由于 never 类型本身就代表不可能存在的值，所以这样一个数组也不可能有实际的元素。

总结：

never 类型是 TypeScript 的一个高级类型特性，它不仅帮助我们在函数中处理异常或特殊操作，而且在类型系统中用来处理那些逻辑上不应该存在的类型的情况。通过使用 never 类型，TypeScript 可以更有效地进行类型检查并避免潜在的错误。