如何对兼容的通配符进行不同的捕获？

Question

我正在尝试使用一个类型参数class MyClass<E>创建泛型类，它具有第二个泛型类的类变量，其中包含两个类型参数SecondClass<V, E> 。 因为对于我的代码而言， V的类型无关紧要，我将该变量的类型声明为SecondClass<?, E> var 。 在MyClass实现的某个时刻，我在var上调用一个返回V， public V foo(E e) ，然后将这个V类型的对象传递给另一个var， public int bar(V v) 。 然而，这并不编译的，因为我的原因只是隐约知道，但我相信它在说明这里 。

显然，捕获了？ foo返回的不同于捕获的？ 酒吧需要。 但为什么？ 无论V的实际类型是什么，它对于两种方法都必须相同，因为它们是在同一实例上调用的。 我在这里错过了什么？

最后，我想知道的是：为了使代码编译，我需要更改什么，而不将V添加到MyClass的类型参数？ （我不想强制MyClass的用户指定V的类型，因为它应该无关紧要）

---

为了给你一个更具体的例子，这里是我正在研究的简化版本。 正如您可能已经通过类型参数猜测的那样，它涉及图形。 MyClass转换为EdgePainter ， SecondClass转换为Graph 。 使用此代码，编译错误位于EdgePainter.getColor(E)的第一行。

class Graph<V, E>
{

    public V getTarget(E edge)
    {
        return null;
    }

    public int getInDegree(V vertex)
    {
        return 0;
    }

}

class EdgePainter<E>
{

    private static final Color COLOR_FOR_MANY_EDGES = Color.RED;
    private static final Color COLOR_FOR_FEW_EDGES = Color.BLUE;

    private Graph<?, E> graph;

    public EdgePainter(Graph<?, E> aGraph)
    {
        graph = aGraph;
    }

    public Color getColor(E edge)
    {
        // My compiler says:
        // The method getInDegree(capture#3-of ?) in the type
        // Graph<capture#3-of ?,E> is not applicable for the arguments
        // (capture#4-of ?)
        int degree = graph.getInDegree(graph.getTarget(edge));
        if (degree > 10)
            return COLOR_FOR_MANY_EDGES;
        else
            return COLOR_FOR_FEW_EDGES;
    }

}

Answer 1

您可以通过调用泛型方法捕获通配符。

public Color getColor(E edge) {
    return getColorInternal(graph, edge);
}
private <X> Color getColorInternal(Graph<X, E> g, E e) {
    int degree = g.getInDegree(g.getTarget(e));
    // ...
}

这是典型的情况。 您需要实现的类型参数，但希望将其隐藏在API用户中。 如果许多方法受到影响，定义一个单独的，可能是嵌套的类EdgePainterInternal 。 此内部实现具有第二个类型参数G和公开可见的实现EdgePainter将所有调用委托给EdgePainterInternal实例。