Hey there! 这个问题本质是TypeScript在严格类型检查模式下的「常量条件校验」行为，它是TypeScript帮你规避明显逻辑错误的一个特性，咱们一步步拆解这些场景的差异：

先看被禁止的场景：为什么1 == 2会报错？ #

所有被禁止的比较有一个共同特点：在编译阶段，TypeScript就能100%确定比较的结果是固定的true或false，而且这种结果是毫无意义的逻辑（比如1==2永远为假）。

TypeScript认为这类代码大概率是手滑写错了（比如本来想写num1 == 2却写成了1 == 2），或者是无意义的冗余代码，所以直接抛出错误Operator '==' cannot be applied to type '1' and '2'来阻止你。

被禁止的场景包括：

• if(1 != 2)：永远为真，无意义的条件
• if(1 == 2)：永远为假，无意义的条件
• if('1' == '2')：字符串字面量的恒假比较
• if(1===2)：严格相等的恒假比较

再看允许的场景：为什么这些写法合法？ #

允许的场景可以分成两类：

1. 字面量的恒真/反向恒假比较 #

比如if(2 == 2)、if(2 != 2)、if('1' == '1')、if(1===1)：
TypeScript认为这类写法可能是你有意为之——比如临时写一个永远为真的分支做测试、占位，或者为了覆盖某些边缘场景的代码覆盖率（就像你现在的需求）。虽然这类代码逻辑上也有固定结果，但TypeScript不会强制阻止，只会交给lint工具来做进一步校验。

2. 非字面量的比较（比如函数调用返回值） #

比如if(parseInt('1') == parseInt('2'))：
这里的两个操作数不是固定的字面量，而是函数调用的返回值。虽然咱们肉眼能算出结果，但TypeScript在编译阶段不会做运行时的计算推断，它只会把parseInt('1')和parseInt('2')当成number类型的“动态值”来处理，所以允许这种比较。

给你的小建议：跳过代码覆盖率的更优雅方式 #

如果你的目的是让部分代码不被代码覆盖率工具统计，其实不用写这种容易触发TypeScript报错的恒假条件。推荐两种更合适的方法：

方法1：用代码覆盖率工具的注释（比如Istanbul/nyc） #

直接给需要跳过的代码加注释：

sum(num1: number, num2: number) {
  /* istanbul ignore next */
  if (true) { // 这里的代码会被覆盖率工具忽略
    // Some Code
  }
  return num1 + num2;
}

方法2：用变量代替字面量比较 #

定义一个变量来控制条件，TypeScript不会对变量做常量条件校验：

sum(num1: number, num2: number) {
  const skipCoverage = false;
  if (skipCoverage) {
    // Some Code
  }
  return num1 + num2;
}

内容的提问来源于stack exchange，提问作者Mehul Patel