TypeScript函数无法从父接口推断泛型参数问题求助

咱们先看看你遇到的典型问题代码：

interface ApiRequest<T> {} 
interface SomeRequest extends ApiRequest<string> { value: string; } 

function sendRequest<TRequest extends ApiRequest<TResponse>, TResponse>(
  request: TRequest
): TResponse { 
  return null as TResponse; 
} 

const x = sendRequest({ value: "a value" } as SomeRequest); 
// 这里x的类型被推断成{}而非string，导致x.length会报错

问题根源 #

原来的函数定义里，TResponse是独立的泛型参数，虽然写了TRequest extends ApiRequest<TResponse>，但TypeScript没办法反向从TRequest的继承关系里精准推断出TResponse的具体类型，只能 fallback 到默认的{}类型。

修复方案（无需显式声明类型参数） #

我们可以利用TypeScript的条件类型推断（infer关键字），把TResponse和TRequest的关联绑定得更紧密，让TypeScript自动从TRequest中提取对应的泛型类型：

interface ApiRequest<T> {} 
interface SomeRequest extends ApiRequest<string> { value: string; } 

// 修改泛型定义，仅保留TRequest，通过infer提取响应类型
function sendRequest<TRequest extends ApiRequest<any>>(
  request: TRequest
): TRequest extends ApiRequest<infer U> ? U : never { 
  return null as TRequest extends ApiRequest<infer U> ? U : never; 
} 

const x = sendRequest({ value: "a value" } as SomeRequest); 
// 现在x的类型会被正确推断为string
console.log(x.length); // 不再报错

为什么这样有效？ #

• 函数泛型参数简化为仅接收TRequest，约束它必须继承ApiRequest<any>（这里的any只是放宽前置约束，后续会通过infer精准提取）
• 返回类型使用TRequest extends ApiRequest<infer U> ? U : never，逻辑是：如果TRequest是ApiRequest<U>的子类型，就把U作为返回类型；否则返回never（实际不会走到never分支，因为有前置约束）
• TypeScript会自动解析TRequest（也就是SomeRequest）继承的ApiRequest<string>，将U推断为string，返回类型自然匹配预期。

如果想让代码更清晰易复用，还可以封装一个工具类型：

// 封装工具类型：提取ApiRequest的泛型参数
type ExtractApiResponse<T extends ApiRequest<any>> = T extends ApiRequest<infer U> ? U : never;

function sendRequest<TRequest extends ApiRequest<any>>(
  request: TRequest
): ExtractApiResponse<TRequest> { 
  return null as ExtractApiResponse<TRequest>; 
}

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