[Typescript]：是否可以使用泛型 X 的键和泛型 X 的值创建类型安全映射？

Question

期望的行为是：

const obj: ??? = {
  [Fruit<T>]: Taste<T>,
  [Fruit<Y>]: Taste<Y>,
}

const key: Fruit<T> = ...;

obj[key] // can only be Taste<T>

我知道我可以使用Record<Fruit<T>, Taste<T>>但它仍然允许我为Fruit<Y>设置Taste<T> Fruit<Y> ；

Answer 1

这样做的一种方法是拥有一个映射类型来表示Fruit与哪种Taste相关联，例如

type FruitTasteMap = {
    apple: 'yummy'
    banana: 'not so much'
}

然后您的对象将被键入为

type F = {
    [k in keyof FruitTasteMap]: FruitTasteMap[k]
} 

这会导致您正在寻找的内容

const ok: F = { // OK
  apple: 'yummy',
  banana: 'not so much'
}

const wrong: F = {
  apple: 'yummy',
  banana: 'like it!' // Type '"like it!"' is not assignable to type '"not so much"'
}