java - 泛型——我是不是遗漏了什么或者有什么意义？

Question

我有以下代码:

public class AClass<X extends AnInterface> implements AnotherInterface {

    public AClass(X x){
    }

}

当我可以用 AnInterface 替换它时，为什么我要使用 X 作为构造函数参数类型？当然它们的意思是一样的，都是 AnInterface 的子类型吗？

我试图将我所有的参数类型保持为通用的，并且只在通用参数声明中提及接口(interface)名称，例如“X extends AnInterface”但是遇到了问题，因为它说的是我传入的值，它是 AnInterface 类型，不等于类型 X。

编辑:

public void<X extends AnInterface> myMethod(){


    AnInterface b = new ADiffClass();
    AnotherInterface a = new AClass(b);
}

public class ADiffClass<X extends AnInterface> implements AnInterface {

    public ADiffClass(){
    }

}

这是我遇到问题的地方，我收到一个编译错误，指出 b 的类型是 AnInterface，而 AClass 的构造函数中所需的类型是 X。

Answer 1

如果你像这样声明一个变量:

private AClass<Foo> a;

以下将是有效的:

 a = new AClass<Foo>(new Foo());

但以下不会:

 a = new AClass<Foo>(new Bar());

(假设 Foo 和 Bar 是 AnInterface 的两个实现)。

在这种情况下，泛型的意义在于:将类型限制为实现(或扩展)AnInterface 的特定类型。