Java泛型通配符类型获取与泛型方法调用编译错误咨询

问题1：通配符List<?>的类型获取与安全转换 #

Java泛型是纯编译期特性，运行时存在类型擦除机制：所有泛型类型参数在编译后都会被擦除，List<?>、List<Integer>、List<String>在运行时对应的裸类型都是List，集合对象本身不会存储任何泛型类型参数信息，因此你无法直接从List<?>对象上获取它声明的元素类型。

你写的直接强转代码存在明确的类型安全隐患：

void meth(List<?> list) {
   List<Integer> integers = (List<Integer>)list; // 这里会产生unchecked编译警告
}

这种强转在运行时不会做实际的类型校验，如果传入的实际是List<String>，强转动作本身不会报错，但后续读取元素做Integer类型转换、或者往列表写入Integer元素时，会直接抛出ClassCastException。

如果要做类型校验后再转换，唯一可行的方式是遍历集合内所有元素，逐个校验元素的实际类型，注意空列表没有任何元素可供判断，无法确认其原始泛型类型。参考实现如下：

void meth(List<?> list) {
    if (list == null || list.isEmpty()) {
        // 按业务逻辑处理空列表场景
        return;
    }
    boolean allMatchInteger = true;
    for (Object element : list) {
        if (!(element instanceof Integer)) {
            allMatchInteger = false;
            break;
        }
    }
    if (allMatchInteger) {
        @SuppressWarnings("unchecked")
        List<Integer> integers = (List<Integer>) list;
        // 在这里使用integer列表
    }
}

注意：就算做了全元素校验，直接强转原列表依然不是100%类型安全——如果列表是可变的，强转后其他线程可以往原列表插入非Integer类型的元素，后续读取依然会抛出类型转换异常。如果要完全规避风险，最稳妥的方案是新建一个ArrayList<Integer>，把校验通过的Integer元素逐个拷贝到新列表中使用，不要直接强转原列表引用。

问题2：泛型copy方法跨Number子类传参编译报错原因 #

你定义的copy方法签名如下：

public static <T extends Number> void copy(List<T> dest, List<T> src) {

}

这个签名的强约束是：两个列表参数的元素类型必须是完全相同的T类型，编译器调用方法时必须推断出一个同时匹配两个参数的具体T类型（T必须是Number的子类）。

当你传入List<Integer>类型的integers和List<Float>类型的floats时，Integer和Float虽然都继承自Number，但二者是平级的兄弟类，不存在继承关系，编译器找不到一个具体类型T能同时匹配Integer和Float，因此会抛出编译错误。

这个方法本身的设计就不支持跨不同Number子类型传参：逻辑上你也无法把Float元素直接存入声明为Integer的列表，反过来也一样，就算二者都属于Number子类也不成立。如果确实要实现跨类型拷贝，需要调整泛型边界，同时补充元素类型转换逻辑，参考写法如下：

// 源列表允许存T的子类，目标列表允许存T及T的父类，传入转换器做元素类型转换
public static <T extends Number> void copy(List<? super T> dest, List<? extends T> src, Function<Number, T> elementConverter) {
    for (Number num : src) {
        dest.add(elementConverter.apply(num));
    }
}

如果不需要做严格的类型约束，直接把参数声明为List<Number>即可，但这种写法会丢失编译期类型安全校验，非特殊场景不推荐使用。

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