TypeScript中如何收窄泛型参数类型以适配重载函数？

你的核心问题是V<T>没有达到预期的类型收窄效果，导致无法匹配funcAorB的重载签名。原因在于：当泛型T是A | B联合类型时，条件类型K extends A ? A : B会触发分布式条件类型，对联合的每个成员分别计算，最终结果仍是A | B，并没有将T收窄为单一的A或B类型，而funcAorB的重载要求明确传入A或B，而非它们的联合类型。

以下是几种可行的解决方案：

方案一：使用类型守卫手动收窄 #

通过自定义类型守卫判断参数类型，在分支中明确匹配重载：

function wrappFunAorB<T extends U>(v: T) {
  // 定义类型守卫，判断值是否属于A类型
  const isTypeA = (val: U): val is A => ["A1", "A2"].includes(val);
  
  if (isTypeA(v)) {
    return funcAorB(v); // 此时v被收窄为A类型，匹配第一个重载
  } else {
    return funcAorB(v); // 此时v被收窄为B类型，匹配第二个重载
  }
}

方案二：利用泛型条件类型匹配返回值 #

通过给函数指定条件类型的返回值，配合精准断言让TypeScript识别重载：

function wrappFunAorB<T extends U>(v: T): T extends A ? A : B {
  return funcAorB(v as T extends A ? A : B);
}

这里返回值的条件类型与断言类型完全对应，TypeScript会根据T的实际类型匹配对应的重载签名。

方案三：直接断言为联合类型（简化版） #

由于funcAorB的两个重载分别覆盖了A和B，可以直接将参数断言为A | B，让TypeScript自动匹配合适的重载：

function wrappFunAorB<T extends U>(v: T) {
  return funcAorB(v as A | B);
}

这种方式更简洁，但不如类型守卫严谨，适合对类型安全性要求不极高的场景。

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