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

问题描述

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

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

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

• key 是某个 Action 类型的“type”属性
• 值必须是某种操作类型

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

lastAction["fulfil"]=snoozeAction

我只是在这里遗漏了显而易见的东西。我确信有一些方法可以使用分配条件或更简单的方法来做到这一点。下面的伪代码是垃圾打字稿，因为泛​​型不能像这样在每个属性的基础上工作，但它给出了我所追求的想法......

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

解决方法

使用 Typescript 4.1 的 key remapping，这非常容易：

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