Java 泛型代码无法编译

Question

下面的代码给我编译带来了麻烦。

给我这个错误

Error:(20, 22) java: incompatible types: com.company.Main.Impl cannot be converted to T

我只需要那个接口在这个函数中工作，我不想对函数体做太多改动。

为什么这不起作用？ 和 我怎样才能做到这一点？

    package com.company;

public class Main {

    class Impl implements someinterface, anotherinterface{

        @Override
        public Integer getInteger() {
            return 0;
        }
    }

    class BigObject{
        public Impl get(){
            return new Impl();
        }
    }

    private <T extends someinterface & anotherinterface> Integer myfunc(BigObject bg){

        T xy = bg.get(); // this line will not compile????
        if (xy.isOK()) // from someinterface 
           return xy.getInteger(); // from anotherinterface
        return null;
    }


    public static void main(String[] args) {
    // write your code here
    }
}

Answer 1

它不会编译，因为在 Java 中，泛型是不变的，see related post。

使用以下代码行：

<T extends SomeInterface> Integer myfunc(BigObject bg) { ... }

你是说T 是某种SomeInterface 的，或者更准确地说，是SomeInterface 的子类型。编译器抱怨T xy = bg.get()，因为bg.get() 返回T 的某个子类型，但该类型可能与Impl 相同也可能不同。

打个比方，你是这样说的：

class Cat extends Animal { }
class AnimalObj {
    public Cat get() {
        return new Cat();
    }
}

private <T extends Animal> Integer myfunc(AnimalObj bg) {
    T xy = bg.get();
    ...
}

T 可以是Cat，但也可以是Dog。谁知道。所以这就是编译器抱怨的原因。

如果你不关心子类型，你应该放弃泛型，改为这样写：

private Integer myfunc(AnimalObj bg) {
    Animal xy = bg.get();
    ...
}

由于myFunc 接受BigObject，它能够提供具体的Impl，您只需将<T extends someinterface & anotherinterface> 替换为Impl。

---

阅读全文

• Is List<Dog> a subclass of List<Animal>? Why are Java generics not implicitly polymorphic?
• Generics – The Java Tutorials

Answer 2

让我们稍微改变一下myfunc，让它返回泛型类型T：

private static <T extends someinterface & anotherinterface> T myfunc(BigObject bg){
    return bg.get();
}

现在你可以这样称呼它：

Impl i1 = myfunc( new BigObject() );

像这样：

Impl2 i2 = myfunc( new BigObject() );

但如果BigObject.get 只返回Impl，那么第二次调用就会出现预期Impl2 的错误。