泛型方法中的 Java 有界参数

Question

我在泛型方法中测试了一些有界参数的东西，我发现了一些奇怪的行为。
如果有人能解释以下代码 sn-p 中的两个错误，那就太好了。

假设有两个类Class1 和Class2 都从BaseClass 扩展而来。 Class2 实现了一个接口。

在Class1 中，我有一个方法可以通过以下方式返回Class2 的实例：

public class Class2 extends BaseClass implements Interface {

    @Override
    public void method() {
        System.out.println("test"); //$NON-NLS-1$
    }
}

public class Class1 extends BaseClass {

    public <T extends BaseClass & Interface> T getTwo() {
        return new Class2();
        // Error: Type mismatch: cannot convert from Class2 to T
    }

    public static void main(String[] args) {
        Interface two = new Class1().getTwo();
        // Error: Bound mismatch: The generic method getTwo() of type Class1 is
        // not applicable for the arguments (). The inferred type Interface is
        // not a valid substitute for the bounded parameter <T extends BaseClass
        // & Interface>
        System.out.println(two);
    }
}

Answer 1

出现第一个编译错误是因为方法声明的类型参数是由调用者指定的，而不是方法实现。也就是说，给定

class Class3 extends BaseClass implements Interface { ... }

调用者可以写

Class3 c3 = new Class1().<Class3>getTwo();

，但是方法实现返回一个Class2，它不是T = Class3的子类型。

第二个编译错误发生是因为调用者没有明确指定的类型参数是从方法参数和方法返回值分配给的变量的类型推断出来的。这个推论在这里失败了。 Java 语言规范推荐的通常解决方法是在这种情况下显式指定类型参数（类型推断是为了方便简单的情况；它并不旨在涵盖所有情况）。

至于如何正确声明此类型参数，我需要知道您要通过这些声明来完成什么。

Answer 2

当你知道它是Class2 时，为什么要为方法getTwo 使用泛型？只需这样做：

public Class2 getTwo() {
    return new Class2();
}

如果您要覆盖方法 public <T extends BaseClass & Interface> T getTwo()，当您的 impl 的 T 为 Class2 时，编译器将允许您将您的 impl 声明为 public Class2 getTwo()