前端 TypeScript 面试题, 什么是 TypeScript 的 never 类型?

Step 1

Q:: 什么是 TypeScript 的 never 类型?

A:: TypeScript 的 never 类型表示那些永远不存在的值。它通常用于表示一些永远不可能发生的情况，比如一个函数总是抛出异常或者进入死循环，这种函数就可以指定返回类型为 never。never 类型也是任何类型的子类型（包括 any），但是没有类型是 never 的子类型，除了 never 自身。

Step 2

Q:: 什么时候会使用 never 类型?

A:: never 类型一般用于标注那些永远不会正常完成的函数（例如抛出错误或无限循环的函数），或用于类型保护中确保代码分支已被完全处理。通过使用 never，TypeScript 能够更好地检测代码中的潜在错误，并在编译时提示开发者。

Step 3

Q:: 如何在 TypeScript 中定义一个返回 never 的函数?

A:: 可以通过创建一个永远抛出错误的函数来定义返回 never 类型的函数。例如: function error(message: string): never { throw new Error(message); } 这个函数的返回类型是 never，因为它永远不会有一个正常的返回值。