TypeScript switch类型收窄失效 无法识别扩展类型怎么办

你的联合类型定义存在问题，将宽泛的基类型TraceMessages加入TraceMessage联合类型，是导致判别式收窄失效的核心原因：

• 基类型TraceMessages的messageType属性类型是整个MessageType枚举全集，也就是说它的messageType可以是任意枚举值，既可以是CallEnd也可以是L2Measurement
• 当你在case MessageType.L2Measurement分支做类型收窄时，TypeScript无法排除当前值是基类型TraceMessages的可能性——毕竟基类型本身就合法持有messageType: MessageType.L2Measurement的结构，收窄后的类型实际为TraceMessageL2Measurement | TraceMessages
• 由于基类型TraceMessages上没有定义l2Measurement专属属性，TS自然不会提示该属性，也不允许直接访问。

举个例子，下面的对象完全符合你当前定义的TraceMessage类型约束，但它不属于任何一个具体子类型：

// 没有l2Measurement、callEnd属性，仅满足基类结构，是合法的TraceMessage
const invalidMsg: TraceMessage = {
  messageType: MessageType.L2Measurement
}

这种情况下TS无法保证分支内的变量一定存在子类型专属属性，自然不会完成预期的类型收窄。

将基类型从联合类型定义中移除即可，修改TraceMessage为两个具体子类型的联合：

export type TraceMessage =
    | TraceMessageCallEnd
    | TraceMessageL2Measurement;

不需要担心丢失基类约束：两个子接口本身已经通过extends继承了TraceMessages的结构，TypeScript的结构类型系统会自动校验类型兼容性，所有TraceMessage类型的值都必然满足TraceMessages的属性要求。

修改后再使用switch做判别，TS就可以正确完成类型收窄：

function processMessage(l2message: TraceMessage) {
  switch (l2message.messageType) {
    case MessageType.L2Measurement:
      // 此处TS自动识别类型为TraceMessageL2Measurement，可正常访问l2Measurement属性
      console.log(l2message.l2Measurement);
      break;
    case MessageType.CallEnd:
      // 此处TS自动识别类型为TraceMessageCallEnd，可正常访问callEnd属性
      console.log(l2message.callEnd);
      break;
  }
}

如果需要避免后续新增消息类型时漏写分支，可以增加穷尽检查逻辑，在漏写case时直接抛出类型错误：

function assertNever(val: never): never {
  throw new Error(`未覆盖的消息类型: ${val}`);
}

function processMessage(l2message: TraceMessage) {
  switch (l2message.messageType) {
    case MessageType.L2Measurement:
      console.log(l2message.l2Measurement);
      break;
    case MessageType.CallEnd:
      console.log(l2message.callEnd);
      break;
    default:
      // 后续新增MessageType枚举值未写对应case时，此处会报类型错误
      assertNever(l2message);
  }
}

内容的提问来源于stack exchange，提问作者ni-eminen