Java泛型类型参数与继承问题：构造方法内赋值失败的原因及解决办法

为什么会出现编译错误？ #

你可能误以为编译器不知道A extends Parent，但其实问题出在**A代表的是Parent的某个特定子类，而非所有子类**。

举个例子：假设我们新增一个AnotherChild类：

package test;
public class AnotherChild extends Parent { }

如果有人这样使用你的Holder：

Holder<AnotherChild> holder = new Holder<>();

此时构造方法里的a = new Child()就完全不合法——Child和AnotherChild是同级子类，无法互相转换。编译器必须确保这个泛型类对所有符合A extends Parent的类型都能安全运行，所以它不允许你直接把Child实例赋值给A类型变量，因为A可能是其他任意Parent子类。

为什么类外部赋值没问题？ #

在类外部你明确指定了Holder<Child>，此时A的具体类型已经被确定为Child，编译器清楚holder.a的类型就是Child，所以赋值new Child()是完全匹配的，自然不会报错。

其他可行解决方案 #

除了你提到的两种方式，还有这些更灵活的方案：

方案1：用Supplier<A>将实例创建权交给调用者

这种方式既保证类型安全，又让Holder无需关心具体子类的创建逻辑：

package test;
import java.util.function.Supplier;

public class Holder<A extends Parent> {
    public A a;
    public Holder(Supplier<A> instanceSupplier) {
        a = instanceSupplier.get();
    }
}

使用示例：

// Main类中
Holder<Child> holder = new Holder<>(Child::new);
// 如果Child有参构造，可写成 () -> new Child("param")

方案2：通过Class<A>反射创建实例

如果你的子类都提供无参构造，可以让调用者传入Class对象，通过反射生成实例：

package test;

public class Holder<A extends Parent> {
    public A a;
    public Holder(Class<A> clazz) throws Exception {
        // Java 9+推荐用getConstructor()替代newInstance()
        a = clazz.getConstructor().newInstance();
    }
}

使用示例：

Holder<Child> holder = new Holder<>(Child.class);

注意需要处理反射相关的异常（比如NoSuchMethodException、InstantiationException等）。

方案3：将Holder设计为抽象类，子类实现实例创建

如果你的Holder和子类有固定的绑定关系，可以用抽象类的方式：

package test;

public abstract class Holder<A extends Parent> {
    public A a;
    protected Holder() {
        a = createInstance();
    }
    // 由子类实现具体的实例创建逻辑
    protected abstract A createInstance();
}

// 对应Child的具体Holder子类
class ChildHolder extends Holder<Child> {
    @Override
    protected Child createInstance() {
        return new Child();
    }
}

使用示例：

Holder<Child> holder = new ChildHolder();

方案4：静态泛型方法封装实例创建

如果你不想修改构造方法，可以用静态方法来封装赋值逻辑：

package test;

public class Holder<A extends Parent> {
    public A a;
    private Holder() {} // 私有构造，强制通过静态方法创建
    
    public static <T extends Parent> Holder<T> of(T instance) {
        Holder<T> holder = new Holder<>();
        holder.a = instance;
        return holder;
    }
}

使用示例：

Holder<Child> holder = Holder.of(new Child());

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