浅谈Java泛型通配符解决了泛型的许多诟病(如不能重载)

浅谈Java泛型通配符解决了泛型的许多诟病

什么是Java泛型通配符

在Java中，泛型通配符使用?表示，可以理解为一种"我不关心全局，只关心当前"的泛型表示方式，它有效地解决了一些泛型不能重载的问题。

泛型通配符和泛型不能重载问题的关系

当我们想要重载一个泛型方法时，往往会遇到这样的问题：编译器无法区分两个泛型类型参数不同的方法，因为Java编译器使用类型擦除来实现泛型。

而使用泛型通配符则可以解决此问题。因为泛型通配符可以代表任意类型，所以我们可以使用泛型通配符来重载泛型方法。

下面是一个使用泛型通配符来重载方法的示例：

public class GenericTest {

    public void print(List<?> list) {
        for (Object obj : list) {
            System.out.println(obj);
        }
    }

    public void print(List<Integer> list, int i) {
        for (Integer integer : list) {
            System.out.println(integer + i);
        }
    }

    public static void main(String[] args) {
        List<Integer> list = Arrays.asList(1, 2, 3);
        GenericTest test = new GenericTest();
        test.print(list);
        test.print(list, 1);
    }
}

在这个示例中，print(List<?> list)方法使用了泛型通配符?，可以接受任何类型的List。而print(List<Integer> list, int i)方法是重载方法，可以接受一个Integer类型的List和一个int类型的参数i。

泛型通配符的使用

泛型通配符有三种使用方式：?、? extends type和? super type。它们分别表示：

• ?：任意类型，相当于使用一个未知的类型代替。
• ? extends type：表示类型的上限，表示泛型的类型参数是type或者是type的子类，因此可以调用type的方法。
• ? super type：表示类型的下限，表示泛型的类型参数是type或者是type的父类，因此可以调用type父类的方法。

下面是一个使用泛型通配符的示例：

public class GenericTest {

    public void print(List<? extends Number> list) {
        for (Number number : list) {
            System.out.println(number);
        }
    }

    public static void main(String[] args) {
        List<Integer> list1 = Arrays.asList(1, 2, 3);
        List<Double> list2 = Arrays.asList(1.0, 2.0, 3.0);
        GenericTest test = new GenericTest();
        test.print(list1);
        test.print(list2);
    }
}

在这个示例中，print(List<? extends Number> list)方法使用了? extends Number表示泛型类型参数是Number类型或者是Number类型的子类。因此，我们可以传入List和List类型的参数。

总结

泛型通配符的使用是Java泛型特性中的一个重要方面，它能够解决泛型无法重载的问题。掌握并灵活运用泛型通配符，可以使我们代码更加简洁、优雅。