我使用的代码库到目前为止一直依赖eclipse进行编译。我的目标是用 javac （通过 ant )以简化构建过程。该项目在eclipse（版本2019-12（4.14.0））中编译，没有任何问题，但是 javac （openjdk，1.8.0和14.0.2版）产生 method ... cannot be applied to given types 涉及上界通配符的错误。

复制步骤

请注意，在编写本文时，存储库为64 mb：

git clone git@github.com:jamesdamillington/CRAFTY_Brazil.git
cd CRAFTY_Brazil && git checkout 550e88e
javac -Xdiags:verbose \
    -classpath bin:lib/jts-1.13.jar:lib/MORe.jar:lib/ParMa.jar:lib/ModellingUtilities.jar:lib/log4j-1.2.17.jar:lib/repast.simphony.bin_and_src.jar \
    src/org/volante/abm/agent/DefaultSocialLandUseAgent.java

错误消息输出：

src/org/volante/abm/agent/DefaultSocialLandUseAgent.java:166: error: method removeNode in interface MoreNetworkModifier<AgentType,EdgeType> cannot be applied to given types;
                        this.region.getNetworkService().removeNode(this.region.getNetwork(), this);
                                                       ^
  required: MoreNetwork<SocialAgent,CAP#1>,SocialAgent
  found: MoreNetwork<SocialAgent,MoreEdge<SocialAgent>>,DefaultSocialLandUseAgent
  reason: argument mismatch; MoreNetwork<SocialAgent,MoreEdge<SocialAgent>> cannot be converted to MoreNetwork<SocialAgent,CAP#1>
  where AgentType,EdgeType are type-variables:
    AgentType extends Object declared in interface MoreNetworkModifier
    EdgeType extends MoreEdge<? super AgentType> declared in interface MoreNetworkModifier
  where CAP#1 is a fresh type-variable:
    CAP#1 extends MoreEdge<SocialAgent> from capture of ? extends MoreEdge<SocialAgent>
1 error

为完整起见，包含违规行的方法是：

public void die() {
    if (this.region.getNetworkService() != null && this.region.getNetwork() != null) {
        this.region.getNetworkService().removeNode(this.region.getNetwork(), this);
    }

    if (this.region.getGeography() != null
            && this.region.getGeography().getGeometry(this) != null) {
        this.region.getGeography().move(this, null);
    }
}

错误信息分析

我们被告知编译器找到了类型 MoreNetwork<SocialAgent,MoreEdge<SocialAgent>> 在需要的地方 MoreNetwork<SocialAgent,CAP#1> .
这意味着 CAP#1 与不兼容 MoreEdge<SocialAgent> 不管怎么说 CAP#1 extends MoreEdge<SocialAgent> from capture of ? extends MoreEdge<SocialAgent> 关于上界通配符的java文档说明
上界通配符， <? extends Foo> ，在哪里 Foo 是任何类型的，匹配的 Foo 以及任何一种 Foo .
我不明白为什么 MoreEdge<SocialAgent> 不匹配 <? extends MoreEdge<SocialAgent>> ，因此无法调和2和3。

为解决问题所作的努力

虽然我的目标是为Java8进行编译，但我知道在 javac 过去与泛型和通配符相关（参见围绕此答案的讨论）。但是，我发现javac1.8.0ē和javac14.0.2都存在同样的问题。
我还考虑了某种形式的显式转换是否可以为编译器提供足够的提示。但是我想不出要改变什么，因为 this.region.getNetwork() 报告为 MoreNetwork<SocialAgent,MoreEdge<SocialAgent>> 在错误消息中。

问题概括（编辑）

@rzwitserloot正确地指出，我没有在上面的代码中包含足够的依赖信息来进行适当的调试。复制所有依赖项（包括我不控制的库中的一些代码）会变得非常混乱，因此我将问题提取到一个自包含的程序中，该程序会产生类似的错误。

import java.util.HashMap;
import java.util.Map;
import java.util.List;
import java.util.ArrayList;

public class UpperBoundNestedGenericsDemo {

