如何让switch(root.type.code)内types narrowing生效，为何嵌套键收窄失效

底层原因 #

• TypeScript 的控制流分析默认仅支持顶层直接属性作为可辨识联合的判别标记，嵌套属性的检查结果不会向上回溯收窄父对象的整体类型。
• 该设计是出于类型安全考量：TS 无法保证你检查完嵌套属性后，上层对象不会被修改（比如检查完root.type.code后，root.type可能被重新赋值为其他类型），因此不会自动基于嵌套属性的判断结果收窄整个父对象的类型。

实现需求的解决方案 #

你期望的类型收窄效果可以通过以下几种方案实现，按需选择即可：

方案1：将判别标记提升到联合类型顶层（最推荐） #

这是成本最低、效果最好的方案，直接把作为判别依据的code属性放到联合类型每个成员的顶层，即可正常触发 switch 分支的类型收窄：

// 调整前的类型定义（嵌套判别标记）
type TypeA = { type: { code: 'a' }, val: string }
type TypeB = { type: { code: 'b' }, val: number }
type Root = TypeA | TypeB

// 调整后的类型定义（顶层判别标记）
type TypeA = { code: 'a', type: { code: 'a' }, val: string }
type TypeB = { code: 'b', type: { code: 'b' }, val: number }
type Root = TypeA | TypeB

// 此时switch可正常收窄类型
function handle(root: Root) {
  switch(root.code) {
    case 'a':
      // root.val 自动识别为 string 类型
      return root.val
    case 'b':
      // root.val 自动识别为 number 类型
      return root.val
  }
}

方案2：自定义类型守卫（无需修改原有类型结构） #

如果不能调整现有类型的字段结构，可以编写自定义类型守卫函数封装判断逻辑，手动触发类型收窄：

function isTypeA(root: Root): root is TypeA {
  return root.type.code === 'a'
}
function isTypeB(root: Root): root is TypeB {
  return root.type.code === 'b'
}

// 使用示例
function handle(root: Root) {
  if (isTypeA(root)) {
    // root.val 自动识别为 string 类型
    return root.val
  } else if (isTypeB(root)) {
    // root.val 自动识别为 number 类型
    return root.val
  }
}

方案3：解构嵌套属性后搭配断言使用 #

如果仅需要临时处理少量场景，可以先把嵌套的code属性解构到顶层，再配合类型断言使用：

function handle(root: Root) {
  const code = root.type.code
  switch(code) {
    case 'a':
      const aRoot = root as TypeA
      // aRoot.val 为 string 类型
      return aRoot.val
    case 'b':
      const bRoot = root as TypeB
      // bRoot.val 为 number 类型
      return bRoot.val
  }
}

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