标签: 类型收窄

TypeScript 中 `never` 类型表示永不存在的值，常见于抛出异常或无限循环函数。它可用于排除不需要的类型，如 `NonNullable`。`never` 还可用于 `switch` 或 `if` 语句中，通过类型检查避免遗漏条件分支，确保代码的完备性。