Java泛型报错：required T与provided capture类型不匹配如何修复

你代码的报错来自两处泛型使用错误：

1. 集合类型声明错误：你给points字段用了? extends AbstractPoint<?>作为泛型上界，Java中所有? extends限定的集合都是只读集合，除了null之外不能往里面添加任何元素——因为编译器无法确认你要添加的元素类型和集合实际持有的元素类型是否匹配，所以add操作直接报错。
2. 泛型方法调用不满足约束：你定义的distance方法要求入参必须是符合T extends AbstractPoint<T>自限定规则的类型，但是从带通配符的List中取出的元素是通配符捕获类型，编译器无法证明它符合自限定约束，所以调用distance时报错。

调整方案 #

1. 修改points字段的泛型声明，去掉? extends，直接声明为List<AbstractPoint<?>>，就可以正常添加任意AbstractPoint子类的实例，解决add报错的问题。
2. 新增一个私有泛型辅助方法，利用泛型方法的类型捕获能力处理通配符类型，让编译器确认调用distance时的参数符合自限定约束，解决distance调用报错的问题。

修改后完整Route类代码 #

public class Route {
    private final List<AbstractPoint<?>> points = new ArrayList<>();

    public <T extends AbstractPoint<T>> void appendPoint(T point) {
        this.points.add(point);
    }

    public <T extends AbstractPoint<T>> void removePoint(T point) {
        this.points.remove(point);
    }

    // 泛型辅助方法，捕获两个点的实际类型，满足distance方法的自限定约束
    private <P1 extends AbstractPoint<P1>, P2 extends AbstractPoint<P2>> double calcDistance(AbstractPoint<P1> prePoint, AbstractPoint<P2> curPoint) {
        return prePoint.distance(curPoint);
    }

    public double routeDistance() {
        double totalDistance = 0;
        // 用普通遍历替代原stream+indexOf的写法，避免重复遍历列表，性能更高
        for (int i = 1; i < points.size(); i++) {
            totalDistance += calcDistance(points.get(i - 1), points.get(i));
        }
        return totalDistance;
    }
}

修改后即可正常添加任意正交坐标/极坐标类型的点，调用routeDistance方法直接得到路径总长度。

内容的提问来源于stack exchange，提问作者syydi