使用TypeScript Record工具类型重构接口时的类型约束问题

嗨，咱们来聊聊你遇到的这个TypeScript类型定义问题。

先看你原来的接口定义：

// OLD
interface IData {
  missions: Missions
  items: Items
}

这个接口逻辑很清晰，missions字段严格对应Missions类型，items字段严格对应Items类型，每个键和类型都是一一绑定的。

再看你现在尝试的新写法：

// Something new now
type Keys = "missions" | "items"
type INewDataType = Record<Keys, Missions | Items>

这里的问题就出在Record的第二个参数上——你用了Missions | Items联合类型，这就导致INewDataType里的每个键（不管是missions还是items）都可以是Missions或者Items类型，完全打破了原来接口里键与类型严格对应的约束。

简单说，按照这个新类型，你可以给missions赋值Items类型的对象，也能给items赋值Missions类型的对象，这显然和你原本的需求不符，因为原来的接口是明确限定了每个字段的专属类型的。

备注：内容来源于stack exchange，提问作者etrix