TypeScript 是否无法正确识别宽松相等与严格相等的逻辑差异？

首先需要明确两个核心逻辑：

• 变量的类型定义：this.$route.params 下的所有路由参数默认推导类型都是 string，而你的 this.group.id 标注的类型是 number，二者属于完全没有重叠的基础类型。
• TypeScript的静态类型校验规则：TS做条件判断的类型检查时，不会模拟JavaScript运行时宽松相等（==/!=）的隐式类型转换逻辑，只会从类型层面判断两个值是否存在相等的可能性。由于string和number类型的取值范围完全没有交集，TS会直接判定这两个值不可能相等，因此宽松不等运算!=的结果永远为true，就会抛出你遇到的报错。

你提到的'1' != 1返回false是JavaScript运行时的表现，但这属于运行时的隐式转换行为，不在TS静态类型检查的推导逻辑内，因此不会被TS的校验规则纳入参考。

你可以选择以下任意一种方式修复该问题：

• 显式转换为同类型后用严格不等运算符比较，该方式类型安全性最高：

if (Number(this.$route.params.groupId) !== this.group.id) {
  // more code here
}

• 如果你确定路由参数groupId一定是合法数字字符串，也可以对路由参数做类型断言：

if ((this.$route.params.groupId as unknown as number) != this.group.id) {
  // more code here
}

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