java泛型详解-CSDN博客

本文链接：https://blog.csdn.net/2401_83707780/article/details/138282887

简介

Java 泛型（Generics）是 Java 语言在 5.0 版本中引入的一个核心概念，用于在编译时提供更严格的类型检查，并支持编写可重用的代码。通过使用泛型，你可以在类、接口和方法中定义类型参数，这些类型参数在实例化类或调用方法时被具体的类型替代。泛型提高了代码的可读性和安全性，同时减少了代码中的冗余。

泛型的基本概念

类型参数化：使得类、接口和方法可以对不同的数据类型进行操作，而不丧失类型安全。
类型擦除：Java 泛型仅在编译阶段有效，运行时会去除类型信息，这一过程称为类型擦除。编译器在类型擦除后插入类型转换代码，确保元素的类型安全。

泛型类和接口

泛型可以应用于类和接口。例如，Java 集合框架广泛使用泛型来定义集合中元素的类型。

public class Box<T> {
    private T t;  // T stands for "Type"

    public void set(T t) {
        this.t = t;
    }

    public T get() {
        return t;
    }
}

在上述代码中，T 是一个类型参数，表示一个占位符，可由任何类型替代。当实例化 Box 类时，可以指定具体的类型：

Box<Integer> integerBox = new Box<Integer>();
integerBox.set(123);
Integer someInteger = integerBox.get();

这里，T 被替换成了 Integer，实现了类型安全。

泛型方法

泛型也可以被用于方法，方法泛型使得方法能够独立于类泛型参数化。例如：

public class Util {
    public static <K, V> boolean compare(Pair<K, V> p1, Pair<K, V> p2) {
        return p1.getKey().equals(p2.getKey()) &&
               p1.getValue().equals(p2.getValue());
    }
}

在这个例子中，compare 方法有自己的类型参数 K 和 V，这些参数与任何类类型参数独立。

泛型通配符

泛型通配符 ? 用来表示未知类型。泛型通配符可以用在参数、字段、局部变量的类型上，常用于处理具有复杂继承关系的对象集合。

无界通配符：<?>，代表任何类型。
有界通配符：

- 上界通配符：<? extends Type>，表示参数化类型可能是指定的类型，或者是此类型的子类。
- 下界通配符：<? super Type>，表示参数化类型可能是指定的类型，或者是此类型的父类。

例如：

public void printList(List<?> list) {
    for (Object elem : list) {
        System.out.println(elem); // elem is treated as an Object
    }
}

这里的 List<?> 表示 "一个未知类型的对象的列表"，它可以接受任何类型的 List。

泛型的限制

类型擦除：泛型信息只存在于编译阶段，在运行时不可用。这意味着无法使用泛型类型来区分重载方法等。
实例化类型参数：不能实例化类型参数，例如 new T() 是不允许的。
静态上下文中的类型参数：静态方法、字段或类本身不能引用类的类型参数。
异常类：不能将泛型类型用作异常类。

结语

Java 泛型提供了一个框架，让开发者在编写、使用集合类或其他类型的时候，可以提供

更严格的类型检查。泛型的引入大大增强了Java语言的表达力和安全性，是现代Java编程的一个基石。通过理解和正确使用泛型，可以提高代码的可读性、可重用性和安全性。

原理

Java 泛型的实现原理主要基于两个核心概念：类型参数化（Type Parameters）和类型擦除（Type Erasure）。泛型的引入不仅提高了代码的类型安全性和可读性，还保持了与早期Java版本的兼容性。以下是对Java泛型实现原理的详细探讨。

类型参数化

类型参数化允许在定义类、接口和方法时使用类型参数（如 T, E, K, V 等），这些参数在实际使用时会被具体的类型（如 Integer, String 等）替换。例如，在定义一个泛型类 Box<T> 时，T 可以被任何类型替换，从而使得 Box 类能够操作特定类型的对象，增加了代码的重用性。

类型擦除

类型擦除是Java泛型实现的核心机制，其主要目的是保证泛型代码与没有使用泛型的老旧代码能够兼容。在类型擦除的过程中，泛型类型参数在编译时会被擦除，并替换为非泛型的上限类型（默认为 Object），这一过程由编译器自动完成。

类型擦除的细节

擦除到边界：如果类型参数有边界（如 <T extends Number>），编译器会将类型参数替换为其边界（Number）。如果没有指定边界，类型参数就会被擦除到 Object。

public class Box<T extends Number> {
    private T t;
    public void set(T t) {
        this.t = t;
    }
    public T get() {
        return t;
    }
}
// After type erasure
public class Box {
    private Number t;
    public void set(Number t) {
        this.t = t;
    }
    public Number get() {
        return t;
    }
}

桥接方法：由于类型擦除，可能会导致泛型类或接口中的方法在擦除后签名冲突或变化。为解决这个问题，编译器会生成桥接方法（Bridge Methods）来保持多态性。
例如，假设有一个泛型接口和一个实现该接口的类：

public interface Comparable<T> {
    int compareTo(T o);
}

public class StringComparable implements Comparable<String> {
    public int compareTo(String o) {
        return 0;
    }
}
// After type erasure
public class StringComparable implements Comparable {
    public int compareTo(Object o) {
        return compareTo((String)o);
    }

    // Bridge method generated by compiler
    public int compareTo(String o) {
        return 0;
    }
}

在这个例子中，编译器生成了一个桥接方法，使得 compareTo(Object) 可以适当地调用 compareTo(String)。

保留泛型信息：尽管类型擦除会在运行时删除大部分的泛型类型信息，但部分信息仍通过反射可用，这是因为在编译后的字节码中保留了关于泛型声明的元数据。

类型擦除的影响

类型擦除确保了泛型的引入不会影响到既有的Java代码和库的正常运作，但也带来了一些限制：

运行时类型查询：因为类型信息在运行时不可用，所以不能直接使用 instanceof 检查泛型类型（如 if (obj instanceof Box<Integer>) 是非法的）。也不能通过反射来确定一个List实例的泛型类型是List<String>还是List<Integer>。
创建类型实例：无法直接创建泛型类型的数组或实例（如 new T() 或 new T[10]）。
静态上下文中的限制：静态方法、静态字段以及静态初始化块不能引用泛型类型参数。