如何告诉 Typescript 两个对象键必须相同？

Question

我想在 JS/TS 记录上定义一个类型（即带有键和值的东西）：

type Args<R extends object> = {
  foo: keyof R
  bar: keyof R
}

如何告诉 Typescript 我希望foo和bar是相同的keyof R ？

我可以做这个：

type Args<R extends object, K extends keyof R> = {
  foo: K
  bar: K
}

但是所有Args类型的客户端都必须手动指定类型K ：

type Pizza = {
  name:   string
  radius: int
}

const myArgs: Args<Pizza, 'name'> = { foo: 'name', bar: 'name' }

我认为打字稿应该能够推断出这一点。 但是我该如何写类型呢？

Answer 1

这个有可能。 您可以创建给定泛型类型的所有可能的foo和bar组合的联合，如下所示：

type Args<R extends object> = {
  [K in keyof R]: {
    foo: K,
    bar: K
  }
}[keyof R]

这将导致所需的行为：

type Pizza = {
  name:   string
  radius: number
}

const myArgs1: Args<Pizza> = { 
  foo: 'name', 
  bar: 'name' 
}
const myArgs2: Args<Pizza> = { 
  foo: 'name', 
  bar: 'radius' 
} // Error: "name"' is not assignable to type '"radius"

操场