如何实现可返回泛型T及其子类实例的参数化类？

你的问题核心在于Java泛型的不变性：即使B extends A且T extends A，Class<B>也不能直接赋值给Class<T>——因为泛型类型在默认情况下是不变的，它们之间不存在继承关系。要实现返回T或其子类实例的需求，我们可以通过调整方法参数的泛型通配符来解决，具体方案如下：

修改后的完整代码 #

import java.lang.reflect.InvocationTargetException;

class A {}
class B extends A {}

public class TestGenerics<T extends A> {
    T a;

    T getA() throws InstantiationException, IllegalAccessException, InvocationTargetException, NoSuchMethodException {
        // 显式转换为Class<? extends T>，并消除unchecked警告
        @SuppressWarnings("unchecked")
        Class<? extends T> bClass = (Class<? extends T>) B.class;
        return getA(bClass);
    }

    // 将参数类型改为Class<? extends T>，允许接受T及其子类的Class对象
    T getA(Class<? extends T> clazz) throws InstantiationException, IllegalAccessException, InvocationTargetException, NoSuchMethodException {
        // 通过反射创建实例，返回的? extends T可以安全向上转型为T
        return clazz.getConstructor().newInstance();
    }
}

关键修改说明 #

• 调整方法参数类型：把getA(Class<T> clazz)改为getA(Class<? extends T> clazz)，这样方法就能接受T本身或者任何T的子类的Class对象，完美匹配你返回T及其子类实例的需求。
• 处理无参方法的类型转换：在无参getA()中，我们需要把B.class强制转换为Class<? extends T>——因为编译器无法在编译期确定T是否是B的父类（虽然我们知道T extends A，B extends A），所以需要显式转换，并通过@SuppressWarnings("unchecked")消除编译器的unchecked警告（这是安全的，因为B确实是A的子类，而T也继承自A）。
• 反射实例化的类型安全：clazz.getConstructor().newInstance()返回的是? extends T类型，由于它是T的子类，向上转型为T是完全安全的，不需要额外强制转换。

为什么原代码会报错 #

Java泛型是不变的，这意味着Class<B>和Class<T>之间没有继承关系，哪怕B extends T（假设T是A）。编译器会严格检查泛型类型的匹配，所以直接传递B.class给参数为Class<T>的方法会触发编译错误。通过使用通配符? extends T，我们放宽了参数的类型限制，允许接受所有T的子类类型。

内容的提问来源于stack exchange，提问作者Mayday