如何将非通用接口扩展为通用接口?

时间:2018-08-30 05:30:19

标签: java generics java-8 functional-interface

我正在尝试扩展TemporalAdjuster,使它看起来像

public interface TypedTemporalAdjuster<T extends Temporal & Comparable<? super T>> {

    T adjustInto(T temporal);
}

当我尝试直接扩展基本接口时,

public interface TypedTemporalAdjuster<T extends Temporal & Comparable<? super T>>
        extends TemporalAdjuster {

    T adjustInto(T temporal);
}

我出错了。

  

... java:名称冲突:...具有相同的擦除方式,但没有一个覆盖另一个

有什么办法吗?

到目前为止,我做到了。

public interface TypedTemporalAdjuster<T extends Temporal & Comparable<? super T>> { //extends TemporalAdjuster {

    static <T extends Temporal & Comparable<? super T>> TypedTemporalAdjuster<T> of(
            final Class<T> temporalClass, final TemporalAdjuster temporalAdjuster) {
        return temporal -> temporalClass.cast(temporalAdjuster.adjustInto(temporalClass.cast(temporal)));
    }

    T adjustInto(T temporal);
}

1 个答案:

答案 0 :(得分:7)

您不能覆盖具有更多限制性参数的方法,即T adjustInto(T temporal);不能覆盖Temporal adjustInto(Temporal temporal);,因为参数类型T的约束性比Temporal更大。因此,您现在有两个名称为adjustInto的方法,但是由于类型擦除,参数类型在字节码级别上是相同的,因为T extends Temporal & Comparable<? super T>被擦除为Temporal

您可以通过将声明更改为

来解决此问题
public interface TypedTemporalAdjuster<T extends Comparable<? super T> & Temporal>
extends TemporalAdjuster {
    T adjustInto(T temporal);
}
那时

,语义相同的T extends Comparable<? super T> & Temporal被擦除为Comparable而不是Temporal。您还可以使用T extends Object & Comparable<? super T> & Temporal并将其擦除为Object(通常,此类知识仅在您需要与泛型代码兼容时才有意义)。

但是,根本的问题仍然存在,adjustInto(T temporal);不会覆盖adjustInto(Temporal temporal);,因为T是一个更具限制性的参数,所以现在该接口不再是功能性接口,因为它具有两种抽象方法。

TemporalAdjuster的子接口必须提供其所有操作,包括adjustInto接受任何Temporal的操作。所以你只能做

public interface TypedTemporalAdjuster<T extends Temporal & Comparable<? super T>>
extends TemporalAdjuster {

    static <T extends Temporal & Comparable<? super T>> TypedTemporalAdjuster<T> of(
            final Class<T> temporalClass, final TemporalAdjuster temporalAdjuster) {
        return temporal -> temporalClass.cast(temporalAdjuster.adjustInto(temporal));
    }

    @Override T adjustInto(Temporal temporal);
}

但是,这种包装的调节器不能确保正确的参数,只能隐藏类型转换,而类型转换在运行时仍然可能失败。但是,您似乎要在这里解决一个不存在的问题,因为您可以简单地在时间上使用with方法来获得类型安全的操作,例如

TemporalAdjuster a = TemporalAdjusters.lastDayOfMonth();

LocalDate     date1     = LocalDate.now(),     date2     = date1.with(a);
LocalDateTime dateTime1 = LocalDateTime.now(), dateTime2 = dateTime1.with(a);
ZonedDateTime zoned1    = ZonedDateTime.now(), zoned2    = zoned1.with(a);

例如,当您这样做时,它甚至比包装器更强大

TemporalAdjuster a = TemporalAdjusters.ofDateAdjuster(date -> date.plusDays(1));

ZonedDateTime zoned1 = ZonedDateTime.now(), zoned2 = zoned1.with(a);

根据LocalDate操作,您只定义一次操作,而通过即时转换而不是强制转换将其用于其他时态。