TypeScript条件类型解析：传递参数时出现类型错误

我来帮你拆解这个问题的根源，以及对应的解决办法。

首先，咱们聊聊报错的原因：你在func里调用foo<A>时，虽然A已经被约束为extends object，但TypeScript处理foo定义里的条件类型A extends object ? Bar<A> : undefined时，并没有直接把它解析成Bar<A>。这是因为泛型参数A在foo的上下文中还是一个未被具体实例化的类型，TypeScript会保留条件类型的两种分支可能性，所以它会把第二个参数的类型推断为Bar<A> | undefined，而你传入的是明确的Bar<A>，这就导致了类型不匹配的报错。

下面给你两种可行的解决方案：

方案1：使用函数重载（推荐） #

通过给foo添加重载签名，让TypeScript根据传入的参数类型自动匹配对应的重载分支，这样就能明确不同场景下的参数类型：

type Bar<A> = { f: A };
type Result<A> = { r: A };

// 重载1：针对A是object类型的情况
function foo<A extends object>(
  f: (o: A, b: Bar<A>) => Result<A>
): undefined;
// 重载2：针对A不是object类型的情况
function foo<A>(
  f: (o: A, b: undefined) => Result<A>
): undefined;
// 函数实现体
function foo<A>(
  f: (o: A, b: A extends object ? Bar<A> : undefined) => Result<A>
) {
  return undefined as any;
}

const func = <A extends object>(b: Bar<A>) => {
  return foo((o: A, typeError: Bar<A>) => {
    return undefined as any;
  })
};

这种方式最优雅，完全贴合TypeScript的类型系统设计，重载签名会帮你明确不同分支的参数类型，彻底避免条件类型带来的模糊性。

方案2：使用类型断言（快速临时解决） #

如果你不想修改foo的定义，可以在传入的匿名函数上添加类型断言，明确告诉TypeScript这个函数的参数类型符合foo的要求：

type Bar<A> = { f: A };
type Result<A> = { r: A };
function foo<A>(
  f: (o: A, b: A extends object ? Bar<A> : undefined) => Result<A>
) {
  return undefined as any;
}

const func = <A extends object>(b: Bar<A>) => {
  return foo(
    ((o: A, typeError: Bar<A>) => {
      return undefined as any;
    }) as (o: A, b: A extends object ? Bar<A> : undefined) => Result<A>
  )
};

这种方式比较直接，但缺点是如果后续类型有变化，断言可能会隐藏真实的类型错误，所以更适合快速临时解决问题。

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