javascript - 覆盖流对象类型中的单个字段类型的通用方法

Question

给定一个类型

type X = {|
  a: number,
  b: number,
|};

我希望能够将其任何字段映射到另一种类型。例如，

type Y = {|
  a: string,
  b: number,
|};

或

type Y = {|
  a: number,
  b: any,
|};

---

我尝试了以下方法:

type Overwrite<O: Object, K: $Keys<O>, T> =
  {...O, [K]: T}

type X = {|
  a: number,
  b: number,
|};
type Y = Overwrite<X, 'a', string>;

const y: Y = {
  a: '12',
  b: 12,
}

乍一看似乎可行，但后来我意识到它也让 b 被覆盖，并且 a 仍然可以是 number

const y: Y = {
  a: 1,
  b: '1',
}

有什么办法可以实现我想要做的事情吗？

Answer 1

您可以使用对象扩展和精确类型进行覆盖:

type Overwrite<O, T> =
  {...O, ...T}

type X = {|
  a: number,
  b: number,
|};
type Y = Overwrite<X, {| a: string |}>;

const y: Y = {
  a: '12',
  b: 12,
}

// $ExpectError
const z: Y = {
  a: 1,
  b: '1',
}