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

我可以:

Class<? extends ClassA>

Or:

Class<? extends InterfaceB>

但我不能两者兼得。有办法做到这一点吗?


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

<T extends ClassA & InterfaceB>

请参阅sun.com上的泛型教程,特别是页面底部的有界类型参数部分。如果您愿意,您实际上可以列出多个接口,使用& InterfaceName为您需要的每个接口。

这可以变得非常复杂。为了演示,请参阅Collections#max的JavaDoc声明,它(被包装成两行)是:

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

为什么这么复杂?如Java泛型常见问题解答中所说:为了保持二进制兼容性。

看起来这对变量声明不起作用,但在类上放置泛型边界时却起作用。因此,要想做你想做的事,你可能得经历一些困难。但你可以做到。你可以这样做,在你的类上设置一个泛型边界,然后:

class classB { }
interface interfaceC { }

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

得到你想要的有限制的变量。有关更多信息和示例,请参阅Java 5.0中的泛型(Generics in Java 5.0)第3页。注意,在<T extends B & C>中,类名必须放在前面,然后是接口。当然,您只能列出一个类。


您不能使用“匿名”类型参数(即使用的通配符?),但可以使用“命名”类型参数。只需在方法或类级别声明类型参数。

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