Java泛型详解（史上最全泛型知识详解）

第一部分：泛型基础

1. 泛型的定义和作用

泛型是Java语言中的一种强大的类型安全的机制，它允许开发者在编译时就确定类型，从而避免了类型转换和类型检查的开销。泛型的核心思想是允许开发者定义类和方法时不指定具体的类型，而是使用一个类型参数（或称为类型变量）来代替，这个类型参数在类的实例化或方法的调用时才确定具体的类型。

泛型提供了一种灵活的代码复用方式，它允许开发者编写出既通用又安全的代码。在没有泛型之前，我们通常使用Object类型作为容器来存储任何类型的数据，但这种方式牺牲了类型安全，因为所有数据都需要在运行时进行类型检查。泛型的引入，使得我们可以在编译时就得到类型安全的保障，极大地提高了代码的可读性和可维护性。

2. 泛型的语法

泛型类、接口和方法的声明在Java中有着明确的语法规则。

泛型类和接口的声明

java复制代码public class Box<T> {
    private T t;

    public Box(T t) {
        this.t = t;
    }

    public T get() {
        return t;
    }
}

在这个例子中，Box类是一个泛型类，它使用类型参数T来表示存储在Box中的对象类型。T可以是任何有效的类型名称，通常使用单个大写字母作为类型参数的命名约定。

泛型方法的声明

java复制代码public <T> void printArray(T[] array) {
    for (T item : array) {
        System.out.print(item + " ");
    }
    System.out.println();
}

泛型方法printArray可以接收任何类型数组并打印出来。类型参数T在方法名后面的尖括号内声明。

3. 类型参数

类型参数不仅可以是具体的类型，还可以是通配符，表示不确定的类型。

通配符的使用

java复制代码public void performOperation(List<?> list) {
    // 可以调用list的通用方法，如size()，但不能调用get()等方法
}

这里List<?>表示一个未知通配符类型的列表，问号?代表可以是任何类型，但是调用该列表的方法时会受到限制，不能进行类型特定的操作。

第二部分：泛型的类型安全

1. 类型擦除

定义：
Java泛型采用了类型擦除的方式实现，这意味着泛型类型信息在编译时被擦除，运行时不存在。编译器会确保泛型的类型安全，但运行时数组和类型转换操作需要开发者手动处理。

案例源码：

java复制代码List<String> list = new ArrayList<>();
list.add("Hello");
String s = list.get(0); // 正常编译
// list.add(1); // 编译时错误，类型不匹配

类型擦除是Java泛型实现的一个关键特性，它允许泛型在不牺牲Java平台兼容性的前提下提供类型安全的集合操作。然而，类型擦除也带来了一些限制，比如不能创建泛型数组，因为数组的类型在运行时必须确定。此外，类型擦除也意味着运行时无法直接通过反射获取泛型的类型参数信息。

2. 泛型的类型限制

类型限制：
泛型可以通过类型限制来指定类型参数的上下界，从而限制可以作为类型参数的具体类型。

案例源码：

java复制代码public class Example<T extends Number> {
    // T 被限制为 Number 类或其子类
}

public void process(List<? super String> list) {
    // list 可以存储任何 String 的超类类型，如 Object
}

类型限制是泛型中一个强大的特性，它允许开发者定义更具体的类型要求，从而提供更丰富的类型安全检查。上界限定（extends）和下界限定（super）分别允许我们指定类型参数必须是某个类型的子类或超类，这在设计泛型类和方法时非常有用。

然而，类型限制也增加了代码的复杂性，需要开发者对类型层次结构有清晰的认识。此外，过度使用类型限制可能会限制泛型的灵活性，因此在使用时需要权衡代码的通用性和类型安全性。

3. 泛型数组和反射

泛型数组的限制：
由于类型擦除，Java中不能创建泛型类型的数组。

案例源码：

java复制代码List<String>[] lists; // 正确
// List<String>[] lists2 = new List<String>[10]; // 错误，编译时不通过

泛型数组的限制是类型擦除的一个直接后果。虽然这限制了泛型的使用，但它保证了Java程序的类型安全和向后兼容性。在需要使用数组时，开发者通常需要使用其他方式，如创建一个具体类型的数组，或者使用List等集合类作为替代。

反射与泛型的结合使用需要特别小心，因为反射可以绕过泛型的类型检查。在实际开发中，应该尽量避免在泛型和反射之间进行操作，以保持代码的类型安全。

