如何让TypeScript对不可能成立的条件抛出错误？

兄弟，我太懂你这种踩坑的郁闷了——本来改了函数的返回类型，满心指望TypeScript能把这种一眼就错的逻辑bug拦下来，结果它居然没吭声，直接让错误逻辑跑起来“炸了锅”。别慌，咱们有对应的编译器选项能彻底解决这个问题！

先还原下你的场景，你大概写了这样的代码：

function detonateBomb(): boolean { return false; }
if (detonateBomb() == null) {
  console.log("Safe! Everyone is alive!");
} else {
  console.log("Boooom! Everyone killed! Typescript is Literally NOT SAFE");
}

你把detonateBomb()的返回类型从字符串改成了boolean，本以为TypeScript会帮你守住防线，结果它没对detonateBomb() == null这个明显不成立的条件报错，导致后续逻辑完全走反了。

问题的核心在于：当开启严格空检查后，boolean类型和null/undefined是完全互斥的类型，所以这个条件从逻辑上永远不可能成立，但TypeScript默认不会检测这种“永假/永真”的条件。

解决方案就是开启这两个编译器选项：

• strictNullChecks：这个选项会让TypeScript严格区分null/undefined和其他基础类型，确保detonateBomb()的返回值类型被牢牢限定为boolean，不会被隐式混入null或undefined，从根源上明确类型边界。
• noUnusedCondition：这才是关键杀招！开启后，TypeScript会主动扫描代码中那些永远为true或永远为false的条件判断，比如你这里boolean == null的情况，它会直接抛出错误，提示你“这个条件永远不成立”，帮你把逻辑漏洞扼杀在编译阶段。

你只需要在tsconfig.json里加上这两个配置：

{
  "compilerOptions": {
    "strictNullChecks": true,
    "noUnusedCondition": true,
    // 其他你需要的配置，比如target、module等...
  }
}

如果想一步到位开启所有严格模式规则，你可以直接把strict设为true——它会自动包含strictNullChecks，不过noUnusedCondition不属于默认严格集合，需要你单独手动开启。

这样配置后，TypeScript就会对着那个有问题的if条件报错，你就能及时发现这个逻辑错误，再也不会出现“炸锅”的悲剧啦！

内容来源于stack exchange