Java-泛型概述

一、泛型

1.1背景

  JAVA推出泛型以前，程序员可以构建一个元素类型为Object的集合，该集合能够存储任意的数据类型对象，而在使用该集合的过程中，需要程序员明确知道存储每个元素的数据类型，否则很容易引发ClassCastException异常。

1.2概念

  Java泛型（Generics）是Java 2004年版本中的一个重要特性，它提供了一种机制来支持类型安全的、基于类型的编程，该机制允许我们在编译时检测到非法的数据类型结构。泛型的主要目的是为了让代码更安全、更可靠，同时也增加了代码的复用性。

  Java泛型可以用于类、接口、方法以及变量。使用泛型可以定义一个可以接受任意类型的数据结构，例如List、Set、Map等集合类。使用泛型可以确保在编译时进行类型检查，从而避免了运行时类型转换的问题。

1.3类型

E ： Element (在集合中使用，因为集合中存放的是元素)
T ：Type（表示Java 类，包括基本的类和我们自定义的类）
K ： Key（表示键，比如Map中的key）
V ： Value（表示值）
N ：Number（表示数值类型）
？ ：（表示不确定的java类型）
S、U、V ： 2nd、3rd、4th types

二、泛型的使用

1.1泛型类

1、使用

格式：修饰符 class 类名<类型> {  }

使用：类名<具体的数据类型> 对象名=new类名<具体的数据类型>（）；

2、代码示例

泛型类：

测试类：

3、注意事项

（1）、<类型>在创建对象的时候才具体知道是什么类型。

（2）、泛型类在创建对象时，若没有指定具体的数据类型，按照Object类型来操作。

（3）、泛型类不支持基本数据类型，泛型的类型参数只能是类类型。

（4）、同一泛型类，根据不同的数据类型创建的对象，本质上是同一类。

4、从泛型类派生子类

（1）、子类是泛型类，子类和父类的泛型类型要保持一致。

（2）、子类不是泛型类，则父类要明确泛型的数据类型。

1.2泛型方法

1、使用

格式：修饰符<类型>返回值类型  方法名（类型变量名）{}

2、代码示例

3、注意事项

（1）、泛型方法在调用方法的时候指明泛型的具体类型。

（2）、只有声明了<类型>的方法才是泛型方法，如果泛型类中使用了泛型的成员方法不是泛型方法。

（3）、泛型方法能使方法独立于类而产生变化。

（4）、普通方法可以使用方法声明的泛型或类泛型，而静态方法中不可用，静态方法要使用泛型的能力，就必须成为一个泛型方法。

1.3泛型接口

1、使用

格式：修饰符  interface 接口名 <类型>{}

2、代码示例

3、注意事项

（1）、实现类是泛型类，实现类和接口的泛型要保持一致。

（2）、实现类不是泛型类，接口要明确数据类型。

三、泛型通配符

  Java泛型通配符是Java泛型中的一种特殊用法，它可以用来定义不确定类型的泛型类型。在Java中，泛型通配符使用?来表示，它可以用于类、接口、方法以及变量等地方。

3.1泛型通配符的定义和使用

在Java中，定义一个泛型通配符类型需要在类名或接口名后面加上<?>，例如：

public class MyClass<?> {
    private Object data;

    public MyClass(Object data) {
        this.data = data;
    }

    public Object getData() {
        return data;
    }
}

在上面的例子中，MyClass是一个泛型通配符类，可以接受任意类型的数据。在定义对象时，不需要指定泛型的具体类型，例如：

MyClass<?> myObject = new MyClass<>("Hello, World!");

3.2、泛型通配符的限制

1、泛型通配符的上限

  泛型通配符的上限通过? extends T来表示，其中T是某个具体的类或接口。这表示未知的类型必须是T或者是T的子类或实现类。使用上限通配符时，你只能从集合中读取数据，而不能向集合中写入数据，因为编译器无法确定具体的类型，从而无法保证类型安全。

举例说明：

List<? extends Number> numbers = new ArrayList<Integer>();
// 下面的代码会导致编译错误，因为编译器无法确定numbers列表的确切类型
// numbers.add(10); // 错误

