Java：使用带有父类的构造函数作为类型参数

Question

我有一个带有 TreeMap 字段和构造函数的类 Timeline：

public class Timeline{
    private TreeMap<DateTime, Schedulable> schedule;

    public Timeline(TreeMap<DateTime, Schedulable> schedule) {
            this.schedule = schedule;
    }
}

我有一个 Activity 类，它有一个 Timeline 作为字段：

public class Activity extends Schedulable implements Serializable {
    private Timeline legalTimes;

    public Activity() {
        legalTimes = new Timeline(new TreeMap<DateTime, LegalTime>());
        //error here for can't find constructor     ^^^^^
}

LegalTime 扩展 Schedulable 的地方。

要求：

• 时间轴应允许其他人在其时间轴上安排任何 Schedulable 子类（不需要在 TreeMap 中保持一致）
• Activity 的字段 legalTimes 应该只在其时间线上有 LegalTime

我认为这段代码应该可以工作，因为 LegalTime 是 Schedulable 的子类。我也无法添加第二个采用 TreeMap 的构造函数，因为它具有相同的擦除。

我该如何解决这个问题？

Answer 1

一般来说，即使B 扩展了A，Type<B> 也不是Type<A>，因为Java 泛型是不变的。这意味着TreeMap<DateTime, LegalTime> 不是TreeMap<DateTime, Schedulable>，即使LegalTime 是Schedulable。

解决方案：

• 将构造函数（和相应的实例变量）声明为TreeMap<DateTime, ? extends Schedulable>。

或

• 将Timeline 设为泛型，泛型类型参数为所需的特定Schedulable：

试试：

public class Timeline<T extends Schedulable> {
    private TreeMap<DateTime, T> schedule;

    public Timeline(TreeMap<DateTime, T> schedule) {
        this.schedule = schedule;
    }
}

还有

private Timeline<LegalTime> legalTimes;

与

legalTimes = new Timeline<LegalTime>(new TreeMap<DateTime, LegalTime>());