流联合类型和可选属性

Question

我刚刚遇到了一个令我困惑的问题，flow。有人可以向我解释为什么以下方法不起作用，以及我将如何解决它？

// @flow

type MessageDescriptor = {
  id: string,
  defaultMessage?: string,
  description?: string
};

type MenuLabel = MessageDescriptor & {
  +values?: { +[name: string]: string }
};

const msg: MessageDescriptor = {
  id: 'test'
};

const label: MenuLabel = msg;

我得到的错误是：

9: type MenuLabel = MessageDescriptor & {                                        
                                        ^ property `values`. Property not found in

17: const label: MenuLabel = msg;
                             ^ object type

但是，values 显然是可选的。更奇怪的是，以下工作：

const label: MenuLabel = { ...msg };

Answer 1

看起来要让“Intersection Types + Optionals”工作，你必须在这两种类型中定义可选值。

// @flow

type MessageDescriptor = {
  id: string,
  defaultMessage?: string,
  description?: string,
  +values?: { +[name: string]: string }
};


type MenuLabel = MessageDescriptor & {
  +values?: { +[name: string]: string }
};

const msg: MessageDescriptor = {
  id: 'test'
};

const label: MenuLabel = msg;

鉴于 cmets，也许您正在寻找联合类型而不是交集类型？

// @flow

type MessageDescriptor = {
  id: string,
  defaultMessage?: string,
  description?: string,
};


type MenuLabel = MessageDescriptor | {
  +values?: { +[name: string]: string }
};

const msg: MessageDescriptor = {
  id: 'test'
};

const label: MenuLabel = msg;