// 但是可以读取数据，因为所有的Number类型（或其子类）都有toString()方法
String numberAsString = numbers.get(0).toString(); // 假设numbers不为空

2、泛型通配符的下限

  泛型通配符的下限通过? super T来表示，其中T是某个具体的类或接口。这表示未知的类型必须是T或者是T的父类或超接口。使用下限通配符时，你可以向集合中写入数据，但读取数据时需要进行类型转换，因为编译器只知道类型至少是T，但不知道具体是什么类型。

举例说明：

List<? super Integer> numberList = new ArrayList<Integer>();
// 可以向集合中添加Integer类型的对象，因为Integer是Integer的父类（或自身）
numberList.add(10);
numberList.add(20);

// 读取时需要类型转换，因为编译器只知道元素类型是Integer或Integer的父类
Integer firstNumber = (Integer) numberList.get(0); // 需要显式类型转换

// 注意：虽然可以添加Integer或Integer的子类（如果有的话），但不能添加其他类型的Number，如Double
// numberList.add(10.5); // 编译错误

3.3泛型通配符的注意事项
 

1、需要注意的是，在Java中，Integer并没有子类（除了它自身和Number类，但Number不是Integer的子类，而是它的超类）。这里的“子类”或“父类”的概念主要是为了解释泛型通配符的上限和下限机制，而实际上在Java中，我们更常遇到的是接口实现和类继承的情况。

2、在实际应用中，下限通配符通常用于写入操作，而上限通配符则用于读取操作。这样的设计使得Java的泛型系统更加灵活和强大。

3、Java泛型通配符支持对泛型类型进行限制，例如可以使用? extends T来表示泛型类型必须是T类型或者T类型的子类型。例如：

public class MyClass<T> {
    private T data;

    public MyClass(T data) {
        this.data = data;
    }

    public T getData() {
        return data;
    }

    public void printData(MyClass<? extends Number> obj) {
        System.out.println(obj.getData());
    }
}

在上面的例子中，printData方法使用了泛型通配符`? extends Number`，表示可以接受Number类型或者Number类型的子类型的MyClass对象。

四、泛型擦除

 4.1定义

  泛型擦除是Java语言实现泛型的一种机制，它主要发生在编译时。由于Java是一种静态类型语言，编译器需要在编译时确定所有的类型信息。然而，由于Java在运行时并不支持泛型，所以这些类型信息在编译后会被擦除，只留下原始类型信息。这种机制可能会导致一些类型安全的问题，因此在编写泛型代码时需要特别注意。

4.2泛型擦除的原理

  在Java中，泛型的类型信息只在编译时有效。当编译器遇到泛型类型时，它会将这些类型信息替换为它们的原始类型，如Object。这个过程被称为“泛型擦除”。例如，编译器会将List<String>替换为List<Object>。这样做的原因是Java虚拟机（JVM）在运行时并不支持泛型，它只支持原始类型。

4.3泛型擦除的影响

  泛型擦除的主要影响是，在运行时，所有的泛型类型都会被替换为它们的原始类型。这意味着，在运行时，泛型类型的信息将不再可用。例如，当你使用List<String>作为参数传递给一个方法时，该方法在运行时只能看到List<Object>，而无法看到具体的String类型。

4.4泛型擦除的解决方案

  为了解决泛型擦除带来的问题，Java提供了一些机制来保留类型信息。例如，你可以使用反射API来获取和使用类型信息。此外，从Java 7开始，Java提供了Type和ParameterizedType等接口，以及Class类的getTypeParameters()等方法，用于在运行时获取类型信息。

4.5泛型擦除的注意事项

 1、  当使用泛型时，需要注意它们的行为可能会受到泛型擦除的影响。
 2、 在编写泛型代码时，需要确保类型安全。例如，避免在运行时进行类型转换，因为这可能会导致类型不匹配的错误。
3、  泛型擦除也影响了一些设计模式和框架的设计。例如，工厂模式和依赖注入框架需要根据泛型类型来创建对象或提供依赖，但泛型擦除可能会导致这些框架无法获取到正确的类型信息。