TypeScript类型检查疑问：联合类型谓词遗漏未触发编译错误是否为Bug？

嘿，这其实不是TypeScript的Bug哦，咱们来一步步拆解为什么会出现这种情况：

首先得明白TypeScript对类型谓词的处理逻辑：当你写(x: any): x is Car这种类型谓词时，本质上是你在向TypeScript做出一个“承诺”——当这个函数返回true时，x一定是Car类型。但TypeScript并不会去验证你的函数实现是否真的能准确判断出所有Car类型的实例，它只会信任你声明的这个类型断言，不会做反向的逻辑校验。

回到你的代码里：

• 你定义的Car是Skoda | GMC的联合类型，但isCar函数只检查了isSkoda(x)，完全漏掉了GMC的判断。
• 在carToNum函数里，参数c的类型是Car，TypeScript看到isCar(c)的判断后，会认为：如果判断为false，那c就不是Car类型。但实际上c本身就是Car类型的参数，这里就出现了逻辑矛盾——但TypeScript没办法感知到你的isCar函数逻辑不完整，因为它只认你声明的类型谓词，不会去检查函数内部的实现细节。

最终就导致了运行时的问题：当传入GMC实例时，isCar(c)返回false，函数直接返回了c这个对象，而不是预期的数字。

那怎么避免这种问题呢？给你两个实用方案：

1. 完善类型谓词的实现：把isCar改成正确的逻辑，覆盖联合类型的所有分支：

const isCar = (x: any): x is Car => isSkoda(x) || isGMC(x)

这样isCar(c)对GMC实例会返回true，函数就会返回1，符合预期。

2. 添加穷尽检查：在else分支加入一个断言never类型的函数，强制TypeScript检查是否所有分支都被覆盖：

function assertNever(x: never): never {
  throw new Error(`Unexpected value: ${JSON.stringify(x)}`);
}

const carToNum = (c: Car): number =>
  isCar(c) ? 1 :
  assertNever(c)

这时候如果你的isCar没覆盖全Car的所有类型，TypeScript就会在编译时报错，因为c在else分支不是never类型，没办法传入assertNever函数，这样就能提前发现逻辑漏洞。

备注：内容来源于stack exchange，提问作者Gino