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

内容来源于 Stack Overflow,并遵循CC BY-SA 3.0许可协议进行翻译与使用

  • 回答 (2)
  • 关注 (0)
  • 查看 (17)

我有一个类调用Pointneighbors()返回一个Points 数组的方法:

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

我有一个子类Point,称为SpecialPoint覆盖neighbors()返回SpecialPoints 的数组而不是Points。我认为这被称为协变返回类型。

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

在一个单独的类,我想利用PointSpecialPoint使用泛型

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()协变返回类型,以便我可以在泛型中使用它?

提问于
用户回答回答于

你可以使用一个接口:

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> { /* ... */ }
用户回答回答于

可能interface Point解决您的问题:

public class Test  
{

    public interface Point  {
        public Point[] neighbors();
    }

    public class SpecialPoint implements Point {
        public SpecialPoint[] neighbors() { return null; }
    }

    public class SpecialPoint2  implements Point {
        public SpecialPoint2[] neighbors() { return null; }
    }

    public Point doStuff(SpecialPoint point) {
        Point[] neighbors = point.neighbors();
        return neighbors[0];
    }

    public Point doStuff(SpecialPoint2 point) {
        Point[] neighbors = point.neighbors();
        return neighbors[0];
    }
}

扫码关注云+社区