将泛型类的子类分配给该类的超类

Question

我有几个提供的接口

public interface Finder<S extends Stack<T>,T extends Item> {
    public S find(S s, int a);
}

public interface Stack<T extends Item> {
    Stack<T> getCopy();
}

和一个实现第一个的类：

public class SimpleFinder<S extends Stack<T>,T extends Item> implements Finder<S,T>{

    public S find(S s, int a){
         S stack = ....;
         ...
         stack = s.getCopy(); \\Error: incompatible types
                              \\       required: S
                              \\       found:    Stack<T>
        .....
        return stack;
    }


}

如果我不能更改任何接口，那么在保持实现尽可能通用的同时最好的做法是什么？

编辑 我无法中断实例化的其他一些代码， SimpleFinder<ClassA,ClassB>因此我在实现中也应该有两种通用类型。

Answer 1

问题是显然Stack<T>不是S extends Stack<T>。Java是强类型的，不会允许您执行此类操作。

您可以Stack<T>将其强制转换为，在这种情况下，您仍然会收到有关未经检查的转化的警告。这意味着此转换是 不安全的 。

public class SimpleFinder<S extends Stack<T>, T extends Item> implements Finder<S, T> {

    @Override
    public S find(S s, int a) {
        Stack<T> stack = s.getCopy();
        return (S) stack;
    }

}

或直接使用Stack<T>代替S extends Stack<T>，这是我的建议：

public class SimpleFinder<T extends Item> implements Finder<Stack<T>, T> {

    @Override
    public Stack<T> find(Stack<T> s, int a) {
        Stack<T> stack = s.getCopy();
        return stack;
    }

}