typescript基础之never

TypeScript 的 never 类型是一种特殊的类型，它表示的是那些永远不存在的值的类型。例如，一个抛出异常或无限循环的函数的返回值类型就是 never，因为它们永远不会返回任何值。never 类型是所有类型的子类型，也就是说，任何类型都可以赋值给 never 类型，但是 never 类型只能赋值给自己和 any 类型。never 类型有以下的特点和用途https://juejin.cn/post/7201048368389914682：

•  never 类型不能被实例化，也不能有任何值，甚至 undefined 也不行。

•  never 类型可以用来表示不可能发生的情况，例如在 switch 语句中的 default 分支，或者在类型保护中排除掉所有可能的情况。

•  never 类型可以用来进行疲劳性检查（exhaustiveness check），也就是检查是否所有的分支都被覆盖到了，如果有遗漏，就会报错。

下面是一些使用 never 类型的例子：

// 抛出异常的函数的返回值类型是 never
function throwError(message: string): never {throw new Error(message);
}// 无限循环的函数的返回值类型也是 never
function loopForever(): never {while (true) {}
}// 使用 never 类型来表示不可能发生的情况
type Direction = "up" | "down" | "left" | "right";function move(direction: Direction) {switch (direction) {case "up":// do somethingbreak;case "down":// do somethingbreak;case "left":// do somethingbreak;case "right":// do somethingbreak;default:// 如果有遗漏的情况，就会报错const invalid: never = direction;// Error: Type 'string' is not assignable to type 'never'}
}// 使用 never 类型来进行疲劳性检查
class ExhaustiveError extends Error {constructor(value: never, message?: string) {super(message);}
}function checkExhaustive(value: Direction) {switch (value) {case "up":// do somethingbreak;case "down":// do somethingbreak;default:// 如果有遗漏的情况，就会抛出异常throw new ExhaustiveError(value);// Error: Argument of type 'string' is not assignable to parameter of type 'never'}
}