为什么 { [K in keyof M]: { type: K; payload: M[K] } }[keyof M] 能保留事件名与载荷的关系？

为什么 { [K in keyof M]: { type: K; payload: M[K] } }[keyof M] 能保留事件名与载荷的关系？

1. 它先为每个键构造完整对象，再把这些对象合成联合。
2. 索引访问会在运行时验证每个载荷。
3. 映射类型会把结果变成名义类型。
4. keyof 只会保留 M 中的第一个键。