如何提取接口实现的类型参数并优化泛型函数的参数自动补全范围

你的问题核心在于TranslationKeys<T>的类型推断逻辑和函数泛型约束的组合，没有让TypeScript精准识别出仅允许的翻译键。我们来一步步拆解并解决这个问题：

问题根源 #

你当前的TranslationKeys<T>用了递归的T extends ITranslatable<T, infer K>写法，虽然编译能通过，但TypeScript处理这种递归泛型约束时，没法精准从ITranslatable的第二个类型参数里提取出K，反而会 fallback 到T的所有键。再加上函数泛型约束T extends ITranslatable<T, TranslationKeys<T>>形成的循环依赖，进一步干扰了类型推断的精度。

解决方案一：显式分离泛型参数 #

最直接的修复方式是给translate函数显式声明两个泛型参数T和K，明确约束T必须实现ITranslatable<T, K>，这样key参数的类型就会严格对应K，自动补全也会精准显示允许的键：

export function translate<T extends ITranslatable<T, K>, K extends keyof T>(
  item: T,
  key: K,
  language: string = DEFAULT_LANGUAGE
) {
  return language === DEFAULT_LANGUAGE 
    ? item[key] 
    : item.translations?.find(translation => translation.lang === language)?.[key] ?? item[key];
}

调用这个修改后的函数时，TypeScript会自动从T（比如你的Foo接口）的继承关系中推断出K为'name' | 'description'，因此第二个参数的自动补全只会显示这两个选项，不会包含id或translations。

解决方案二：优化TranslationKeys类型推断 #

如果你更倾向于保留原有的单泛型参数函数，可以调整TranslationKeys的定义，去掉递归的T参数，改用通配符来提取K：

export type TranslationKeys<T> = T extends ITranslatable<any, infer K> ? K : never;

export function translate<T extends ITranslatable<T, TranslationKeys<T>>>(
  item: T,
  key: TranslationKeys<T>,
  language: string = DEFAULT_LANGUAGE
) {
  return language === DEFAULT_LANGUAGE 
    ? item[key] 
    : item.translations?.find(translation => translation.lang === language)?.[key] ?? item[key];
}

这里把ITranslatable<T, infer K>改成ITranslatable<any, infer K>，让TypeScript不再纠结于第一个递归参数，而是直接从ITranslatable的实现中提取出正确的K类型，这样TranslationKeys<T>就能精准返回允许的翻译键，自动补全也会正常工作。

验证效果 #

以你的Foo接口为例：

interface Foo extends ITranslatable<Foo, 'name' | 'description'> {
  id: string;
  name: string;
  description: string;
}

现在调用translate(fooItem, ...)时，第二个参数的自动补全只会显示'name'和'description'，完全符合你的预期。

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