类型与泛型不匹配

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？是因为涉及线程问题吗？