请解释 TypeScript 中的 never 类型是什么，并说明它的用途和典型场景。

回答思路

1. 【回答框架 1】never 类型表示永远不会发生的值类型，是 TypeScript 的底部类型，即所有类型的子类型，但没有任何类型是 never 的子类型。它通常用于表示函数永远不会返回（如抛出异常或无限循环）或变量永远不会被赋值的情况。
2. 【回答框架 2】在函数返回类型中，如果函数总是抛出错误或陷入死循环，其返回类型应标注为 never，这有助于类型检查器推断代码的不可达分支。例如，一个总是抛出异常的函数返回类型为 never。
3. 【回答框架 3】never 在类型运算中也有重要作用，例如在条件类型中，never 会被自动排除，常用于过滤联合类型或实现类型级别的逻辑判断。它还可以作为类型守卫中的穷尽性检查，确保所有可能的分支都被处理。
4. 【回答框架 4】在实际开发中，never 常用于定义辅助类型，如 Exclude 和 Required 等工具类型的实现，以及处理异步操作中的错误分支。理解 never 有助于编写更精确的类型定义和提升类型安全性。
5. 【关键点 1】never 是底部类型，是所有类型的子类型，但自身没有子类型。
6. 【关键点 2】常用于表示永不返回的函数（抛出异常或死循环）的返回类型。
7. 【关键点 3】在条件类型中自动排除，用于过滤联合类型和穷尽性检查。
8. 【关键点 4】可用于实现工具类型如 Exclude，提升类型安全性。
9. 【易错点 1】不要将 never 与 void 混淆，void 表示函数没有返回值，但函数可以正常结束；never 表示函数永远不会结束或返回。
10. 【易错点 2】在联合类型中，never 会被自动忽略，不要期望它保留在联合类型中。
11. 【易错点 3】使用 never 做穷尽性检查时，需确保所有分支都覆盖，否则可能遗漏错误。