Typescript 交叉接口型防护装置

不幸的是，TypeScript的类型系统不足以表示schema和data的属性之间的任意相关性.它需要microsoft/TypeScript#30581中描述的correlated unions，以及每种可能的对象类型的"无限"并集，如microsoft/TypeScript#14466中所要求的existential types...但是TypeScript并不直接支持这两种类型.

我想说的是，您需要重构成将schema和data封装在一个对象中的东西，它公开了一些方法来获得discriminated union对模式类型和属性值.可能是这样:

function validate(data: Data, schema: Schema) {
  // do validation, and then
  return function prop(k: string) {
    return { type: schema.properties[k]?.type, data: data[k] } as
      { type: "number", data: number } |
      { type: "string", data: string } |
      { type: undefined, data: undefined }
  }
}

因此，当你调用validate(data, schema)时，你会得到一个验证函数:

const vf = validate(data, schema);

这个函数可以为任何给定的属性调用:

const firstNameProp = vf("firstname");

然后是类型/数据值的判别并集:

/* const firstNameProp: {
    type: "number";
    data: number;
} | {
    type: "string";
    data: string;
} | {
    type: undefined;
    data: undefined;
} */

可以按照您想要的方式进行判断:

if (firstNameProp.type === "string") {
  const firstName: string = firstNameProp.data;
} else {
  firstNameProp.data // number | undefined now
}

它不是great，但在类型系统中至少要表示possible.

Playground link to code