javascript - 在类中使用泛型类型

Question

我正在使用 Flow，并且有泛型类型的用例，但不知道如何使用它们。

我有一个类，它接受一种类型的事件数组。所有事件类型共享一些属性(例如 startTime)，但在其他属性上有所不同。类函数的返回值应该与构造函数数组中传递的事件具有相同的类型。

为了使这一点更具体，在下面的代码中我想规定，如果您使用 PartyEvent 数组创建 EventUtility 实例，那么当您请求 EventUtility.earliestEvent() 您可以确定您会得到 PartyEvent 返回。 (传递给构造函数的数组不能由不同类型的对象混合组成。)

谢谢。

export class EventUtility {
    // pick item based on JSON-friendly conditional notation
    events: Array<PartyEvent | AppointmentEvent | MealEvent>

    constructor(events: Array<PartyEvent | AppointmentEvent | MealEvent>) {
        this.events = events;
    }

    earliestEvent(): PartyEvent | AppointmentEvent | MealEvent {
        // determine earliest event in array and return it
        return event;
    }
}

Answer 1

您正在寻找的是有界泛型。 Flow 文档 here 对它们进行了解释.

首先，使您的整个类在某种类型 T 上通用，而不仅仅是您的各个方法。然后将绑定(bind)(类型注释)附加到在类顶部声明的类型 T 上，如下所示:

class EventUtility<T: PartyEvent | AppointmentEvent | MealEvent> {

现在，您的类将接受某种类型 T，但前提是 T 与您指定的边界匹配。您只能在内部对 T 类型的值执行其类型为绑定(bind)类型的值所允许的操作，并且无论使用什么类型 T 来创建该类的实例与将用于返回值的类型相同。

第二个挑战是如何确保您的类中同时只存储一种事件。这是具有挑战性的，因为类型 T 是联合类型，这意味着它可以是这三个类型中的任何一个。 Flow 将允许您使用 PartyEvent 对象数组实例化该类，在这种情况下，T 将具有 PartyEvent 类型，但它也会让您可以使用 MealEvent 和 AppointmentEvent 对象数组实例化它，在这种情况下，T 将具有 MealEvent | 类型。约会事件。您可以通过在使用 EventUtility 时提供显式类型注释来解决此问题，说明您希望它包含哪种类型。尽管 Flow 允许您使用类型组合实例化 EventUtility，但如果您使用比显式注释中声明的类型更大的类型实例化它，则会出错。

Here's Flow Playground 中示例的解决方案。尝试创建具有不同 T 边界的类，并取消某些调用的注释以查看弹出的错误。使用 { startTime: Date } 作为 T 的界限应该会得到相同的结果。