如何让泛型函数重载的实现参数具备强类型判别能力

两个报错都来自泛型参数T的不确定性：

• 若返回值标注为T，TS无法确认返回值匹配T的所有可能子类型——T可以是任意继承A或B的自定义类型，返回的基础A/B结构无法兼容所有可能的T亚型，自然抛出类型不匹配错误。
• 若返回值标注为AorB，泛型T本身没有被收窄，Partial<Omit<T, 'type'>>是依赖未知T的类型，TS无法确认该类型上存在a或b属性，就会报属性不存在的错误。

不需要在实现签名上定义泛型，直接利用TS判别式收窄+重载的类型兼容规则即可，全程不需要any类型，也不需要as强制类型断言：

type A = {
  a: string
  type: 'A'
}

type B = {
  b: string
  type: 'B'
}

type AorB = A | B

// 对外暴露的重载签名，保留精确入参/返回值推导
function createAorB(type: A['type'], customProps?: Partial<Omit<A, 'type'>>): A
function createAorB(type: B['type'], customProps?: Partial<Omit<B, 'type'>>): B
// 内部实现签名直接用联合类型做约束，不需要泛型
function createAorB(
  type: AorB['type'],
  customProps: Partial<Omit<AorB, 'type'>> = {}
): AorB {
  if (type === 'A') {
    return {
      type,
      a: customProps.a || '',
    }
  }

  return {
    type,
    b: customProps.b || '',
  }
}

// 调用时类型推导完全符合预期
const newA = createAorB('A') // 自动推导为A类型
const newB = createAorB('B') // 自动推导为B类型
// 传入不匹配的属性会直接触发类型报错，比如createAorB('A', { b: 'err' })

• 对外重载签名完全满足需求：传入type为'A'时，customProps会自动匹配A类型的可选属性集合，返回值推导为A；传入'B'时同理。
• 内部实现直接使用AorB联合类型做约束，TS会根据type的字面量值自动收窄分支类型：当判断type === 'A'时，当前分支的返回值自动收窄为A类型，customProps上的a属性也会被识别为合法属性，不需要额外的类型断言。
• 之前添加的泛型T extends AorB属于多余定义，重载的实现签名只需要兼容所有对外重载的类型即可，不需要对外暴露泛型参数，该实现完全满足两个重载签名的类型兼容要求。

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