    public static void main(String[] args) {
        MapContainerManagerBroken mapContainerManager = new MapContainerManagerBroken();
        MapContainer<A, B<A>> mapContainer = new MapContainer<>();
        mapContainerManager.setMapContainer(mapContainer);

        Map<A, B<A>> aMap = new HashMap<>();
        aMap.put(new A(), new B<A>());

        mapContainerManager.getMapContainer().addMap(aMap);
        mapContainerManager.getMapContainer().removeMap(aMap);
    }

}

/**
 * Analogue of Region
 */
class MapContainerManagerBroken {
    private MapContainer<A, ? extends B<A>> mapContainer;

    void setMapContainer(MapContainer<A, ? extends B<A>> mapContainer) {
        this.mapContainer = mapContainer;
    }

    MapContainer<A, ? extends B<A>> getMapContainer() {
        return this.mapContainer;
    }
}

/**
 * Analogue of MoreNetworkService
 */
class MapContainer<T1, T2> {

    List<Map<T1, T2>> listOfMaps = new ArrayList<>();

    void addMap(Map<T1, T2> map) {
        listOfMaps.add(map);
    }

    boolean removeMap(Map<T1, T2> map) {
        return listOfMaps.remove(map);
    }

}

class A {
}

class B<T> {
}

它在eclipse中编译，但在编译时使用

javac -Xdiags:verbose UpperBoundNestedGenericsDemo.java

生成错误消息

UpperBoundNestedGenericsDemo.java:18: error: method addMap in class MapContainer<T1,T2> cannot be applied to given types;
                mapContainerManager.getMapContainer().addMap(aMap);
                                                     ^
  required: Map<A,CAP#1>
  found: Map<A,B<A>>
  reason: argument mismatch; Map<A,B<A>> cannot be converted to Map<A,CAP#1>
  where T1,T2 are type-variables:
    T1 extends Object declared in class MapContainer
    T2 extends Object declared in class MapContainer
  where CAP#1 is a fresh type-variable:
    CAP#1 extends B<A> from capture of ? extends B<A>
UpperBoundNestedGenericsDemo.java:19: error: method removeMap in class MapContainer<T1,T2> cannot be applied to given types;
                mapContainerManager.getMapContainer().removeMap(aMap);
                                                     ^
  required: Map<A,CAP#1>
  found: Map<A,B<A>>
  reason: argument mismatch; Map<A,B<A>> cannot be converted to Map<A,CAP#1>
  where T1,T2 are type-variables:
    T1 extends Object declared in class MapContainer
    T2 extends Object declared in class MapContainer
  where CAP#1 is a fresh type-variable:
    CAP#1 extends B<A> from capture of ? extends B<A>
2 errors

部分解决方案

可以修改上一节中的程序，使其在eclipse和 javac 通过替换 MapContainerManagerBroken 具有

class MapContainerManagerNoWildcards {
    private MapContainer<A, B<A>> mapContainer;

    void setMapContainer(MapContainer<A, B<A>> mapContainer) {
        this.mapContainer = mapContainer;
    }

    MapContainer<A, B<A>> getMapContainer() {
        return this.mapContainer;
    }
}

也就是说，通过删除 MapContainer . 这解决了当前的实际问题，但限制了系统的灵活性 MapContainerManagerNoWildcards 相比 MapContainerManagerBroken . 另一种方法是使这个类成为泛型的，例如。

class MapContainerManagerFixedGeneric<T extends B<A>> {
    private MapContainer<A, T> mapContainer;

    void setMapContainer(MapContainer<A, T> mapContainer) {
        this.mapContainer = mapContainer;
    }

    MapContainer<A, T> getMapContainer() {
        return this.mapContainer;
    }
}

然而，这并不能解释为什么 mapContainerManager.getMapContainer().addMap(aMap) 是编译器错误 mapContainerManager 是一个 MapContainerManagerBroken （例如在示例程序中）。具体来说，为什么前一行是错误的，而下面的编译是错误的？

MapContainer<A, ? extends B<A>> mapContainer = new MapContainer<A, B<A>>();