typescript - 我可以定义一个具有与每个值的键对应的值约束的 Typescript 映射吗？

Question

在 this playground我想创建一个 map ，其中最多包含操作联合中每种类型的单个操作。每个联合类型都通过具有不同的字符串文字属性“type”来区分。我对这张 map 有一个定义，它可以编译，但太松散......

const lastAction:{
    [A in Action["type"]]?:Action 
} = {}

lastAction 映射中对键的约束强制执行...

• 键是某个 Action 类型的“type”属性
• 该值必须是某种 Action 类型

...目前不强制键和值来自相同操作类型。理想情况下，playground 的最后一行会因为编译器错误而失败，因为它尝试将类型为“snooze”的 Action 分配给名为“fulfil”的属性。

lastAction["fulfil"]=snoozeAction

我只是错过了这里显而易见的事情。我确信有某种方法可以通过分配条件或更简单的方法来做到这一点。下面的伪代码是垃圾 typescript ，因为泛​​型不能像这样在每个属性的基础上工作，但它给出了我想要的东西的想法......

const lastAction: {
    [key:A["type"]]:A extends Action
} = {};

Answer 1

使用 Typescript 4.1 的 key remapping ，这非常简单:

const lastAction:{
    [A in Action as A["type"]]?: A 
} = {}