Java泛型参数作为确切的子类？

Question

假设我们有这样的方法：

public void foo(Class<? extends ClassBar> x) {
    ...
}

通过修改通用表达式;

<？扩展ClassBar>

是否可以确保不能传入ClassBar.class但是任何扩展ClassBar直接或间接传入而不在运行时抛出异常？

Answer 1

如果你只有一大堆扩展ClassBar的类，你可以遵循这两种方法。

---

解决方案1：

让ClassBar的所有子类扩展自定义interface（ClassBar本身除外），并将方法签名更改为：

public <T extends ClassBar & MyInterface> void foo(Class<T> x) {
    ...
}

解决方案2：

使用类似于this @AndyTurner's trick的东西，并仅为特定类型提供实例。

E.g：

class ClassBar {}

class ClassBarA extends ClassBar{}
class ClassBarB extends ClassBar{}

你的class含有foo：

class Foo<T extends ClassBar> {
    private Foo() {} // private constructor

    public static <T extends ClassBarA> Foo<T> instance(T c) {
        return new Foo<T>();
    }

    public static <T extends ClassBarB> Foo<T> instance(T c) {
        return new Foo<T>();
    }

    public void foo(Class<T> c) {

    }

}

在这种情况下，只接受ClassBarA的子类

Foo<ClassBarA> foo1 = Foo.instance(this.classBarA);
foo1.foo(ClassBarA.class); // pass
foo1.foo(ClassBar.class);  // fail