具有类和接口的 Java 泛型 - 一起使用

Question

我想要一个 Class 对象，但我想强制它所代表的任何类扩展类 A 并实现接口 B。

我能做到：

Class<? extends ClassA>

或者：

Class<? extends InterfaceB>

但我不能两者都做。有没有办法做到这一点？

Answer 1

其实，你可以做你想做的事。如果你想提供多个接口或一个类加接口，你必须让你的通配符看起来像这样：

<T extends ClassA & InterfaceB>

请参阅 sun.com 上的 Generics Tutorial，特别是页面底部的 Bounded Type Parameters 部分。如果您愿意，您实际上可以列出多个接口，对您需要的每个接口使用& InterfaceName。

这可能会变得任意复杂。为了演示，请参阅Collections#max 的 JavaDoc 声明，它（包装成两行）是：

public static <T extends Object & Comparable<? super T>> T
                                           max(Collection<? extends T> coll)

为什么这么复杂？正如 Java 泛型常见问题解答中所说：To preserve binary compatibility。

看起来这不适用于变量声明，但在将泛型边界放在类上时它确实有效。因此，要做你想做的事，你可能需要跳过几个圈。但你可以做到。你可以做这样的事情，在你的类上设置一个通用的边界，然后：

class classB { }
interface interfaceC { }

public class MyClass<T extends classB & interfaceC> {
    Class<T> variable;
}

获取具有您想要的限制的variable。有关更多信息和示例，请查看Generics in Java 5.0 的第 3 页。注意，在<T extends B & C> 中，类名必须在前，接口在后。当然，您只能列出一个类。

Answer 2

您不能使用“匿名”类型参数（即使用? 的通配符）来执行此操作，但您可以使用“命名”类型参数执行此操作。只需在方法或类级别声明类型参数即可。

import java.util.List;
interface A{}
interface B{}
public class Test<E extends B & A, T extends List<E>> {
    T t;
}

Answer 3

这是你在 Kotlin 中的做法

fun <T> myMethod(item: T) where T : ClassA, T : InterfaceB {
    //your code here
}