如果 Flow 类型检查中存在另一个值，则假设该值存在

Question

我正在尝试弄清楚是否可以使用流。

我有一个函数可以returns像这样的对象

{
  isChannel: boolean,
  channelName?: string,
  streamName?: string,
}

如果isChannel === true，我知道channelName会存在。

在我们代码库的很多地方都有这样的东西

const { channelName, streamName, isChannel } = parseUri(uri);
const name = isChannel ? channelName.slice(1) : streamName;

slice(1)是因为channelName包含了前导@。我知道有一些解决方法，但由于这是所有现有代码，我宁愿不必全部更改。

有什么流类型的说法吗？如果isChannel为真，则channelName存在，如果isChannel为false，则可能存在。

if isChannel === true
then channelName: string
else channelName?: string

Answer 1

您可以定义一个 union type，其中一种类型具有 isChannel: true，另一种类型具有 isChannel: false:

type Channel = 
  | {| isChannel: false, channelName?: string, streamName?: string |}
  | {| isChannel: true, channelName: string, streamName?: string |};

Try Flow

然后您可以通过检查 isChannel 来优化类型，而不必检查 channelName。

如果 Flow 类型检查中存在另一个值，则假设该值存在

Assume value exists if another value exists in Flow type checking

javascript

flowtype

flow-typed