为何TypeScript无法在此场景下实现类型收窄？

问题原因 #

TypeScript的类型收窄机制默认只针对单个变量生效。你的代码中，虽然通过if(a.kind !== b.kind)过滤了不匹配的情况，但TypeScript无法自动将a.kind的收窄结果关联到b的类型推断上，因此在switch分支中无法识别b的具体类型。

解决方案 #

方案1：重构参数为绑定类型的联合对象

通过定义一个包含匹配类型的联合对象，从根源上确保a和b的kind一致，让TypeScript自动完成类型推断：

interface A1 { kind: '1' }
interface A2 { kind: '2' }
type A = A1 | A2

interface B1 { kind: '1', data: number }
interface B2 { kind: '2', name: string }
type B = B1 | B2

// 定义绑定a和b类型的联合类型
type MatchedAB = 
  | { a: A1, b: B1 }
  | { a: A2, b: B2 }

function foo({ a, b }: MatchedAB) {
  switch(a.kind) {
    case '1':
      const _1 = b.data; // 类型推断正确，无报错
      break;
    case '2':
      const _2 = b.name; // 类型推断正确，无报错
      break;
  }
}

方案2：使用类型断言（快速实现但需谨慎）

如果不想重构参数，可以在分支中手动断言b的类型，跳过TypeScript的类型检查：

function foo(a: A, b: B) {
  if(a.kind !== b.kind) {
    return;
  }

  switch(a.kind) {
    case '1':
      const _1 = (b as B1).data; // 手动断言为B1类型
      break;
    case '2':
      const _2 = (b as B2).name; // 手动断言为B2类型
      break;
  }
}

注意：这种方式需要自行保证逻辑正确性，后续修改类型定义时可能引发运行时错误。

方案3：自定义类型守卫函数

通过自定义类型守卫，明确告知TypeScripta和b的kind匹配关系，实现安全的类型收窄：

interface A1 { kind: '1' }
interface A2 { kind: '2' }
type A = A1 | A2

interface B1 { kind: '1', data: number }
interface B2 { kind: '2', name: string }
type B = B1 | B2

// 自定义类型守卫，判断a和b的kind是否匹配
function isABMatch(a: A, b: B): b is Extract<B, { kind: typeof a.kind }> {
  return a.kind === b.kind;
}

function foo(a: A, b: B) {
  if(!isABMatch(a, b)) {
    return;
  }

  switch(a.kind) {
    case '1':
      const _1 = b.data; // TypeScript自动推断b为B1
      break;
    case '2':
      const _2 = b.name; // TypeScript自动推断b为B2
      break;
  }
}

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