能否使用变量作为泛型类的类型参数？

核心原因 #

Java 泛型采用编译期类型擦除实现，尖括号<>中的泛型实参必须是编译期就能确定的类型字面量，不能是运行时才能拿到值的Class对象变量，所以你示例的写法本身不符合Java语法规范，无法直接编译运行。

可行实现方案 #

方案1：使用通配符适配（无需编译期类型校验场景）

如果你的业务场景不需要编译期对第二个泛型参数做严格类型检查，可以直接用通配符承接运行时动态类型：

Class<? extends Type> type = getExpectedType();
Foo<Type1, ? extends Type> foo = new Foo<>();

注意：该方案下后续调用Foo实例中涉及第二个泛型参数的方法时，返回值默认按Object处理，需要手动强转，没有编译期类型安全校验。

方案2：泛型方法封装推导（需要编译期类型安全场景）

可以通过泛型方法把动态类型的推导逻辑封装起来，兼顾运行时动态性和编译期类型校验：

// 定义泛型工厂方法
public <T extends Type> Foo<Type1, T> createFoo(Class<T> type) {
    // 若Foo构造需要传入type参数也可以在这里传入
    return new Foo<>();
}

// 调用示例
Class<? extends Type> type = getExpectedType();
Foo<Type1, ? extends Type> foo = createFoo(type);

方案3：泛型类内置Class字段（需要运行时使用泛型类型场景）

如果你的Foo类内部本身就需要用到第二个泛型参数的运行时类型做反射等操作，建议直接把Class对象作为构造参数传入泛型类，从设计层面就把动态类型和泛型绑定：

// 改造泛型类定义
public class Foo<P, T extends Type> {
    private final Class<T> runtimeType;
    
    // 构造时传入运行时类型
    public Foo(Class<T> runtimeType) {
        this.runtimeType = runtimeType;
    }
    
    // 后续内部需要用到T类型的场景直接用runtimeType即可
    public T newInstance() throws Exception {
        return runtimeType.getDeclaredConstructor().newInstance();
    }
}

// 调用示例
Class<? extends Type> type = getExpectedType();
Foo<Type1, ? extends Type> foo = new Foo<>(type);

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