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

Question

在这个操场上，我想创建一个最多包含action联合中每种类型的单个动作的映射。每个unioned类型都通过具有不同的字符串文字属性"type"来区分。我对这张地图有一个定义，它可以编译，但太松散了。。。

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

lastAction映射中对关键帧的约束强制执行。。。

• 键是一个"；类型"；某个Action类型的属性
• 该值必须是某个Action类型

。。。它目前没有强制键和值来自相同的操作类型。理想情况下，操场的最后一行将由于编译器错误而失败，因为它试图分配具有类型"的Action；打盹"；以"；实现"；。

lastAction["fulfil"]=snoozeAction

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

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

Answer 1

使用Typescript 4.1的密钥重映射，这非常容易：

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