Java 中的泛型是什么？如何使用泛型来增加代码的可重用性和安全性？（十八）

1. 什么是泛型？

Java中的泛型是一种强类型的编程方式，它允许在编译时期指定类型参数，在运行时期进行类型检查和类型转换。泛型使得我们可以编写可重用、类型安全、可读性更好的代码。

在Java中，泛型主要包括两部分内容：泛型类和泛型方法。泛型类是一种具有类型参数的类，可以通过指定类型参数来创建具体的类型。例如，List是一个泛型类，可以通过指定类型参数E来创建List、List等具体类型的列表。泛型方法是一种具有类型参数的方法，可以使方法更加通用，可以在调用方法时指定类型参数。

2. 泛型的优点

2.1 可重用

使用泛型可以使代码更加通用，可以在不改变代码的情况下创建多个不同类型的对象。例如，使用List和List可以创建不同类型的列表，而不需要为每种类型编写不同的代码。

2.2 类型安全

使用泛型可以在编译时期进行类型检查，从而避免在运行时期发生类型错误。泛型可以在编译时期捕获错误，从而提高了程序的稳定性和可靠性。

2.3 可读性更好

使用泛型可以使代码更加可读、清晰。通过泛型，可以更好地表达代码的意图，避免了使用Object等不具有明确含义的类型。

3. 如何使用泛型？

3.1 定义泛型类

定义泛型类时，需要在类名后面添加类型参数，使用<>括起来。例如，下面是一个定义了一个泛型类的例子：

public class Box<T> {
    private T value;

    public void setValue(T value) {
        this.value = value;
    }

    public T getValue() {
        return value;
    }
}

在Box类中，使用T作为类型参数，在setValue和getValue方法中使用T作为返回值和参数类型。这样，Box类可以接受任何类型的数据。

3.2 创建泛型对象

创建泛型对象时，需要指定类型参数。例如，创建一个String类型的Box对象可以这样写：

Box<String> box = new Box<String>();

在实例化Box对象时，需要指定类型参数为String。

3.3 泛型方法

定义泛型方法时，需要在方法的返回值前添加类型参数。例如，下面是一个定义了泛型方法的例子：

public class Utils {
    public static <T> void print(T[] array) {
        for (T element : array) {
            System.out.println(element);
        }
    }
}

在Utils类中，定义了一个泛型方法print，可以接受任何类型的数组。使用泛型方法时，需要在方法名前添加类型参数

3.4 通配符

Java中提供了通配符来增加泛型代码的灵活性。通配符使用?表示，可以用来代替任何类型参数。通配符可以用于泛型类的实例化、泛型方法的调用等多种情况。

例如，下面是一个使用通配符的例子：

public class Utils {
    public static void printList(List<?> list) {
        for (Object elem : list) {
            System.out.print(elem + " ");
        }
        System.out.println();
    }
}

在printList方法中，使用了通配符?来表示任意类型的List。这样，就可以接受任何类型的List作为参数，而不需要指定具体的类型参数。

3.5 上限通配符和下限通配符

Java中还提供了上限通配符和下限通配符来增加泛型代码的灵活性。上限通配符使用extends关键字，可以限制类型参数必须是指定类的子类或实现类。下限通配符使用super关键字，可以限制类型参数必须是指定类的父类或实现接口。

例如，下面是一个使用上限通配符的例子：

public static double sumOfList(List<? extends Number> list) {
    double sum = 0.0;
    for (Number n : list) {
        sum += n.doubleValue();
    }
    return sum;
}

在sumOfList方法中，使用了上限通配符<? extends Number>来限制参数列表必须是Number类型或其子类类型的List。这样，就可以确保List中的元素都是Number类型或其子类类型，从而可以调用Number类中的doubleValue方法，计算List中所有元素的和。

下面是一个使用下限通配符的例子：

public static void addNumbers(List<? super Integer> list) {
    list.add(new Integer(50));
}

在addNumbers方法中，使用了下限通配符<? super Integer>来限制参数列表必须是Integer类型或其父类类型的List。这样，就可以确保List中的元素都是Integer类型或其父类类型，从而可以添加一个Integer类型的元素。

4. 总结

泛型是一种强类型的编程方式，可以增加代码的可重用性、类型安全性和可读性。Java中的泛型主要包括泛型类和泛型方法。泛型类可以通过指定类型参数来创建具体的类型，而泛型方法可以使方法更加通用，可以在调用方法时指定类型参数。使用泛型时，需要注意类型参数的范围和限制，可以使用通配符、上限通配符和下限通配符来增加代码的灵活性。