总的来说，泛型提供了一种在编译时进行类型检查的机制，而类型擦除、类型限制和对数组及反射的处理是泛型实现中的关键概念。正确理解和使用这些概念对于编写类型安全、灵活且高效的Java代码至关重要。

第三部分：泛型的高级特性

1. 协变与逆变

协变（Covariance）：
协变允许子类型可以被赋值给父类型。在泛型中，这意味着如果Sub是Super的子类型，那么List<Sub>也是List<Super>的子类型。

案例源码：

java复制代码List<? extends Number> listNum = new ArrayList<Integer>();
Number num = listNum.get(0); // 正确，因为Integer是Number的子类
// listNum.add(new Number()); // 错误，因为编译器不知道Number的具体类型

List<Number> listSuper = new ArrayList<>();
listSuper = new ArrayList<SubNumber>(); // 正确，因为SubNumber是Number的子类

协变提供了一种安全的子类型替换机制，使得我们可以将一个参数化的子类型赋值给一个参数化的父类型。这在处理继承关系时非常有用，因为它允许开发者在不牺牲类型安全的前提下进行更灵活的代码编写。

然而，协变也带来了一些限制，特别是在涉及到泛型数组时。由于泛型数组的不安全性，Java 编译器禁止了泛型数组的创建，以避免运行时错误。

逆变（Contravariance）：
逆变与协变相反，它允许父类型可以被赋值给子类型。在泛型中，这意味着如果Sub是Super的子类型，那么List<Super>是List<Sub>的子类型。

案例源码：

java复制代码public void addNumber(List<? super Integer> list) {
    list.add(42);
    // list.add("String"); // 错误，因为List期望的是Integer或其超类
}

List<SuperNumber> superList = new ArrayList<>();
addNumber(superList); // 正确，因为SuperNumber是Number的超类

个人看法：
逆变在泛型方法中特别有用，它允许开发者定义可以接受任何超类型实例化的方法。这在设计函数时提供了更大的灵活性，因为你不需要为每个可能的超类型编写一个方法重载。

逆变的一个典型用例是在策略模式中，其中函数参数需要一个可以操作多种类型对象的策略接口。逆变使得可以将策略接口的父类型传递给期望其子类型的函数。

2. 有界类型参数

有界类型参数：
有界类型参数允许在声明泛型时指定类型参数的上下界。

案例源码：

java复制代码public interface Animal {}
public class Dog implements Animal {}
public class Cat implements Animal {}

public <T extends Animal> void doSomething(T animal) {
    // 这里的T可以是Animal的任何子类
}

doSomething(new Dog()); // 正确
doSomething(new Cat()); // 正确
// doSomething(new Object()); // 错误，因为Object不是Animal的子类

有界类型参数为泛型提供了更精确的控制，允许开发者定义类型参数必须满足的约束。这在需要类型参数满足特定接口或继承自特定类时非常有用。

然而，过度使用有界类型参数可能会使代码变得复杂，并且可能会限制泛型的灵活性。因此，开发者需要在代码的通用性和类型安全性之间做出权衡。

3. 泛型的嵌套

嵌套泛型：
嵌套泛型是指在泛型类内部定义另一个泛型。

案例源码：

java复制代码public class OuterClass<T> {
    public class InnerClass<U> {
        private T t;
        private U u;

        public InnerClass(T t, U u) {
            this.t = t;
            this.u = u;
        }

        public T getOuter() {
            return t;
        }

        public U getInner() {
            return u;
        }
    }
}

OuterClass<String>.InnerClass<Integer> inner = 
    new OuterClass<String>().new InnerClass<>("Hello", 42);

嵌套泛型提供了一种强大的方式，使得内部类可以与外部类的类型参数进行交互，或者拥有自己的类型参数。这种方式在设计复杂的数据结构或算法时非常有用，比如在实现复合数据结构时。

然而，嵌套泛型的使用可能会增加代码的复杂性，并且对于初学者来说可能难以理解。因此，在使用嵌套泛型时，需要确保其确实提高了代码的清晰度和表达力，而不是简单地增加复杂性。

泛型的高级特性为Java语言提供了更深层次的类型安全和灵活性。开发者应该根据具体的应用场景和需求，合理地使用这些特性来提高代码的质量和性能。同时，也需要对泛型的工作原理有深入的理解，以避免常见的陷阱和错误。

第四部分：泛型与Java集合

1. 泛型集合

