Java泛型构造惯用模式：工厂模式替代反射与冗余参数

本文探讨在 Ja va 接口中无法声明构造方法的前提下，如何以类型安全、可维护且符合 Ja va 语言特性的惯用方式初始化泛型子类型——核心结论是：应使用工厂接口或 ja va.util.function.Supplier 等函数式接口，而非反射或复杂泛型绑定。

在 Ja va 中，由于接口本身无法定义构造方法，也无法强制要求实现类提供特定签名的构造器（例如无参构造器），因此当我们设计泛型容器（如 Stack），并希望在通用算法（比如 reverse()）中创建相同类型的新实例时，常会陷入两种典型误区：一是过度依赖反射（Class.getDeclaredConstructor().newInstance()），二是设计自引用泛型（例如 Stack where S extends Stack），试图强行绑定子类型。这两种方案都存在不小的隐患。

反射方式的问题

• 完全脱离编译期类型检查：newInstance() 可能抛出 NoSuchMethodException、IllegalAccessException 等运行时异常，编译器无法验证目标类是否真的包含无参构造器。
• “字符串化”调用：方法名、参数类型完全依赖硬编码字符串，IDE 无法提供自动补全，重构时也缺乏安全保障。
• 泛型擦除导致类型不安全：Class> 在运行时等同于 Class，无法确保构造返回值精确为 List。
• 违背面向对象设计原则：将类型级操作（如实例化）从类型系统中剥离，破坏了封装性与可扩展性。

自引用泛型的代价

以 Stack 为例，要求实现类将自身类型 ArrayStack 作为 V 传入，虽然能在编译期约束返回类型，但会显著增加接口复杂度：

• 实现类必须显式重复自身类型（implements Stack, T>），违反了 DRY 原则。
• 泛型参数膨胀，方法签名变得晦涩难懂（如 >）。
• 不支持多态工厂行为（例如统一创建不同的 Stack 实现），丧失了扩展灵活性。

推荐方案：工厂模式（Factory Pattern）

工厂模式是 Ja va 生态中处理“类型级构造”的标准惯用法。它将构造逻辑封装为接口，与泛型配合得天衣无缝：

// 工厂接口：定义类型级操作
interface StackFactory {
     Stack create(); // 返回泛型 Stack
    boolean isRandomAccess();
}

// 具体工厂实现
class ArrayStackFactory implements StackFactory {
    @Override
    public  Stack create() {
        return new ArrayStack<>(); // 类型安全，无需强制转换
    }
    @Override
    public boolean isRandomAccess() {
        return true;
    }
}

更简洁的做法是直接利用 JDK 内置的函数式接口。如果工厂只需提供无参构造能力，Supplier> 是最轻量、语义最清晰的选择：

public interface Stack {
    T pop();
    void push(T elem);
    boolean isEmpty();

    // 默认方法：接收 Supplier，返回具体子类型
    default > S reverse(Supplier factory) {
        S result = factory.get(); // 类型推导精准：S 即调用方指定的具体类型
        while (!this.isEmpty()) {
            result.push(this.pop());
        }
        return result;
    }
}

ArrayStack stack = new ArrayStack<>();
stack.push(1).push(2).push(3);
// 直接使用方法引用构造器，返回 ArrayStack
ArrayStack reversed = stack.reverse(ArrayStack::new);