多态和非多态类型的联合

【问题标题】：Union of Polymorphic and Non-Polymorphic Types多态和非多态类型的联合
【发布时间】：2017-01-04 22:39:14
【问题描述】：

Flow 预测多态的方式真的让我很头疼。 Here's a minimum example 来证明我遇到的麻烦。

我预计以下内容会基于 myPolymorphicAction.payload.key 的类型不正确而引发错误。相反，action 不是多态类型令人窒息。

Flow 能在这里分辨出来吗？

/* @flow */

type normalAction = {
    type: string,
    payload?: any,
}

type polymorphicAction <P: *> = {
  type: string,
  payload: P,
}

type action = polymorphicAction<*> | normalAction;

const myAction: action = {
    type: "Hello",
    payload: { key: "World" }
};

const myPolymorphicAction: action<myActionPayloadType> = {
    type: "Hello",
    payload: { key: "World" }
}

type myActionPayloadType = {
    key: number
}

// FLOW OUTPUT //

20: const myPolymorphicAction: action<myActionPayloadType> = {                                                             
^ object literal. Expected polymorphic type instead of

20: const myPolymorphicAction: action<myActionPayloadType> = {
                               ^ type `action`

【问题讨论】：

标签： javascript reactjs polymorphism flowtype

【解决方案1】：

预期的多态类型

表示您在非多态类型上使用<...>。因为你的action 是

type action = polymorphicAction<*> | normalAction;

流程是正确的，您的action 类型上没有<>。你可以这样做

type action<T> = polymorphicAction<T> | normalAction;

然后

const myAction: action<*> = {
// ...
const myPolymorphicAction: action<myActionPayloadType> = {

这将使 Flow 停止抛出您遇到的错误，但这仍然不会导致它在您的 "Hello" 字符串上出错，因为您的操作有 | normalAction 和 normalAction 仍然有 payload?: any, 这将允许任何有效载荷。

【讨论】：