泛型引入导致TypeScript函数返回类型推导失效问题排查

你定义的foo函数能根据objFormat参数自动推导返回类型，但新增泛型T的foo2在显式指定T后，传入{objFormat: true}无法得到预期的{data: T}类型，而是直接返回T类型。

原因 #

当你显式指定泛型参数foo2<number>(...)时，TypeScript只会使用你传入的T，而泛型P会采用默认值Props。由于Props中的objFormat是可选属性，P extends {objFormat: true}这个条件判断不会成立（因为Props并不强制objFormat为true），所以返回类型R会被解析为T，而非{data: T}。

简言之：显式指定T后，P的推导被默认值覆盖，条件类型触发了错误的分支。

解决方案 #

核心是让P的类型能被正确推导，同时保持T的可定制性，以下是几种可行方案：

方案1：调整泛型参数顺序，优先推导P #

把P放在T前面，这样即使显式指定T，TypeScript仍会根据传入的params推导P的类型：

type Props = {
  brand?: string;
  objFormat?: boolean;
}

function foo2<
P extends Props = Props,
T = string,
R = P extends {objFormat: true} ? {data: T} : T
>(params?: P): R {
  if (params?.objFormat) {
    return {data: 5} as unknown as R;
  }
  return 5 as unknown as R;
}

// 正确：foo2Res 类型为 {data: number}
const foo2Res = foo2<{objFormat: true}, number>({objFormat: true});
// 正确：foo2Res2 类型为 number
const foo2Res2 = foo2<{objFormat: false}, number>({objFormat: false});

缺点是需要显式指定P，不够简洁。

方案2：函数重载（推荐） #

函数重载能清晰定义不同参数对应的返回类型，同时支持泛型T定制：

type Props = {
  brand?: string;
  objFormat?: boolean;
}

// 重载签名1：objFormat为true时，返回{data: T}
function foo2<T>(params: Props & {objFormat: true}): {data: T};
// 重载签名2：objFormat为false或不填时，返回T
function foo2<T>(params?: Props & {objFormat?: false}): T;
// 实现签名
function foo2<T>(params?: Props) {
  if (params?.objFormat) {
    return {data: 5 as unknown as T};
  }
  return 5 as unknown as T;
}

// 正确：foo2Res 类型为 {data: number}
const foo2Res = foo2<number>({objFormat: true});
// 正确：foo2Res2 类型为 number
const foo2Res2 = foo2<number>({objFormat: false});
// 不指定objFormat时，返回number
const foo2Res3 = foo2<number>();

这种方式无需显式指定多个泛型参数，TypeScript会自动匹配重载签名，体验更流畅。

方案3：结合as const让参数类型更明确 #

通过as const让TypeScript将objFormat推断为字面量true/false，确保条件类型触发正确分支：

type Props = {
  brand?: string;
  objFormat?: boolean;
}

type Foo2Return<T, P extends Props> = P extends {objFormat: true} ? {data: T} : T;

function foo2<T, P extends Props = Props>(params?: P): Foo2Return<T, P> {
  if (params?.objFormat) {
    return {data: 5 as unknown as Foo2Return<T, P>};
  }
  return 5 as unknown as Foo2Return<T, P>;
}

// 正确：foo2Res 类型为 {data: number}
const foo2Res = foo2<number>({objFormat: true} as const);
// 正确：foo2Res2 类型为 number
const foo2Res2 = foo2<number>({objFormat: false} as const);

总结 #

核心问题是显式指定泛型T时，P的类型推导被默认值干扰。推荐使用函数重载方案，既简洁又能清晰表达参数与返回类型的对应关系，同时保留泛型定制能力。

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