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

In 这个游乐场 https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBASwHY2FAZgQwMbDgQQCMBnGKHGfbGBCJOAbwCg44YBPMYALjlKmQBzANwtESUphS8kAVwC2hNKIC%20TJqEixxqDDjwBhKMEyoqNOnFCokAE2IESZCudr1mrDl14AibMdNgH1V1TWh4ZF0sXDgAMVkAG3QEBNdLa2A7ByJ%20F2o3RjEvHjgfdETkhOCmNQ1wcJ00aLwAZSQICAAvYDT6DKzHXOpews9OEp9idq6g0VZZFBSZBSUoELqteGKCfMsAXjgjEzNd%20gAfODaO7pGL%20KSU3tEmbDpSOH9jntPuI8CRg4eVhscbcPwBVA%20AA0YlYyEk0jgSGAAHc4AARQIACgAlAA6QTAGAAFQQ8mAuJhtVeEngU2u3wsSG4VxmANGwOKYPpM2hsPECJgMlRGOx%20MJJLJFJxMOBcAWNASwrRmNQuIJRNJ5NxcAA1HAAMwANgADGazTV1AB6K0wAAWCAcjo%20sigxhQCXYSIg8BpuWQwFsVnaskEdpeb3gCUwpF63CBrAA2vhxDsmYmfMUfABdbMAfm4IxqcEBtSY0djpwzn0COb2NZOTOEcHLMcoVcm026dZ5N1Ozxt9udKIgiSDCFsJgSnrYdqgEDRmA%20EHkYBSaCsbugcCkQboM6X90qIxHY7gSh32FwYFQQbtaGArcr6bKFRSPa7jLczaAA我想创建一个地图，其中最多包含操作联合中每种类型的单个操作。每个联合类型都通过具有不同的字符串文字属性“type”来区分。我对这张地图有一个定义，它可以编译，但太松散了......

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

对键的约束lastAction地图强制...

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

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

lastAction["fulfil"]=snoozeAction

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

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

使用 Typescript 4.1按键重新映射 https://devblogs.microsoft.com/typescript/announcing-typescript-4-1/#key-remapping-mapped-types，这非常简单：

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