Java泛型两种makePair方法本质差异及第二种语法非法原因

前置类定义 #

题目中定义的泛型类PairT<T>代码如下：

public class PairT <T>{
    public T first;
    public T second;

    public T getFirst() {
        return first;
    }

    public void setFirst(T first) {
        this.first = first;
    }

    public T getSecond() {
        return second;
    }

    public void setSecond(T second) {
        this.second = second;
    }

    public PairT(T first, T second) {
        this.first = first;
        this.second = second;
    }
    public PairT() {
    }
}

两种makePair方法实现 #

第一种（合法实现） #

public static <U> PairT<U> makePair(Class<U> cl) throws Exception {
        return new PairT<U>(cl.getConstructor().newInstance(),
                            cl.getConstructor().newInstance());
}

第二种（非法实现） #

public static <U> PairT<U> makePair(U cl) throws Exception {
        return new PairT<U(
                  cl.getClass().getConstructor().newInstance(), 
                  cl.getClass().getConstructor().newInstance());
}

核心本质差异 #

两种方法的核心差异在于泛型类型的绑定方式和类型安全性：

• 第一种方法采用*类型令牌（Class）*作为入参，在编译期就可以明确绑定泛型参数U的实际类型。cl.getConstructor().newInstance()的返回值类型和U完全匹配，编译器可以完成全链路的类型安全检查，最终返回的PairT<U>完全符合泛型约束，没有类型安全隐患。
• 第二种方法试图通过传入U类型的实例反向获取Class对象创建Pair实例，从语法书写到类型逻辑都存在问题，根本无法通过编译。