泛型在Java集合框架中的使用极大地增强了类型安全。在Java中，List、Set和Map等接口都支持泛型，允许开发者指定存储在集合中的对象类型。

案例源码：

java复制代码List<String> stringList = new ArrayList<>();
stringList.add("Hello"); // 正确
// stringList.add(1); // 编译错误，因为List期望String类型

Set<Integer> intSet = new HashSet<>();
intSet.add(10); // 正确
// intSet.add("Ten"); // 编译错误，因为Set期望Integer类型

Map<String, List<Integer>> map = new HashMap<>();
map.put("Numbers", new ArrayList<>());
map.get("Numbers").add(20); // 正确

泛型集合的使用提高了代码的可读性和可维护性。通过在声明时指定具体的类型参数，开发者可以避免类型转换的开销，并且可以在编译时发现类型不匹配的错误。这减少了运行时错误的可能性，提高了程序的稳定性。

2. 泛型集合的性能考量

泛型集合虽然提供了类型安全，但在某些情况下可能会影响性能。

案例源码：

java复制代码List list = new ArrayList<String>();
list.add("Hello");
String str = (String) list.get(0); // 需要类型转换

在泛型集合中，由于类型擦除，运行时的类型信息丢失，因此在取出元素时可能需要进行类型转换。这虽然是一个小的性能开销，但在对性能要求极高的场景中，如大量数据的迭代处理，可能需要考虑这种影响。

为了提高性能，可以考虑使用原生类型（如List而不是List<String>），但这样会牺牲类型安全。因此，开发者需要在类型安全和性能之间做出权衡。

3. 泛型与迭代器

泛型迭代器允许在迭代集合时保持类型安全。

案例源码：

java复制代码List<String> list = new ArrayList<>();
for (String str : list) {
    System.out.println(str);
}

Iterator<String> iterator = list.iterator();
while (iterator.hasNext()) {
    String str = iterator.next();
    System.out.println(str);
}

泛型迭代器提供了一种类型安全的方式来遍历集合。使用增强的for循环或迭代器时，泛型确保了取出的元素类型与集合声明时的类型参数一致，从而避免了类型转换。

然而，泛型迭代器也有其局限性。例如，不能使用泛型数组来存储迭代器返回的对象，因为数组的类型在运行时必须确定。

总的来说，泛型与Java集合框架的结合使用，为开发者提供了一种类型安全的方式来处理对象集合。通过合理使用泛型集合，可以在编译时发现潜在的错误，提高代码的稳定性和可维护性。同时，开发者也需要考虑泛型集合在特定场景下的性能影响，并在必要时做出适当的权衡。

第五部分：泛型的实际应用案例

1. 设计模式中的泛型

泛型在设计模式中的应用可以提高代码的复用性和可读性。以下是几个常见设计模式中泛型使用的例子。

策略模式（Strategy Pattern）

在策略模式中，可以使用泛型来定义策略接口和上下文类。

案例源码：

java复制代码public interface Strategy<T> {
    T execute(Object data);
}

public class ConcreteStrategyA implements Strategy<Integer> {
    public Integer execute(Object data) {
        // 实现策略A的逻辑
        return (Integer) data * 2;
    }
}

public class Context {
    private Strategy<?> strategy;

    public Context(Strategy<?> strategy) {
        this.strategy = strategy;
    }

    public <T> T executeStrategy(Object data) {
        return (T) strategy.execute(data);
    }
}

// 使用
Context context = new Context(new ConcreteStrategyA());
Integer result = context.executeStrategy(5); // 返回10

在策略模式中使用泛型，可以使得Context类更加通用，能够适应不同的策略实现。同时，泛型也使得策略的定义更加清晰，每个策略类都明确了其操作的数据类型。

观察者模式（Observer Pattern）

泛型同样适用于观察者模式，允许观察者和主题处理特定类型的数据。

案例源码：

java复制代码public interface Observer<T> {
    void update(T data);
}

public interface Subject<T> {
    void attach(Observer<T> observer);
    void detach(Observer<T> observer);
    void notifyObservers(T data);
}

public class ConcreteSubject extends Subject<String> {
    private List<Observer<String>> observers = new ArrayList<>();

    public void attach(Observer<String> observer) {
        observers.add(observer);
    }

    public void detach(Observer<String> observer) {
        observers.remove(observer);
    }

    public void notifyObservers(String data) {
        for (Observer<String> observer : observers) {
            observer.update(data);
        }
    }
}

