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

Question

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

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

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

• 键是来自某些操作类型
的“类型”属性
• 该值必须是某种操作类型

...当前不强制键和值来自 same 操作类型。理想情况下，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 
} = {}