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

Question

假设我们有这样的方法:

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

通过修改通用表达式；

< ? extends ClassBar >

是否有可能确保 ClassBar.class 不会被传入，但任何直接或间接扩展 ClassBar 的东西都会被传入 WITHOUT 并在运行时抛出异常？

Answer 1

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

---

解决方案一:

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

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

解决方案 2:

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

例如:

class ClassBar {}

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

你的类包含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