先记住这个答案
列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码。回答“TypeScript 中 never 类型通常用于哪些典型场景？请列举至少三种。”时，先把这句话作为结论。接着指出代码中触发该行为的那一步，并说明先写清输入类型和期望输出，再观察编译器在哪一步收窄或报错。最后补充编辑器推断出的类型、编译诊断和运行时仍需承担的校验，就形成了完整、可验证的回答。
- 列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码
- 用最小代码对照变化前后的结果
- 先讲正常路径，再补一个容易忽略的边界
先用最小代码看清现象
下面的片段只演示“TypeScript never 类型典型使用场景”最关键的一步。先顺着正常路径读一遍，再改动一个输入，就能直接看到结论在什么条件下成立。
阅读时重点找出哪一行对应“列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码”，然后观察编辑器推断出的类型、编译诊断和运行时仍需承担的校验。这样比从定义开始背更容易留下具体印象。
// TypeScript 中 never 类型通常用于哪些典型场景？请列举至少三种。
// 观察点：列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码
function assertNever(value: never): never { throw new Error(String(value)) }
function label(status: 'idle' | 'done') {
switch (status) { case 'idle': return '等待'; case 'done': return '完成'; default: return assertNever(status) }
}这段代码针对“TypeScript never 类型典型使用场景”保留了最关键的操作。先看列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码如何体现在代码里，再改变一个输入观察结果，能更快理解题目的边界。
代码背后的原因
列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码。示例把这个机制放进了真实的 API、语法或配置中，因此要关注产生结果的操作，而不是把整段代码当成固定模板照抄。
先写清输入类型和期望输出，再观察编译器在哪一步收窄或报错。对“列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码”来说，如果这个条件改变，相同代码可能进入另一条分支、返回不同状态，甚至根本不执行。
放到真实项目里怎么判断
类型只在编译期提供约束，来自接口、表单和存储的数据仍必须在运行时验证。验证“列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码”时先保留正常路径，再增加一个直接相关的反例。一次只改一个条件，才能知道差异究竟来自哪里。
验证“TypeScript never 类型典型使用场景”不能只看有没有报错，还要检查编辑器推断出的类型、编译诊断和运行时仍需承担的校验。涉及资源或异步任务时，也要确认结束后是否正确取消、关闭或释放。
容易答错的地方
- 记住结论，却忘了前提
- 只复述“列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码”仍可能答错，因为它依赖先写清输入类型和期望输出，再观察编译器在哪一步收窄或报错。先说适用条件，再说结果。
- 用一次现象证明所有情况
- 单次成功只能说明当前输入可用。至少增加一个反例，并检查编辑器推断出的类型、编译诊断和运行时仍需承担的校验，才能区分偶然现象与稳定机制。
面试官还会怎么问？
面试时怎样在半分钟内回答这道题？
先说结论：列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码。再补一句前提是先写清输入类型和期望输出，再观察编译器在哪一步收窄或报错，最后用示例中的结果说明如何验证即可。
怎样证明答案不是只在一个环境里碰巧成立？
保留基线，只改变与“TypeScript never 类型典型使用场景”直接相关的条件，然后重复检查编辑器推断出的类型、编译诊断和运行时仍需承担的校验。版本敏感时记录运行时和依赖版本。
什么情况下需要重新考虑这个结论？
当“列出不允许变量、穷尽断言、永远抛错函数等场景，避免被误认为不可达代码”所依赖的输入、执行顺序或运行环境不再满足“先写清输入类型和期望输出，再观察编译器在哪一步收窄或报错”时，就应重新验证，不能直接沿用原判断。
参考资料
示例用于理解所注明的运行环境与边界；延伸学习可结合原文中的更多案例。