为何我的TypeScript代码中computed函数参数类型无法自动推断？

你编写的代码里，调用Card函数时，computed选项中c函数的data参数无法被自动推断出正确类型，报Parameter 'data' implicitly has an 'any' type. (7006)错误，核心原因是TypeScript泛型推断的依赖顺序和循环依赖场景导致的类型推断失效。

问题代码 #

type Options<
  TData,
  TMethod,
  TComputed extends Record<string, (data: TData) => any>
> = {
  computed?: TComputed;
  data?: TData;
  methods?: TMethod
} &
ThisType<{
  data: TData & {
    [K in keyof TComputed]: ReturnType<TComputed[K]>
  }
} & TMethod>

function Card<
  TData extends Record<string, any> = {},
  TMethod extends Record<string, Function> = {},
  TComputed extends Record<string, (data: TData) => any> = {}
>(options: Options<TData, TMethod, TComputed>) {
  
}

Card({
  data: {
    a: 1
  },
  computed: {
    c(data) { // 类型错误：data参数隐式为any类型
      return data.a + 1;
    }
  },
  methods: {
    bar() {
      this.data.c
    },
    say() {
      this.bar();
    }
  }
})

原因分析 #

1. 泛型参数的依赖关系：TComputed的类型约束是Record<string, (data: TData) => any>，也就是说TComputed里的每个函数都依赖TData的类型。但Card函数的泛型参数顺序是TData → TMethod → TComputed，TypeScript会按照这个顺序依次推断泛型类型。
2. 推断顺序冲突：当推断TData时，computed选项里的函数属于TComputed范畴，此时TComputed还未被推断，TypeScript无法提前用TComputed的内容反过来约束TData；而当后续推断TComputed时，虽然TData已经确定，但函数参数的类型推断是在解析对象字面量时进行的，早于泛型参数的完整推断流程，导致data参数无法获取到已推断出的TData类型，只能默认是any。
3. 双向依赖的推断限制：TypeScript目前无法自动处理这种“TData和TComputed互相依赖”的泛型推断场景，必须显式给出其中一方的类型，或者调整泛型的定义方式来打破这种循环依赖。

简单修复思路（可选） #

如果要让类型推断正常工作，可以通过显式指定TData类型或者调整泛型结构来打破依赖循环。例如显式指定泛型参数：

Card<{ a: number }>({
  data: { a: 1 },
  computed: {
    c(data) { // 此时data会被推断为{ a: number }
      return data.a + 1;
    }
  },
  // ... 其他选项
})

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