保证Java中泛型的协变返回类型

Question

public class Point {
    public Point[] neighbors() { /* implementation not shown */ }
}

public class SpecialPoint extends Point {
    public SpecialPoint[] neighbors() { /* implementation not shown */ }
}

java prettyprint-override">public <P extends Point> P doStuff(P point) {
    P[] neighbors = point.neighbors();
    // more stuff here including return
}

这将无法编译，因为编译器只能保证p是point的某个子类，但不能保证point的每个子类都将重写neighbors()以返回自身的数组，就像我碰巧对specialpoint所做的那样，因此Java只知道p#neighbors()返回point[]而不是p[]。

我如何保证每个子类都用一个协变返回类型重写neighbors()，以便我可以将它与泛型一起使用？

Answer 1

您可以使用一个接口：

public interface Point<P extends Point<P>> {
    P[] neighbors();
}

public class SimplePoint implements Point<SimplePoint> {
    @Override
    public SimplePoint[] neighbors() { /* ... */ }
}

public class SpecialPoint implements Point<SpecialPoint> {
    @Override
    public SpecialPoint[] neighbors() { /* ... */ }
}

然后：

public <P extends Point<P>> P doStuff(P point) {
    P[] neighbors = point.neighbors();
    /* ... */
}

如果您仍然需要在实现之间分解代码，那么最好使用抽象类：

public abstract class Point<P extends Point<P>> {
    public abstract P[] neighbors();
    public void commonMethod() { /* ... */ }
}

public class SimplePoint extends Point<SimplePoint> { /* ... */ }

public class SpecialPoint extends Point<SpecialPoint> { /* ... */ }