捕获方法参数类型并请求相应的类对象

Question

鉴于以下情况

class Base { }
class Extended extends Base {}

我可以很容易地在泛型类的构造函数中请求一个类对象，它是泛型类型的某个子类。

class Test<T extends Base> {
  Test(Class<? extends T> test) { }
}

这样我就可以完成以下所有操作

new Test<Base>(Base.class);
new Test<Base>(Extended.class);
new Test<Extended>(Base.class); // This is not allowed by the compiler
new Test<Extended>(Extended.class);

这正是我想要的。但是，当使用这样的通用方法时，我无法弄清楚如何实现相同的约束：

<T extends Base> void test(T x, Class<? extends T> test) { }

使用此定义，编译器允许以下所有内容：

test(new Base(), Base.class);
test(new Base(), Extended.class);
test(new Extended(), Base.class); // even though Base is not a subclass of Extended
test(new Extended, Extended.class);

我认为这是因为类型推断和 Java 确定

<Base>test(new Extended(), Base.class)

而不是

<Extended>test(new Extended(), Base.class)

但是我怎样才能强制执行后一种推理方法呢？

感谢您的帮助！

给未来的读者：在这个问题的第一个版本中，我调用了BaseA 和ExtendedB。我后来澄清了这个符号。但是，答案中使用了此表示法。

Answer 1

这是计算机科学中的一个问题，因此，can be solved by another level of indirection：

<T extends A, U extends T> void test(T x, Class<U> test) {}

在这种情况下，我们使用一个类型变量（绑定到 A）来捕获对象参数的类型，并使用第二个（绑定到第一个）来约束类参数的类型。

如果我把这个例子写出来并提供给 javac (1.6.0_26)，它会及时告诉我：

Test.java:14: cannot find symbol
symbol  : method test(B,java.lang.Class<A>)
location: class Test<T>
        test(b, A.class);
        ^
1 error

正如@JohnB 在他的评论中暗示的那样，你可以通过写作来解决这个问题：

this.<A, A>test(b, A.class);

或者使用原始类型。

Answer 2

好的，我将分两部分进行尝试。首先，我认为你不能做你想做的事，因为调用者总是可以将超类指定为泛型，然后将子类作为第一个参数传递。

其次，我认为尝试将此作为编译时检查是错误的方法，因为用户总是可以选择使用原始类型而忽略所有泛型。您应该只进行一次运行时检查并提供适当的文档。

Answer 3

泛型不是用来施加任意“限制”的。泛型仅用于类型安全，即避免不安全的强制转换。您提出的限制没有类型安全的理由。没有函数 test 在其中 test(new Base(), Base.class); 是类型安全的，但 test(new Extended(), Base.class); 不是。

Answer 4

我相信答案是在第一种情况下您指定泛型类型：new Test<B>(...)。注意<B>。但是在第二种情况下，您没有指定泛型类型：test(a, A.class)，因此您允许编译器查看它是否可以确定一个有效的泛型类型。对于test(b, A.class)，<A> 有效，因为b 是A 的一个实例。

尝试类似：myInstance.<B>test(b, A.class)