类型与泛型不匹配

Question

这是一个界面：

public interface Foo<T> extends Comparable<Foo<T>>  {
   ...
}

还有一些类实现了这个接口：

public class Bar extends Something implements Foo<Something> {
    public Vector<Foo<Bar>> giveBar() {
        ...
    }
}

public class Boo extends SomethingElse implements Foo<SomethingElse> {
    public Vector<Foo<Boo>> giveBoo() {
        ...
    }
}

现在我想在矢量中保留一堆Foos（可能真的是Foos或Boos）。

Bar bar = new Bar();
Boo boo = new Boo();
Vector<Foo<?>> vector;
if (...) 
   vector = bar.giveBar();
else
   vector = boo.giveBoo();

我明白了：

Type mismatch: cannot convert from Vector<Foo<SomethingElse>> to Vector<Foo<?>>

同样适用：

Vector<Foo> vector;
if (...) 
   vector = giveBar();
else
   vector = giveBoo();

Bar和Boo是否只是解决此问题的唯一解决方案的超类？

Answer 1

所有代码归结为：

Vector<A> vector = new Vector<B>();

在这种情况下，B扩展了A，但这是不允许的，因为类型不匹配。要弄清楚为什么这不起作用，请想象以下代码：

Vector<Vector<?>> vector = new Vector<Vector<String>>();
vector.add(new Vector<Integer>());

变量的类型是未知类型的向量向量;分配给它的是字符串向量的向量。第二行添加整数向量。变量Vector<?>的组件类型，它接受Vector<Integer>;但是实际矢量的组件类型是Vector<String>，而不是。如果编译器没有对第一行的赋值进行反对，那么它将允许你编写不正确的第二行而不被发现。

C＃的泛型有类似的限制，但区别在于C＃中的泛型类存储它的组件类型，而Java在编译代码时会忘记组件类型。

ps - 为什么你在使用Vector而不是LinkedList或ArrayList？是因为涉及线程问题吗？

Answer 2

您可以使用

Vector<? extends Foo<?>> vector;