Java泛型类可分配性[重复]答案

【问题标题】：Java Generic classes assignability [duplicate]Java泛型类可分配性[重复]
【发布时间】：2013-08-16 22:06:26
【问题描述】：

我有以下课程：

    public interface ModelObject {
    }
    public interface Resource {
    }
    public interface Transformer <F,T>{
    }
    public interface WrapperFactory {
        Transformer<Resource, Wrap<? extends ModelObject>> createMapper();
    }
    public class Wrap<E extends ModelObject> {

    }

    public class AbstractBaseTransformer<F,T> implements Transformer<F,T> {
    }
    public class ConcreteModel implements ModelObject {

    }
    public class ConcreteTransformer extends AbstractBaseTransformer<Resource, Wrap<ConcreteModel>> {

    }
    public class ConcreteFactory implements WrapperFactory {

        @Override
        public Transformer<Resource, Wrap<? extends ModelObject>> createMapper() {
            return new ConcreteTransformer();
        }
    }

ConcreteFactory 没有编译说明 ConcreteTransformer 与返回的不兼容

Transformer<Resource, Wrap<? extends ModelObject>>

我看不出这里有什么问题。 ConcreteTransformer 将第一个参数绑定到 Resource（与预期相同），同时将第二个参数绑定到：

Wrap<ConcreteModel>

应该绑定到：

Wrap<? extends ModelObject>

作为 ConcreteModel 实现它。

【问题讨论】：

这是发生在 Eclipse 中还是 JDK 中？ Eclipse 编译器包含一些错误。
@dsmog 正确的术语是“泛型”（Java）、“模板类”（C++ 中一个语法相似但概念上非常不同的概念）。

标签： java generics

【解决方案1】：

这是一个更简单的版本，用于缩小问题范围：

interface ModelObject {}
class ConcreteModel implements ModelObject {}

class Wrap<E extends ModelObject> {}
class SomeGeneric<T> {}

class Simple {
    public SomeGeneric<Wrap<? extends ModelObject>> m() {
        return new SomeGeneric<Wrap<ConcreteModel>>();
    }
}

也不编译。

你的问题是SomeGeneric<Wrap<ConcreteModel>> is not a SomeGeneric<Wrap<? extends ModelObject>>。

【讨论】：

【解决方案2】：

Wrap<ConcreteModel> 是Wrap<? extends ModelObject> 的子类型？是的。

Transformer<Resource, Wrap<ConcreteModel>> 是Transformer<Resource, Wrap<? extends ModelObject>> 的子类型？没有。

同理：

String 是Object 的子类型？是的。

List<String> 是List<Object> 的子类型？没有。

基本上，要兼容参数化类型，如果顶级参数不是通配符，则参数必须完全匹配。在您的情况下，顶级参数不是通配符，并且参数不完全匹配。

你可能想要的是

Transformer<Resource, ? extends Wrap<? extends ModelObject>>

【讨论】：

【解决方案3】：

Wrap<ConcreteModel> 可以分配给Wrap<? extends ModelObject> 类型的变量。但是这里的问题比较复杂。

假设您有一个ArrayList<Wrap<? extends ModelObject>> list。当你有这样的类型时，意味着你可以在列表中添加一个Wrap<ConcreteModel>，但也意味着你可以向它添加一个Wrap<ModelObject>。简而言之，这意味着您有一个列表，其中可以包含可以转换为 ModelObject 的任何内容的 Wrap。

另一方面，拥有ArrayList<Wrap<ConcreteModel>> list 意味着您只能向其中添加Wrap<ConcreteModel>s，而不能向其中添加Wrap<ModelObject>，因为列表只能包含包装的ConcreteModels，以及包裹的ModelObject 不是包裹的ConcreteModel，也不能被转换为一个。

这正是你的情况。您声明了 createMapper() 方法以返回 Transformer<Resource, Wrap<? extends ModelObject>>。这意味着返回的 Transformer 的第二个参数必须能够是 ModelObject 的任何子类，包括 ModelObject 本身。相反，您正试图返回Transformer<Resource, Wrap<ConcreteModel>>。

编译器需要强制执行这一点，因为Transformer<F, T> 可以声明一个方法：

void myMethod(F fObject, T tObject);

如果是这种情况，Transformer<Resource, Wrap<? extends ModelObject>> 类型的对象的方法myMethod 将接受ModelObject 类型的对象作为其第二个参数。另一方面，同样的方法，在 Transformer<Resource, Wrap<ConcreteModel>> 类型的对象中不能接受 ModelObject 作为其第二个参数。

【讨论】：