TypeScript中如何声明双参数泛型并约束键对应值为指定类型？

嘿，这两个问题都是TypeScript泛型约束里的典型场景，我来给你拆解一下：

问题1：声明双泛型，第一个参数是第二个参数的键且对应值为特定类型 #

你可以通过泛型约束组合来实现这个需求：先用K extends keyof T确保第一个泛型参数是第二个参数的键，再用T extends Record<K, 目标类型>强制这个键对应的值必须是你想要的类型（比如string）。

举个函数的例子：

// 这里目标类型是string，你可以换成number、boolean等任意类型
function getSpecificValue<K extends keyof T, T extends Record<K, string>>(key: K, obj: T): string {
  return obj[key];
}

// 合法调用：obj的"name"键值是string
getSpecificValue("name", { name: "Bob", age: 28 });

// 报错：obj的"age"键值是number，不符合约束
// getSpecificValue("age", { name: "Bob", age: 28 });

问题2：修复泛型类的隐式any问题，确保T[ID]为string #

你的原代码里TypeScript无法推断t[ID]的类型，是因为没有给T添加约束，让它的ID键必须对应string类型。只需要给T加上Record<ID, string>的约束即可：

export abstract class Foo<ID extends keyof T, T extends Record<ID, string>> {
  bar(t: T) {
    const s: string = t[ID]; // 现在TypeScript能明确推断出这里是string，不会有隐式any了
  }
}

测试一下这个类的使用：

// 合法：User的"username"属性是string
class UserFoo extends Foo<'username', { username: string, id: number }> {}

// 报错：User的"id"属性是number，不符合约束
// class InvalidFoo extends Foo<'id', { username: string, id: number }> {}

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