// 使用
ConcreteSubject subject = new ConcreteSubject();
Observer<String> observer = data -> System.out.println("Received data: " + data);
subject.attach(observer);
subject.notifyObservers("Hello, World!");

在观察者模式中，泛型的使用确保了主题和观察者之间数据类型的一致性，避免了类型转换的需要。此外，泛型也使得观察者模式更加灵活，可以用于不同类型的数据。

2. 泛型在框架开发中的应用

泛型在框架开发中也非常重要，它允许框架的使用者以类型安全的方式定义和使用框架。

泛型DAO

在数据访问对象（DAO）模式中，泛型可以使得DAO类更加通用。

案例源码：

java复制代码public interface GenericDAO<T, ID> {
    T findById(ID id);
    List<T> findAll();
    void save(T entity);
    void delete(T entity);
}

public class UserDAO extends GenericDAO<User, Long> {
    // 实现方法
}

泛型DAO的设计使得DAO类可以适用于不同的实体类和ID类型，提高了代码的复用性。同时，泛型也使得DAO的使用者能够清楚地知道操作的数据类型，从而编写出更安全、更易于维护的代码。

第六部分：泛型的局限性与替代方案

1. 泛型的局限性

泛型虽然为Java带来了类型安全，但它也有一些局限性。

局限性一：类型擦除

由于Java泛型是基于类型擦除实现的，这意味着泛型的类型信息在运行时是不可知的。这限制了泛型与某些Java特性的兼容性。

案例源码：

java复制代码public class GenericType<T> {
    private Class<T> type;

    public GenericType() {
        // 错误：类型擦除导致无法获取参数化类型的Class对象
        this.type = (Class<T>) (Object) T.class;
    }
}

类型擦除是泛型实现的核心，但这也意味着泛型类型不能用于传统的运行时反射操作。在某些需要运行时类型信息的场景下，这可能需要额外的设计考量。

局限性二：泛型数组 创建

Java不允许创建参数化类型的数组，因为数组的类型在运行时必须具体化。

案例源码：

java复制代码public void createArray(List<String> list) {
    // 错误：无法创建泛型数组
    String[] strings = list.toArray(new String[0]);
}

// 替代方案
public void createArray(List<String> list) {
    String[] strings = new String[list.size()];
    list.toArray(strings);
}

泛型数组的限制是出于安全性的考虑，以避免运行时的类型不匹配错误。在需要使用数组时，开发者需要寻找替代方案，如使用具体类型数组或集合。

局限性三：非具体化的通配符实例化

使用通配符时，不能直接实例化具体化的泛型。

案例源码：

java复制代码public void printList(List<String> list) {
    // 错误：无法实例化具体化的泛型
    List<String> myList = new ArrayList<String>();
}

// 替代方案
public void printList(List<?> list) {
    List<String> myList = new ArrayList<String>(); // 正确，使用非具体化的通配符
}

通配符的使用提供了灵活性，但限制了泛型的实例化。在需要实例化泛型时，需要使用非具体化的通配符或者不使用泛型。

2. 替代方案

尽管泛型有局限性，但Java提供了一些替代方案来解决特定问题。

替代方案一：使用具体类

在不需要类型参数的情况下，可以使用具体类而不是泛型类。

案例源码：

java复制代码// 使用具体类
List list = new ArrayList();
list.add("Hello");
String str = (String) list.get(0);

个人看法：
使用具体类可以避免泛型带来的一些限制，但牺牲了类型安全和代码的可读性。

替代方案二：使用类型转换

在某些情况下，可以通过类型转换来解决泛型的局限性。

案例源码：

java复制代码public <T> void performAction(T item) {
    if (item instanceof String) {
        String str = (String) item;
        // 执行与String相关的操作
    }
}

类型转换可以在运行时确定对象的具体类型，但它要求开发者确保转换的安全性，否则可能会抛出ClassCastException。

替代方案三：使用运行时类型标记

通过使用运行时类型标记（如instanceof）和类型转换，可以在一定程度上模拟泛型的行为。

案例源码：

java复制代码public void process(List<?> list) {
    for (Object obj : list) {
        if (obj instanceof Integer) {
            Integer num = (Integer) obj;
            // 执行与Integer相关的操作
        }
    }
}

运行时类型标记和类型转换可以在不使用泛型的情况下提供类型安全，但需要开发者手动进行类型检查，增加了代码的复杂性。

本文转载自: 掘金

开发者博客 – 和开发相关的 这里全都有