流：通过扩展另一种类型来创建流类型

Question

type someType = {
  keyOne: string,
  keyTwo: string,
};

type someOtherType = {
  keyOne: string,
  keyTwo: string,
  keyThree: string,
};

这两种类型都是包含keyOne 和keyTwo 的对象，唯一的区别是后者扩展前者带有一个额外的键keyThree。

与其编写重复的代码，是否可以通过扩展someType 来构建someOtherType 流类型？在我的脑海中，ES6 object rest/spread 浮现在脑海中，但我不确定如何在 Flow 中完成这样的事情。

谢谢！

Answer 1

您正在寻找的是intersection type。根据文档：

交集类型要求值是所有输入类型。

语法：交集： & ... &

交集类型旨在扩展现有类型并向其添加额外的类型要求。

type someType = {
  keyOne: string,
  keyTwo: string
}

type someOtherType = someType & {
  keyThree: string
}

const shouldBeOk: someOtherType = {
  keyOne: 'biz',
  keyTwo: 'buzz',
  keyThree: 'baz',
}

const shouldError: someOtherType = {
  keyOne: 123,
  keyTwo: 'hello',
  keyThree: 'world',
}

// flow error:
16: const shouldError: someOtherType = {
                               ^ object literal. This type is incompatible with
8: type someOtherType = someType & {
                        ^ object type

交集类型的逻辑反义词是union type。根据文档：

联合类型要求值是输入类型之一。

语法：联合： | ... |

举个例子。您可以使用联合类型来创建可枚举。

type fooBarBazType = 'foo' | 'bar' | 'baz';
const shouldBeOk: fooBarBazType = 'bar';

const shouldError: fooBarBazType = 'buzz';

4: const shouldError: fooBarBazType = 'buzz';
                                      ^ string. This type is incompatible with
4: const shouldError: fooBarBazType = 'buzz';
                      ^ string enum

Answer 2

抱歉，接受的答案是错误的，它只是因为您没有使用完全匹配而起作用。

When using exact match you'll get an error:

10: const shouldBeOk: someOtherType = {
^ 无法将对象文字分配给shouldBeOk，因为属性 keyOne 在对象类型 1 中缺失，但存在于对象字面量中 2。参考资料： 6: type someOtherType = someType & {|
^ 1 10: const shouldBeOk: someOtherType = {
^2

正确的做法是使用spread操作：

type someOtherType = {|
  ...someType,
  keyThree: string
|}

demo