TypeScript:从其他字符串文字联合类型限制区分联合中的鉴别器

Question

我有一个非常基本的判别联合，但对于判别器，我只想允许来自另一个字符串文字联合类型的特定值。这将使向受歧视的联合添加新的联合“案例”变得更加容易。

这是一个字符串文字联合，它描述了该类型允许的“值”:

type AllowedType = "typeForNumber" | "typeForBoolean"

然后，我描述数据的类型使用该字符串文字联合:

type Data = {
  type: AllowedType,
  value: number | boolean
}

根据我的示例，有两个选项，可以根据它们的 type 字段为 value 设置更具体的类型。我不使用这些选项，它们只是用于演示目的:

// Option 1 - "value" is a "number"
type DataOption1 = {
  type: "typeForNumber",
  value: number
}
// Option 2 - "value" is a "boolean"
type DataOption2 = {
  type: "typeForBoolean",
  value: boolean
}

所以我真正想要做的是为 Data 建立一个有区别的联合，因为我可以通过这种方式为其 value 字段提供更具体的类型:

type Data =
  | {
      type: "typeForNumber"
      value: number
    }
  | {
      type: "typeForBoolean"
      value: boolean
    }

当您使用该类型时，一切正常:

const myData: Data = {
  type: "typeForNumber",
  // this creates an error, should be a `number`
  value: "some string"
}

我的问题是:如何确保我的 Data 类型中的 type 字段只能是 AllowedType 的选项之一?

以后AllowedType会有更多选项，所以我想用它们来限制可能的联合类型。

可以像这样更改添加另一个联合到 Data 类型，而不会出现任何错误:

type Data =
  | {
      type: "typeForNumber"
      value: number
    }
  | {
      type: "typeForBoolean"
      value: boolean
    }
  | {
      type: "someOtherType"
      value: string
    }

这个新联合(type: "someOtherType")不应该被允许。

是否可以从其他字符串文字联合类型(AllowedType)中限制此已区分联合(Data)中的鉴别器(type) ？

我尝试对交集使用包装器，但联合会忽略(覆盖？)type 类型:

type AllowedType = "typeForNumber" | "typeForBoolean"

type DataWrapper = {
  type: AllowedType
  value: number | boolean
}

type Data = DataWrapper &
  (
    | {
        type: "typeForNumber"
        value: number
      }
    | {
        type: "typeForBoolean"
        value: boolean
      }
  )

Answer 1

如果我理解正确，问题是 Data 和 AllowedType 可能不同步。如果这是问题所在，您可以扭转局面，根据 Data 定义 AllowedType，如下所示:

type Data =
  | {
      type: "typeForNumber"
      value: number
    }
  | {
      type: "typeForBoolean"
      value: boolean
    };

type AllowedType = Data["type"];

Playground link

然后，添加到 Data 会自动添加到 AllowedType。

---

在评论中，您曾说过您正试图防止 Data 联合的 type 中出现拼写错误:

In my case, the Data type represents dynamic data coming from another source, so I want to be sure that there are e.g. no typos in the type values (like typeForNumber). That's why I'm so keen to find a solution to limit the type to specific values. Turning it around doesn't help in my case.

这似乎对此有所帮助:

type CheckData<DataType extends {type: AllowedType}> =
    Exclude<DataType["type"], AllowedType> extends never
        ? DataType
        : never;

然后这个工作:

type Data = CheckData<
    | {
        type: "typeForNumber"
        value: number
    }
    | {
        type: "typeForBoolean"
        value: boolean
    }>;

但这不是:

type Data2 = CheckData<
    | {
        type: "typeForNumber"
        value: number
    }
    | {
        type: "typeForBoolean"
        value: boolean
    }
    | {
        type: "typeForSomethingElse"
        value: boolean
    }>;

Playground link

不过，它并不能捕获所有 拼写错误。它允许两种类型都使用相同的 type 值。