我定义这种类型的方式有什么问题
type Payload<Es> = {
trigger:
Es extends Record<infer K, infer V>
? { key: K, data: V } : never
}
type Evs = {
"item.1": { ok: "Y", code: number }
"item.2": 1 | 0
}
const payload: Payload<Evs> = {
trigger: {
key: "item.1",
data: 1
}
}
payload.trigger.data并没有像我预期的那样被推断出来
expected
{ ok: "Y", code: number }
what I get
0 | { ok: "Y", code: number } | 1
Record<K, V> utility type是与属性键为K类型和属性值为V类型的对象相对应的类型.但特定的键与特定的值并不相关. 如果你从{a: string, b: number}开始，然后try 从infer到Record<K, V>，你会得到Record<"a" | "b", string | number>.这与您从{a: number, b: string}中获得的类型相同. 所以你真的不想在这里推断出Record，除非你用want将所有属性混合在一起.
相反，您实际上只需要对类型进行map over次迭代，迭代每个键K，并生成相应的对象类型，然后对映射类型进行index into次即可获得union个属性.也就是说，您想要distributive object type(正如microsoft/TypeScript#47109中创造的那样):
type Payload<E> = {
trigger: { [K in keyof E]: { key: K, data: E[K] } }[keyof E]
}
您可以验证这是否为您提供了所需的内容:
type Evs = {
"item.1": { ok: "Y", code: number }
"item.2": 1 | 0
}
type PEvs = Payload<Evs>;
/* type PEvs = {
trigger: {
key: "item.1";
data: {
ok: "Y";
code: number;
};
} | {
key: "item.2";
data: 0 | 1;
};
} */
const payload: Payload<Evs> = {
trigger: {
key: "item.1",
data: 1 // error!
}
}