好的,谨遵您的嘱咐。接下来,我将严格按照您提供的图片大纲,为您呈现一份关于 Java 泛型的万字详解。这份文档的目标是,让您在学习后,能够具备阅读和理解 Java 集合框架源码的能力。

内容将涵盖泛型的定义、使用、类型边界、通配符、父子类型关系、泛型方法、类型擦除、局限性,并最终通过一个完整的泛型二叉搜索树实例来巩固所学知识。所有代码示例都将提供逐行注释和详尽的解释。


引言:为什么需要泛型 (Generics)?

在泛型出现之前(JDK 5.0 以前),Java 的集合类(如 ArrayList)是“裸露”的,它们可以存储任何类型的 Object。这带来了一个严重的问题:类型不安全。

【场景示例】

假设我们有一个 ArrayList,我们希望它只存储 String 类型的对象。

Java

// JDK 5.0 之前的代码风格
import java.util.ArrayList;
import java.util.List;

public class PreGenericsExample {
    public static void main(String[] args) {
        // 创建一个 List,此时它只能持有 Object 类型的引用
        List list = new ArrayList();

        // 我们可以向其中添加字符串
        list.add("Hello");
        list.add("World");

        // 但由于疏忽或错误,我们也可以向其中添加一个整数
        // 编译器对此无动于衷,因为它只知道这个 list 存储的是 Object
        // Integer 也是 Object 的子类,所以语法上没有问题
        list.add(123);

        // 当我们尝试从 list 中取出元素并使用时
        for (int i = 0; i < list.size(); i++) {
            // 我们“假设”里面都是字符串,所以进行强制类型转换
            // 当循环到第三个元素 (123) 时,问题就爆发了
            // Integer 类型无法被强制转换为 String 类型
            String str = (String) list.get(i); // 这里会抛出 ClassCastException
            System.out.println(str.length());
        }
    }
}

上述代码在编译时不会报告任何错误。然而,在运行时,当程序试图将 Integer 类型的 123 强制转换为 String 时,会抛出 java.lang.ClassCastException 异常,导致程序崩溃。

这类错误是运行时错误,它们难以在开发阶段被发现,尤其是在大型复杂项目中。为了解决这个问题,Java 引入了泛型

泛型的核心思想是参数化类型 (Parameterized Type),即在定义类、接口或方法时,不预先指定具体的类型,而是使用一个“类型占位符”,然后在创建实例或调用方法时,再传入具体的类型。

泛型的核心优势:

  1. 类型安全 (Type Safety):编译器会在编译阶段就检查类型是否匹配,将上述的运行时错误(ClassCastException)提前到编译时错误,让我们在开发阶段就能发现并修正问题。

  2. 代码重用 (Code Reusability):可以编写一份代码,用于多种数据类型,而无需为每种类型都重写一遍。

  3. 消除强制类型转换 (Elimination of Casts):从泛型集合中获取元素时,不再需要手动进行强制类型转换,代码更加简洁、易读。

接下来,我们将严格按照大纲,系统地学习泛型的方方面面。


1. 泛型类的定义 (Definition of Generic Types)

泛型类是指在类定义中包含一个或多个类型参数(Type Parameters)的类。这些类型参数在类被实例化时,会被具体的类型实参(Type Arguments)所替代。

1.1 语法

定义一个泛型类的基本语法是在类名后面加上一对尖括号 <>,并在其中声明一个或多个类型参数。

class ClassName<T1, T2, ..., Tn> {
    // ...
}
  • T1, T2, ..., Tn:这些是类型参数,它们是占位符,代表未知的类型。

  • 命名约定:虽然理论上任何合法的标识符都可以作为类型参数名,但业界有一些广泛接受的约定,以增强代码的可读性:

    • T - Type (表示一个泛化的“类型”)

    • E - Element (在集合框架中常用,表示集合中的元素)

    • K - Key (常用于表示键值对中的“键”)

    • V - Value (常用于表示键值对中的“值”)

    • N - Number (常用于表示数值类型)

    • ? - Wildcard (表示不确定的 Java 类型,后续会详细讲解)

1.2 简单示例

让我们创建一个简单的“盒子”类 Box<T>,这个盒子可以用来存放任何类型的物品。

Java

// 这是一个泛型类 Box
// T 是一个类型参数,代表这个盒子里可以存放的物品的类型。
// 在创建 Box 实例之前,T 的具体类型是未知的。
public class Box<T> {

    // 声明一个成员变量 item,它的类型是 T。
    // 这意味着,如果创建一个 Box<String>,那么 item 的类型就是 String。
    // 如果创建一个 Box<Integer>,那么 item 的类型就是 Integer。
    private T item;

    // setter 方法,用于向盒子里存放物品。
    // 参数 newItem 的类型也是 T,确保了类型的一致性。
    public void set(T newItem) {
        this.item = newItem; // 将传入的物品存放到 item 成员变量中
    }

    // getter 方法,用于从盒子里取出物品。
    // 返回值的类型是 T,这样调用者就不需要进行强制类型转换。
    public T get() {
        return this.item; // 返回存放的物品
    }

    // main 方法,用于演示 Box 类的使用
    public static void main(String[] args) {
        // 创建一个 Box 实例,并指定类型参数 T 为 String。
        // 这意味着这个 box 实例是一个只能存放 String 的盒子。
        Box<String> stringBox = new Box<String>();

        // 向盒子里放入一个字符串 "Hello, Generics!"
        // 编译器会检查,由于 "Hello, Generics!" 是 String 类型,与 Box<String> 匹配,所以编译通过。
        stringBox.set("Hello, Generics!");

        // 尝试放入一个整数(这是错误的)
        // stringBox.set(123); // 这行代码会直接导致编译错误!
        // 错误信息通常是: The method set(String) in the type Box<String> is not applicable for the arguments (int)
        // 这就体现了泛型的类型安全优势,在编译阶段就阻止了错误。

        // 从盒子里取出物品
        // get() 方法返回的是 String 类型,所以可以直接赋值给一个 String 变量,无需强转。
        String content = stringBox.get();

        // 打印取出的内容
        System.out.println("Content of stringBox: " + content);


        // 我们还可以创建另一个 Box 实例,存放不同类型的物品,比如 Integer
        // 这里,类型参数 T 被指定为 Integer。
        Box<Integer> integerBox = new Box<>(); // 使用了类型推导(钻石操作符<>),后面会讲

        // 放入一个整数
        integerBox.set(2023);

        // 取出整数
        // get() 方法返回的是 Integer 类型。
        Integer number = integerBox.get();

        // 打印取出的数字
        System.out.println("Content of integerBox: " + number);
    }
}

【扩展说明】

这个简单的 Box<T> 例子完美地展示了泛型的三大好处:

  1. 类型安全stringBox.set(123); 这行代码无法通过编译,从根本上杜绝了向字符串盒子中放入整数的可能。

  2. 代码重用:我们只编写了一份 Box<T> 的代码,就可以用它来创建 Box<String>Box<Integer>Box<Double> 甚至是 Box<MyCustomObject> 等各种类型的“盒子”,大大提高了代码的复用性。

  3. 消除强转String content = stringBox.get(); 这里直接获取 String 类型,而不需要像旧代码那样写成 String content = (String) stringBox.get();,代码更整洁。

1.3 加入静态内部类的示例

泛型和 static 关键字有一些重要的交互规则。

  • 规则:静态成员(静态变量、静态方法、静态内部类)不能访问外部类的类型参数。

【原因分析】

类型参数(如 Box<T> 中的 T)是与实例相关联的。当你创建 new Box<String>()new Box<Integer>() 时,它们是两个不同的实例,分别绑定了 StringInteger。而静态成员是与本身相关联的,它在所有实例之间共享,甚至在没有任何实例存在时就可以被访问。因此,静态上下文无法确定 T 到底应该是什么类型。

【代码示例】

Java

public class OuterClass<T> {

    // 外部类的实例变量,它的类型是 T,这是合法的。
    private T outerField;

    // 静态字段不能使用外部类的类型参数 T
    // private static T staticField; // 这行代码会导致编译错误!

    // 静态方法不能使用外部类的类型参数 T
    // public static void staticMethod(T param) {} // 这行代码同样会导致编译错误!

    // 但是,静态内部类可以自己定义泛型,这与外部类的泛型无关。
    // StaticNestedClass 本身是一个泛型类,它有自己的类型参数 U。
    public static class StaticNestedClass<U> {
        // 静态内部类的实例字段,类型是它自己的类型参数 U,这是合法的。
        private U nestedField;

        // 构造函数
        public StaticNestedClass(U value) {
            this.nestedField = value; // 初始化 nestedField
        }

        // getter 方法
        public U getNestedField() {
            return nestedField; // 返回 nestedField
        }

        // 这是一个静态的泛型方法,后续会详细讲解。
        // 它有自己的类型参数 V,与 StaticNestedClass 的 U 和 OuterClass 的 T 都无关。
        public static <V> void printValue(V value) {
            System.out.println("Static generic method printing: " + value);
        }
    }

    public static void main(String[] args) {
        // 创建外部类 OuterClass 的一个实例,类型参数为 String
        OuterClass<String> outerInstance = new OuterClass<>();

        // 创建静态内部类 StaticNestedClass 的实例
        // 注意,创建静态内部类实例时,不需要外部类的实例。
        // 这里,我们将它的类型参数 U 指定为 Integer。
        OuterClass.StaticNestedClass<Integer> nestedInstance = new OuterClass.StaticNestedClass<>(100);

        // 调用静态内部类实例的方法
        System.out.println("Nested instance field: " + nestedInstance.getNestedField());

        // 调用静态内部类中的静态泛型方法
        // 编译器会根据参数 "Some Text" 推断出类型 V 是 String。
        OuterClass.StaticNestedClass.printValue("Some Text");

        // 再次调用,这次编译器会推断出类型 V 是 Double。
        OuterClass.StaticNestedClass.printValue(3.14);
    }
}

【扩展说明】

  • 非静态内部类 (Inner Class):与静态内部类不同,非静态内部类(或称成员内部类)可以访问外部类的类型参数 T,因为它持有一个对外部类实例的隐式引用。

    Java

    public class Outer<T> {
        private T outerData;
        class Inner {
            public T getOuterData() {
                // 可以直接访问外部类的类型参数 T 和实例字段 outerData
                return outerData;
            }
        }
    }
    

1.4 加入继承或实现的示例

泛型类可以继承普通的类,也可以继承另一个泛型类。同样,它可以实现普通的接口或泛型接口。

【代码示例】

Java

import java.util.ArrayList;

// 1. 定义一个泛型接口 PayloadContainer
// E 代表载荷(Payload)的类型
interface PayloadContainer<E> {
    void setPayload(E payload); // 设置载荷
    E getPayload();             // 获取载荷
}

// 2. 定义一个普通的父类
class Vehicle {
    public void drive() {
        System.out.println("Vehicle is driving.");
    }
}

// 3. 定义一个泛型类 Truck,它继承自普通的 Vehicle 类,并实现泛型接口 PayloadContainer
// T 代表卡车可以装载的货物(Cargo)类型
// 这个类同时拥有 Vehicle 的行为和 PayloadContainer 的契约
public class Truck<T> extends Vehicle implements PayloadContainer<T> {

    // T 类型的成员变量,用于存储货物
    private T cargo;

    // 实现接口中定义的 setPayload 方法
    @Override
    public void setPayload(T payload) {
        this.cargo = payload; // 将传入的货物存起来
        System.out.println("Cargo has been loaded.");
    }

    // 实现接口中定义的 getPayload 方法
    @Override
    public T getPayload() {
        return this.cargo; // 返回存储的货物
    }

    // main 方法用于演示
    public static void main(String[] args) {
        // 创建一个只能装载 "Parcel"(包裹)对象的卡车
        // Parcel 是我们自定义的一个简单类
        Truck<Parcel> parcelTruck = new Truck<>();

        // 继承自 Vehicle 的方法
        parcelTruck.drive(); // 输出: Vehicle is driving.

        // 创建一个包裹对象
        Parcel myParcel = new Parcel("Electronics");

        // 使用实现自 PayloadContainer 接口的方法来装载货物
        parcelTruck.setPayload(myParcel); // 输出: Cargo has been loaded.

        // 取出货物
        Parcel retrievedParcel = parcelTruck.getPayload();

        // 打印货物信息
        System.out.println("Retrieved cargo: " + retrievedParcel.getContent()); // 输出: Retrieved cargo: Electronics
    }
}

// 一个简单的包裹类,用于演示
class Parcel {
    private String content;

    public Parcel(String content) {
        this.content = content;
    }

    public String getContent() {
        return content;
    }
}

【扩展说明】

在继承或实现泛型类型时,子类可以有不同的选择:

  • 保留父类的泛型参数:如 class MyList<T> extends ArrayList<T> { ... },子类也是泛型的。

  • 指定父类的泛型参数:如 class StringList extends ArrayList<String> { ... },子类变成了普通的类,它特化了父类的泛型。

  • 不指定父类的泛型参数(使用裸类型):如 class OldList extends ArrayList { ... },这是不推荐的做法,会导致类型安全警告,应该避免。


2. 泛型类的使用 (Usage of Generic Types)

2.1 语法

使用(即实例化)泛型类的语法如下:

// 完整形式
ClassName<TypeArgument> variableName = new ClassName<TypeArgument>();

// 使用类型推导(钻石操作符),自 JDK 7 起推荐使用
ClassName<TypeArgument> variableName = new ClassName<>();
  • TypeArgument:这是具体的类型实参,例如 String, Integer, MyClass 等。它必须是引用类型,不能是基本数据类型(如 int, double),需要使用对应的包装类(Integer, Double)。

2.2 示例

我们使用第一节定义的 Box<T> 类来完整演示其使用过程。

Java

public class BoxUsageExample {

    public static void main(String[] args) {
        // 1. 声明并实例化一个 Box 对象,用于存放 Student 对象
        // 左侧的 Box<Student> 明确指定了该变量引用的盒子只能存放 Student
        // 右侧的 new Box<>() 使用了钻石操作符,编译器会根据左侧的声明自动推断出类型是 Student
        Box<Student> studentBox = new Box<>();

        // 2. 创建一个 Student 对象
        Student student = new Student("Alice", 12345);

        // 3. 将 student 对象放入盒子中
        // set 方法的参数需要是 Student 类型,这里传入 student 对象,类型匹配。
        studentBox.set(student);

        // 4. 从盒子中取出对象
        // get 方法返回的是 Student 类型,所以可以直接赋值给 Student 类型的变量。
        Student retrievedStudent = studentBox.get();

        // 5. 使用取出的对象
        System.out.println("Retrieved student: " + retrievedStudent.getName()); // 输出: Retrieved student: Alice

        // 6. 演示类型安全
        // 下面这行代码会引发编译错误,因为 studentBox 被声明为只能存放 Student 对象。
        // studentBox.set("This is not a student"); // 编译错误!
    }
}

// 一个简单的 Student 类
class Student {
    private String name;
    private int id;

    public Student(String name, int id) {
        this.name = name;
        this.id = id;
    }

    public String getName() {
        return name;
    }
}

2.3 类型推导 (Type Inference)

类型推导是 Java 编译器的一项功能,它能够根据上下文自动判断出泛型方法的类型参数或泛型类实例化的类型参数。

自 JDK 7 引入的钻石操作符 <> 是类型推导最常见的应用。它使得实例化泛型类的代码变得更加简洁。

【对比】

  • JDK 7 之前:

    Java

    // 类型参数需要在声明和实例化时重复书写,显得冗余
    Map<String, List<String>> myMap = new HashMap<String, List<String>>();
    
  • JDK 7 及之后:

    Java

    // 使用钻石操作符 <>,编译器会从左边的变量声明中推断出右边 new HashMap<>()
    // 的具体类型应该是 HashMap<String, List<String>>
    Map<String, List<String>> myMap = new HashMap<>(); // 代码更简洁
    

【扩展说明】

  • JDK 8 及以后,类型推导的能力进一步增强,尤其是在 Lambda 表达式和方法引用中。

  • JDK 10 引入了局部变量类型推导 var,可以与泛型结合使用,但需要注意可读性。

    Java

    // 使用 var,编译器会从右边的 new HashMap<>() 推断出 myMap 的类型
    // 但右边必须提供明确的类型参数,不能是钻石操作符
    var myMap1 = new HashMap<String, List<String>>(); // 正确
    
    // var 和钻石操作符不能同时用于推断
    // var myMap2 = new HashMap<>(); // 编译错误!编译器不知道 myMap2 应该是什么类型
    

3. 裸类型 (Raw Type)

3.1 说明

裸类型是指在使用泛型类时,完全不提供任何类型参数。例如,直接使用 List 而不是 List<String>

裸类型的存在主要是为了向后兼容 (Backward Compatibility)。在 JDK 5.0 引入泛型之前,所有的集合类都是裸类型。为了让旧代码在新版 JVM 上能够继续运行,Java 保留了裸类型。

【示例】

Java

// List<String> 是一个参数化类型 (Parameterized Type)
List<String> genericList = new ArrayList<>();

// List 就是一个裸类型 (Raw Type)
List rawList = new ArrayList();

3.2 未检查错误 (Unchecked Errors)

使用裸类型会丢失泛型带来的所有类型安全检查。编译器会发出“未检查”或“不安全操作”的警告,提醒开发者这部分代码存在潜在的类型风险。

【代码示例】

Java

import java.util.ArrayList;
import java.util.List;

public class RawTypeDanger {
    public static void main(String[] args) {
        // 创建一个裸类型的 List
        // 编译器会在这里给出一个警告:
        // "List is a raw type. References to generic type List<E> should be parameterized"
        List list = new ArrayList();

        // 我们可以向其中添加字符串
        list.add("This is a string");

        // 也可以向其中添加整数,编译器不会阻止,因为裸类型 list 可以持有任何 Object
        list.add(42);

        // 现在,让我们尝试处理这个 list
        // 假设我们有一个方法,它期望接收一个只包含字符串的列表
        processStrings(list);
    }

    // 这个方法期望接收一个 List<String>
    public static void processStrings(List<String> stringList) {
        // 当我们将裸类型的 list 传递给这个方法时,
        // 编译器会再次发出一个 "unchecked call" 警告。
        // 它在提醒我们,无法保证传入的 list 真的只包含字符串。

        // 在方法内部,我们按照 List<String> 的契约来使用它
        for (String s : stringList) {
            // 当循环到第二个元素 (整数 42) 时,
            // 程序会尝试将一个 Integer 隐式地转换为 String,
            // 此时就会在运行时抛出 ClassCastException
            System.out.println("Length: " + s.length());
        }
    }
}

【运行结果】

Length: 16
Exception in thread "main" java.lang.ClassCastException: class java.lang.Integer cannot be cast to class java.lang.String
    at RawTypeDanger.processStrings(RawTypeDanger.java:29)
    at RawTypeDanger.main(RawTypeDanger.java:21)

【扩展说明】

  • 结论永远不要在你的新代码中使用裸类型! 它们是 Java 类型系统中的一个“历史遗留问题”。使用裸类型无异于自废武功,放弃了泛型提供的最重要的安全保障。

  • List vs List<Object>List<Object> 是一个参数化的类型,它明确表示“这个列表可以持有任何类型的对象”。它是有类型安全保障的。例如,你不能将一个 List<String> 赋值给一个 List<Object> 类型的变量(后续在父子类型关系中会详谈)。而 List 是一个裸类型,它完全放弃了类型检查。List<Object> 是安全的,List 是不安全的。


4. 泛型类的定义-类型边界 (Type Bounds)

有时候,我们希望对泛型类或泛型方法中的类型参数施加一些限制,比如要求它必须是某个类的子类,或者必须实现某个接口。这就是类型边界的作用。

4.1 语法

类型边界使用 extends 关键字来声明,即使是对于接口也是使用 extends 而不是 implements

  • 上界 (Upper Bound)T extends SomeClass

    • 表示类型参数 T 必须是 SomeClass 本身,或者是 SomeClass 的子类。

  • 多个边界T extends ClassA & InterfaceB & InterfaceC

    • 表示 T 必须是 ClassA 的子类,并且同时实现 InterfaceBInterfaceC 接口。

    • 注意:如果边界中包含类,类必须放在第一个,后面是接口。

4.2 示例

让我们创建一个 NumericBox,它只接受 Number 类及其子类(如 Integer, Double, Float 等)。

Java

// 定义一个泛型类 NumericBox
// 类型参数 T 有一个上界:T extends Number
// 这意味着任何用来实例化 NumericBox 的类型,都必须是 Number 或其子类。
public class NumericBox<T extends Number> {

    // 成员变量,类型为 T
    private T number;

    // 构造函数
    public NumericBox(T number) {
        this.number = number;
    }

    // 一个方法,可以将数字转换为 double 类型并返回
    // 因为我们知道 T 一定是 Number 的子类,所以我们可以安全地调用 Number 类中定义的方法,
    // 比如 doubleValue(), intValue() 等。
    // 这就是类型边界带来的好处:可以在泛型代码中使用特定类型的方法。
    public double getAsDouble() {
        return number.doubleValue();
    }

    public static void main(String[] args) {
        // 创建 NumericBox<Integer> 实例,这是合法的,因为 Integer 是 Number 的子类。
        NumericBox<Integer> intBox = new NumericBox<>(100);
        System.out.println("Integer as double: " + intBox.getAsDouble()); // 输出: 100.0

        // 创建 NumericBox<Double> 实例,这也是合法的,因为 Double 是 Number 的子类。
        NumericBox<Double> doubleBox = new NumericBox<>(3.14);
        System.out.println("Double as double: " + doubleBox.getAsDouble()); // 输出: 3.14

        // 尝试创建 NumericBox<String> 实例
        // 下面这行代码会直接导致编译错误!
        // 因为 String 不是 Number 的子类,不满足类型边界 T extends Number 的约束。
        // NumericBox<String> stringBox = new NumericBox<>("error");
        // 错误信息: Type argument String is not within bounds of type-variable T
    }
}

4.3 复杂一点的示例

假设我们需要一个方法来找到一组元素中的最大值。为了能够比较元素,这些元素必须是可比较的,即实现 Comparable 接口。

Java

public class MaxFinder {

    // 这是一个泛型方法(后续会详细讲解)
    // 类型参数 T 有一个复杂的边界:T extends Object & Comparable<T>
    // extends Object 是隐式的,可以不写,所以等价于 T extends Comparable<T>
    // 这个边界要求 T 必须实现 Comparable<T> 接口,意味着 T 类型的对象可以和自己比较。
    public static <T extends Comparable<T>> T findMax(T[] array) {
        // 检查数组是否为空或 null
        if (array == null || array.length == 0) {
            return null;
        }

        // 假设第一个元素是最大的
        T max = array[0];

        // 遍历数组的其余部分
        for (int i = 1; i < array.length; i++) {
            // 使用 compareTo 方法进行比较
            // 因为 T 保证了实现了 Comparable<T> 接口,所以我们可以安全地调用 compareTo 方法。
            if (array[i].compareTo(max) > 0) {
                // 如果当前元素更大,则更新 max
                max = array[i];
            }
        }

        // 返回找到的最大元素
        return max;
    }

    public static void main(String[] args) {
        // 测试 String 数组 (String 实现了 Comparable<String>)
        String[] words = {"apple", "orange", "banana"};
        System.out.println("Max word: " + findMax(words)); // 输出: Max word: orange

        // 测试 Integer 数组 (Integer 实现了 Comparable<Integer>)
        Integer[] numbers = {10, 5, 25, 15};
        System.out.println("Max number: " + findMax(numbers)); // 输出: Max number: 25

        // 假设我们有一个没有实现 Comparable 接口的类
        class UncomparableObject {}
        UncomparableObject[] objects = {new UncomparableObject(), new UncomparableObject()};
        // 下面这行代码会引发编译错误,因为 UncomparableObject 不满足 T extends Comparable<T> 的边界。
        // findMax(objects);
    }
}

【扩展说明】

类型边界是连接泛型代码和具体类型方法的桥梁。没有边界,泛型代码中的变量只能被当作 Object 来对待,只能调用 equals(), hashCode(), toString() 等方法。有了类型边界,我们就可以在泛型代码中安全地调用边界类型所定义的方法,极大地扩展了泛型的能力。


5. 类型擦除 (Type Erasure)

这是 Java 泛型中一个至关重要但又有些晦涩的概念。理解类型擦除是理解泛型局限性的关键。

【核心思想】

Java 的泛型是通过一种叫做类型擦除的机制来实现的。这意味着泛型信息只存在于代码的编译阶段,而在运行时,这些泛型信息会被“擦除”掉。JVM 看到的字节码是普通的、不带泛型的。

【擦除规则】

编译器在编译泛型代码时,会进行如下处理:

  1. 替换类型参数

    • 如果泛型参数没有边界(如 <T>),则用其父类 Object 替换。

    • 如果泛型参数有边界(如 <T extends Number>),则用其边界类型(Number)替换。这被称为擦除到它的第一个边界 (erasure to its first bound)

  2. 插入类型转换:在需要的地方,编译器会自动插入强制类型转换,以保持类型安全。

  3. 生成桥接方法 (Bridge Methods):在某些涉及继承和多态的场景下,为了保持多态性,编译器会生成一些合成的、对开发者不可见的“桥接方法”。

【示例:类型参数的替换】

  • 编译前的代码:

    Java

    public class Box<T> {
        private T item;
        public void set(T item) { this.item = item; }
        public T get() { return this.item; }
    }
    
    public class NumericBox<T extends Number> {
        private T number;
        public T get() { return this.number; }
    }
    
  • 类型擦除后(JVM 看到的等效代码):

    Java

    public class Box {
        private Object item;
        public void set(Object item) { this.item = item; }
        public Object get() { return this.item; }
    }
    
    public class NumericBox {
        private Number number;
        public Number get() { return this.number; }
    }
    

【示例:插入类型转换】

  • 编译前的代码:

    Java

    Box<String> box = new Box<>();
    box.set("hello");
    String s = box.get(); // 这里看起来没有强转
    
  • 类型擦除后(编译器生成的等效代码):

    Java

    Box box = new Box();
    box.set("hello");
    String s = (String) box.get(); // 编译器自动在这里加上了强转
    

【类型擦除的后果与局限性】

由于泛型信息在运行时被擦除了,这导致了一些限制,我们将在第 9 节“泛型的限制”中详细讨论。这里先列举几个核心点:

  • List<String>.class 是非法的,因为运行时只有一个 List.class

  • 不能创建参数化类型的实例,如 new T()

  • 不能创建参数化类型的数组,如 new T[5]new ArrayList<String>[5]

  • instanceof 检查不能用于参数化类型,如 if (list instanceof ArrayList<String>) 是非法的。

【扩展说明:为什么要进行类型擦除?】

类型擦除的主要原因是为了向后兼容。当 JDK 5.0 引入泛型时,需要确保之前编译的、没有泛型的旧代码(裸类型代码)能够和新的、使用泛型的代码库无缝协作。通过类型擦除,无论新旧代码,最终生成的字节码在底层结构上是兼容的。这是一种工程上的权衡,虽然带来了一些局限性,但也保证了 Java 语言平滑的演进。


由于篇幅限制,接下来的部分将在下一条回复中继续。我们将深入探讨通配符、父子类型、泛型方法等高级主题,并最终完成二叉搜索树的实现。

继续上一部分的内容。


6. 泛型的使用 - 通配符 (Wildcards)

通配符 ? 是泛型中一个非常强大且重要的概念。它代表“未知的类型”,主要用于方法参数、字段或局部变量的类型声明中,以增加代码的灵活性。

通配符主要有三种形式:

  1. 无界通配符 (Unbounded Wildcard): ?

  2. 上界通配符 (Upper Bounded Wildcard): ? extends Type

  3. 下界通配符 (Lower Bounded Wildcard): ? super Type

6.1 基本 (无界通配符 ?)

List<?> 读作 "a list of unknown type"。它表示一个列表,但我们不知道(或不关心)它里面元素的具体类型。

【使用场景】

当你需要编写一个适用于任何类型列表的方法,且该方法的操作不依赖于元素的具体类型时,无界通配符非常有用。例如,一个打印列表大小或清空列表的方法。

【代码示例】

Java

import java.util.ArrayList;
import java.util.List;

public class UnboundedWildcardExample {

    // 这个方法可以接受任何类型的列表,比如 List<String>, List<Integer>, List<Object> 等。
    // 因为打印列表的大小这个操作,与列表里元素的具体类型无关。
    public static void printListSize(List<?> list) {
        System.out.println("The size of the list is: " + list.size());
    }

    public static void main(String[] args) {
        // 创建一个 String 类型的列表
        List<String> stringList = new ArrayList<>();
        stringList.add("A");
        stringList.add("B");

        // 创建一个 Integer 类型的列表
        List<Integer> integerList = new ArrayList<>();
        integerList.add(1);
        integerList.add(2);
        integerList.add(3);

        // 调用 printListSize 方法,两个不同类型的列表都可以作为参数传入
        printListSize(stringList);  // 输出: The size of the list is: 2
        printListSize(integerList); // 输出: The size of the list is: 3
    }
}

【重要限制】

对于一个 List<?> 类型的引用,你几乎不能向其中添加任何元素(除了 null)。因为编译器不知道 ? 到底是什么类型,为了保证类型安全,它会阻止任何可能破坏列表类型的添加操作。

Java

List<?> list = new ArrayList<String>();
// list.add("hello"); // 编译错误!
// list.add(123);     // 编译错误!
// list.add(new Object()); // 编译错误!
list.add(null);      // 合法,因为 null 可以是任何类型的成员

但是,你可以从中读取元素,只不过你只能把读出的元素当作 Object 来处理。

Java

Object obj = list.get(0); // 合法

PECS 原则

在学习上下界通配符之前,必须先了解一个非常重要的助记原则:PECS (Producer Extends, Consumer Super)

  • Producer Extends:如果你的方法需要一个“生产者”(只从中读取数据,例如 get),那么应该使用 ? extends T。它能接受 TT 的任何子类型。

  • Consumer Super:如果你的方法需要一个“消费者”(只向其中写入数据,例如 add),那么应该使用 ? super T。它能接受 TT 的任何父类型。

6.2 通配符 - 上界 (Upper Bounded Wildcard)

语法:? extends Type

List<? extends Number> 读作 "a list of some type that is a subtype of Number"。这意味着它可以是 List<Number>, List<Integer>, List<Double> 等。

【应用场景 - 生产者】

当你需要从一个集合中读取元素,并对这些元素执行某些操作时,上界通配符非常有用。

【代码示例】

Java

import java.util.ArrayList;
import java.util.List;

public class UpperBoundWildcardExample {

    // 这个方法计算一个数字列表的总和
    // 参数是 List<? extends Number>,表示它可以接受任何 Number 子类型的列表
    // 这个列表是一个“生产者”,我们只从里面读取(get)数据。
    public static double sumOfList(List<? extends Number> list) {
        double sum = 0.0;
        // 我们可以安全地遍历这个列表
        // 因为我们知道,无论 '?' 是什么具体类型(Integer, Double, ...),
        // 它肯定是 Number 的子类,所以每个元素都可以被安全地当作 Number 对待
        for (Number n : list) {
            // 调用 Number 类的方法 doubleValue() 是安全的
            sum += n.doubleValue();
        }
        return sum;
    }

    public static void main(String[] args) {
        // 创建一个 Integer 列表
        List<Integer> integerList = List.of(1, 2, 3, 4, 5); // Java 9+ 语法
        // 调用 sumOfList,合法
        System.out.println("Sum of integers: " + sumOfList(integerList)); // 输出: 15.0

        // 创建一个 Double 列表
        List<Double> doubleList = List.of(1.1, 2.2, 3.3);
        // 调用 sumOfList,合法
        System.out.println("Sum of doubles: " + sumOfList(doubleList)); // 输出: 6.6

        // 对于一个 List<? extends Number>,我们不能向其中添加元素(除了 null)
        // List<? extends Number> aList = new ArrayList<Integer>();
        // aList.add(123); // 编译错误!
        // 原因是编译器不知道 aList 到底指向的是 List<Integer> 还是 List<Double>。
        // 如果允许添加 Integer,但 aList 实际上指向一个 List<Double>,就会破坏类型安全。
    }
}

6.3 通配符 - 下界 (Lower Bounded Wildcard)

语法:? super Type

List<? super Integer> 读作 "a list of some type that is a supertype of Integer"。这意味着它可以是 List<Integer>, List<Number>, List<Object>

【应用场景 - 消费者】

当你需要向一个集合中添加元素时,下界通配符非常有用。

【代码示例】

Java

import java.util.ArrayList;
import java.util.List;

public class LowerBoundWildcardExample {

    // 这个方法向一个列表中添加 5 个整数
    // 参数是 List<? super Integer>,表示它可以接受 Integer 或其任何父类型的列表
    // 这个列表是一个“消费者”,我们只向里面写入(add)数据。
    public static void addNumbers(List<? super Integer> list) {
        for (int i = 1; i <= 5; i++) {
            // 我们可以安全地向这个列表添加 Integer 对象
            // 因为无论 '?' 是 Integer, Number, 还是 Object,
            // 它们都可以安全地容纳一个 Integer 对象(因为 Integer 是它们的子类型)。
            list.add(i);
        }
    }

    public static void main(String[] args) {
        // 创建一个 List<Integer>
        List<Integer> integerList = new ArrayList<>();
        addNumbers(integerList);
        System.out.println("Integer List: " + integerList); // 输出: [1, 2, 3, 4, 5]

        // 创建一个 List<Number>
        List<Number> numberList = new ArrayList<>();
        addNumbers(numberList);
        System.out.println("Number List: " + numberList); // 输出: [1, 2, 3, 4, 5]

        // 创建一个 List<Object>
        List<Object> objectList = new ArrayList<>();
        addNumbers(objectList);
        System.out.println("Object List: " + objectList); // 输出: [1, 2, 3, 4, 5]

        // 如果我们尝试从 List<? super Integer> 中读取数据,
        // 编译器唯一能保证的是,取出的元素一定是 Object 的子类。
        // 所以,只能将取出的元素赋值给 Object 类型的引用。
        Object obj = numberList.get(0); // 合法
        // Integer num = numberList.get(0); // 编译错误!因为列表可能是 List<Number> 或 List<Object>,里面的元素不一定是 Integer
    }
}

【PECS 总结】

  • 需要从集合,用 extends (生产者)。

  • 需要往集合,用 super (消费者)。

  • 如果既要读也要写,那么就不要使用通配符,直接使用确定的类型(如 List<T>)。

  • 一个经典的例子是 Collections.copy 方法:

    Java

    public static <T> void copy(List<? super T> dest, List<? extends T> src)
    
    • src 是源列表,是生产者,我们从中读取 T 类型的元素,所以用 ? extends T

    • dest 是目标列表,是消费者,我们向其中写入 T 类型的元素,所以用 ? super T


7. 泛型中的父子类型 (重要)

这是一个极易混淆但至关重要的概念。

【核心规则】

即使 IntegerNumber 的子类,List<Integer> 不是 List<Number> 的子类。它们之间没有任何继承关系。这种特性被称为不变性 (Invariance)

【原因分析:为什么必须这样设计?】

如果 List<Integer>List<Number> 的子类,那么下面的代码在编译时将是合法的,但这会在运行时导致灾难性的后果。

Java

// 假设 Java 允许 List<Integer> 是 List<Number> 的子类(但实际上不允许!)
List<Integer> integerList = new ArrayList<>();
integerList.add(10);
integerList.add(20);

// 因为“是”子类,所以这个赋值操作应该是合法的
List<Number> numberList = integerList; // 编译错误!但我们假设它通过了

// 现在,numberList 的类型是 List<Number>,所以我们可以向其中添加任何 Number
// 比如,添加一个 Double
numberList.add(3.14); // 逻辑上,这应该是合法的

// 问题来了!numberList 和 integerList 指向的是同一个底层的 ArrayList 对象。
// 我们刚刚通过 numberList 的引用,向一个我们认为是“纯整数列表”的集合中,
// 添加了一个 Double 类型的值!

// 当我们再通过 integerList 的引用去访问这个列表时:
Integer myInt = integerList.get(2); // 这行代码会尝试将 3.14 (Double) 赋值给一个 Integer 变量
                                    // 这将导致一个 ClassCastException

为了从根本上杜绝这种破坏类型安全的情况,Java 设计者规定泛型类型是不变的List<Integer>List<Number> 是两种完全不同的、不相关的类型。

【如何解决这个问题?】

如果你确实需要一个方法,既能处理 List<Integer> 又能处理 List<Number>,那么就应该使用我们刚刚学过的通配符

  • 如果你要读取这些列表,使用 List<? extends Number>

  • 如果你要写入 Integer 到这些列表,使用 List<? super Integer>

通配符为泛型提供了协变性 (Covariance) (? extends T) 和逆变性 (Contravariance) (? super T) 的能力,使得 API 设计更加灵活,同时又保证了类型安全。


8. 泛型方法 (Generic Methods)

泛型不仅可以用于定义类和接口,还可以用于定义方法。泛型方法是指在方法声明中包含类型参数的方法。

8.1 定义语法

泛型方法的类型参数列表放在修饰符(如 public static)之后,返回类型之前

Java

<T> ReturnType methodName(T parameter)
  • <T>:声明这是一个泛型方法,并且它有一个类型参数 T

  • 这个类型参数 T 的作用域仅限于该方法内部。

【泛型方法与泛型类的区别】

  • 泛型类:类型参数在整个类中都有效,与类的实例绑定。在实例化类时指定类型。

  • 泛型方法:类型参数只在当前方法中有效。方法的类型参数是在调用方法时由编译器根据传入的参数自动推断的,与所在的类是否是泛型类无关。

这意味着,你可以在一个普通的(非泛型的)类中定义泛型方法。

8.2 示例

让我们在一个普通的 Utils 类中定义一个泛型方法,该方法可以将一个数组转换为一个 ArrayList

Java

import java.util.ArrayList;
import java.util.List;

public class GenericMethodExample {

    // 这是一个静态的泛型方法
    // <E> 声明了类型参数 E
    // List<E> 是方法的返回类型
    // E[] array 是方法的参数
    public static <E> List<E> fromArrayToList(E[] array) {
        // 创建一个新的 ArrayList,其元素类型为 E
        List<E> list = new ArrayList<>();
        // 遍历传入的数组
        for (E element : array) {
            // 将数组中的每个元素添加到列表中
            list.add(element);
        }
        // 返回创建好的列表
        return list;
    }

    public static void main(String[] args) {
        // 使用 String 数组调用泛型方法
        String[] words = {"Java", "Python", "C++"};
        List<String> wordList = fromArrayToList(words);
        System.out.println("Word List: " + wordList);

        // 使用 Integer 数组调用泛型方法
        Integer[] numbers = {10, 20, 30};
        List<Integer> numberList = fromArrayToList(numbers);
        System.out.println("Number List: " + numberList);
    }
}

8.3 示例 - 可以类型推导

在上面的例子中,我们调用 fromArrayToList(words) 时,并没有显式地告诉编译器 EString。编译器非常智能,它通过检查 words 参数的类型是 String[],自动推断E 应该被绑定为 String。这就是泛型方法的类型推导。

绝大多数情况下,我们都依赖于编译器的类型推导,这让代码非常简洁。

8.4 示例 - 不使用类型推导(显式指定类型)

在极少数情况下,编译器的类型推导可能会失败,或者我们希望更明确地指定类型。此时,可以使用 "点" 语法在方法名前显式地提供类型参数。

Java

public class ExplicitTypeArg {
    static <T> T pick(T a, T b) {
        return b;
    }

    public static void main(String[] args) {
        // 正常调用,依赖类型推导
        String s = pick("Hello", "World");

        // 显式指定类型参数
        // 这种写法很少见,通常只在编译器无法推断或推断错误时使用
        String s2 = ExplicitTypeArg.<String>pick("Hello", "World");

        // 一个可能需要显式指定的例子是,当方法返回值没有被使用,
        // 或者参数是 null 时,编译器可能无法确定 T。
        // 例如,Collections.emptyList() 就是一个泛型方法
        // List<String> list = Collections.emptyList(); // 类型推导成功,因为左边有类型信息

        // 如果没有左边的类型信息,就需要显式指定
        // Object o = Collections.emptyList(); // 推导为 List<Object>
        // 要获得一个特定类型的空列表,可以这样做:
        List<String> stringList = Collections.<String>emptyList();
    }
}

9. 泛型的限制

如第 5 节所述,类型擦除是泛型实现的基础,它也带来了一系列的限制。

  1. 不能使用基本数据类型作为类型参数

    • 错误:List<int> list = new ArrayList<>();

    • 正确:List<Integer> list = new ArrayList<>(); (使用包装类)

    • 原因:类型擦除后,泛型类型会变成 Object,而基本数据类型(如 int)不是 Object 的子类。

  2. 不能创建类型参数的实例

    • 错误:T obj = new T();

    • 原因:类型擦除后,T 变成了 Objectnew Object() 无法代表 T 的真实类型。你无法知道 T 到底代表 String 还是 Integer,它们可能有不同的构造函数。

    • 解决方案:通过反射来创建实例,即 public MyClass(Class<T> clazz) { T obj = clazz.newInstance(); }

  3. 不能在静态上下文中使用类的类型参数

    • 错误:private static T staticField;

    • 原因:已在 1.3 节详细解释。静态成员属于类,而类型参数属于实例。

  4. 不能对参数化类型使用 instanceof 检查

    • 错误:if (myList instanceof ArrayList<String>) { ... }

    • 原因:运行时 ArrayList<String>ArrayList<Integer> 的信息都被擦除为 ArrayList。JVM 无法区分它们。

    • 正确:if (myList instanceof ArrayList) { ... } (只能检查原始类型)。

  5. 不能创建参数化类型的数组

    • 错误:List<String>[] lists = new List<String>[10];

    • 原因:这是因为数组的类型安全和泛型的类型安全机制有冲突。如果允许这样做,可能会绕过泛型类型检查,导致 ArrayStoreException

    • 解决方案:创建一个无界通配符数组 List<?>[] lists = new List<?>[10];,或者直接创建一个原始类型的数组并进行转换(不推荐,会产生警告)List<String>[] lists = (List<String>[]) new List[10];。最安全的方式是使用集合,如 List<List<String>>

  6. 泛型类不能 extends Throwable

    • 错误:class MyException<T> extends Exception { ... }

    • 原因:Java 的异常处理机制是基于运行时的类型信息的,而泛型类型在运行时被擦除。catch 语句无法捕获一个泛型异常,因为它在运行时无法知道 T 的具体类型。


10. 完整实现一份泛型支持的搜索树 (不使用 Comparator)

最后,我们来综合运用所学知识,实现一个泛型二叉搜索树 (Binary Search Tree, BST)。

  • 要求:这个 BST 可以存储任何类型的对象,只要这些对象是“可比较的”。

  • 约束:不使用外部的 Comparator。这意味着对象本身必须知道如何与同类对象进行比较。

  • 解决方案:使用类型边界,要求泛型参数 T 必须实现 Comparable<T> 接口。

步骤 1: 定义泛型节点类 Node<T>

Java

// Node 类本身也是一个泛型类
// T 是节点存储的数据的类型
// T 同样需要满足 Comparable<T> 的边界,因为节点之间也需要比较
class Node<T extends Comparable<T>> {
    // 节点存储的数据
    T data;
    // 指向左子节点的引用
    Node<T> left;
    // 指向右子节点的引用
    Node<T> right;

    // 构造函数,用于创建一个新节点
    // @param data 要存储的数据
    public Node(T data) {
        // 初始化数据
        this.data = data;
        // 新创建的节点,其左右子节点都为 null
        this.left = null;
        this.right = null;
    }
}

步骤 2: 定义泛型二叉搜索树类 BinarySearchTree<T>

Java

// BinarySearchTree 是一个泛型类
// 类型参数 T 有一个上界:T extends Comparable<T>
// 这确保了所有存入树中的元素都可以通过 compareTo 方法进行比较
public class BinarySearchTree<T extends Comparable<T>> {

    // 树的根节点
    private Node<T> root;

    // 公共的 insert 方法,这是外部用户调用的入口
    // @param data 要插入的数据
    public void insert(T data) {
        // 调用私有的、递归的 insert 方法,从根节点开始插入
        root = insertRecursive(root, data);
    }

    // 私有的递归方法,用于插入新节点
    // @param current 当前正在访问的节点
    // @param data 要插入的数据
    // @return 返回插入新节点后的(可能是新的)子树的根
    private Node<T> insertRecursive(Node<T> current, T data) {
        // 基本情况:如果当前节点为 null,说明我们找到了一个可以插入新节点的位置
        if (current == null) {
            // 创建并返回一个包含新数据的新节点
            return new Node<>(data);
        }

        // 使用 compareTo 方法比较新数据和当前节点的数据
        // compareTo 返回:
        //   - 负数: 如果 data < current.data
        //   - 零:   如果 data == current.data
        //   - 正数: 如果 data > current.data
        if (data.compareTo(current.data) < 0) {
            // 如果新数据小于当前节点数据,则应插入到左子树
            // 递归调用 insertRecursive,并将返回的新左子树根赋值给 current.left
            current.left = insertRecursive(current.left, data);
        } else if (data.compareTo(current.data) > 0) {
            // 如果新数据大于当前节点数据,则应插入到右子树
            // 递归调用 insertRecursive,并将返回的新右子树根赋值给 current.right
            current.right = insertRecursive(current.right, data);
        } else {
            // 如果数据已存在,我们在这里选择不做任何事(也可以更新节点等)
            // 返回当前节点即可
            return current;
        }

        // 返回修改后的当前节点(它的 left 或 right 可能已经改变)
        return current;
    }

    // 公共的 contains 方法,用于检查某个数据是否存在于树中
    // @param data 要查找的数据
    // @return 如果找到则返回 true,否则返回 false
    public boolean contains(T data) {
        // 从根节点开始递归查找
        return containsRecursive(root, data);
    }

    // 私有的递归方法,用于查找数据
    // @param current 当前正在访问的节点
    // @param data 要查找的数据
    // @return 如果找到则返回 true,否则返回 false
    private boolean containsRecursive(Node<T> current, T data) {
        // 基本情况:如果当前节点为 null,说明已经到达叶子节点的末端,仍未找到
        if (current == null) {
            return false;
        }

        // 比较数据
        if (data.compareTo(current.data) == 0) {
            // 如果找到了,返回 true
            return true;
        }

        // 如果要查找的数据小于当前节点数据,则递归地在左子树中查找
        // 否则,在右子树中查找
        return data.compareTo(current.data) < 0
                ? containsRecursive(current.left, data)
                : containsRecursive(current.right, data);
    }

    // 公共方法,用于中序遍历并打印树的内容
    public void inorderTraversal() {
        // 从根节点开始遍历
        inorderRecursive(root);
        // 打印一个换行符,使输出更美观
        System.out.println();
    }

    // 私有的递归方法,执行中序遍历 (左 -> 根 -> 右)
    // @param node 当前节点
    private void inorderRecursive(Node<T> node) {
        // 如果节点不为 null
        if (node != null) {
            // 1. 递归遍历左子树
            inorderRecursive(node.left);
            // 2. 访问(打印)当前节点的数据
            System.out.print(node.data + " ");
            // 3. 递归遍历右子树
            inorderRecursive(node.right);
        }
    }
}

步骤 3: 演示 BinarySearchTree 的使用

Java

public class BSTDemo {
    public static void main(String[] args) {
        // 1. 创建一个存储 Integer 的二叉搜索树
        // Integer 实现了 Comparable<Integer>,所以是合法的类型参数
        BinarySearchTree<Integer> numberTree = new BinarySearchTree<>();
        numberTree.insert(50);
        numberTree.insert(30);
        numberTree.insert(70);
        numberTree.insert(20);
        numberTree.insert(40);
        numberTree.insert(60);
        numberTree.insert(80);

        System.out.print("Inorder traversal of the integer tree: ");
        // 中序遍历应该会按升序打印出所有数字
        numberTree.inorderTraversal(); // 输出: 20 30 40 50 60 70 80

        // 检查元素是否存在
        System.out.println("Contains 40? " + numberTree.contains(40)); // 输出: true
        System.out.println("Contains 90? " + numberTree.contains(90)); // 输出: false

        System.out.println("------------------------------------");

        // 2. 创建一个存储 String 的二叉搜索树
        // String 实现了 Comparable<String>,也是合法的
        BinarySearchTree<String> stringTree = new BinarySearchTree<>();
        stringTree.insert("Banana");
        stringTree.insert("Apple");
        stringTree.insert("Orange");
        stringTree.insert("Grape");
        stringTree.insert("Cherry");

        System.out.print("Inorder traversal of the string tree: ");
        // 中序遍历应该会按字典序打印出所有字符串
        stringTree.inorderTraversal(); // 输出: Apple Banana Cherry Grape Orange

        // 3. 尝试使用一个没有实现 Comparable 的类(会导致编译错误)
        class Book { /* 没有实现 Comparable */ }
        // 下面这行代码会直接编译失败,因为 Book 不满足 T extends Comparable<T> 的边界
        // BinarySearchTree<Book> bookTree = new BinarySearchTree<>();
    }
}

这个完整的例子展示了如何利用泛型和类型边界来创建一个强大、类型安全且可重用的数据结构。


内容重点总结

  1. 核心目的:泛型将类型检查从运行时提前到编译时,提供类型安全,同时允许代码重用并消除不必要的强制类型转换。

  2. 基本构件

    • 泛型类/接口 (class Box<T>):定义一个可以处理多种类型的模板。

    • 泛型方法 (<T> void doSomething(T t)):定义一个类型参数只在方法内有效的操作。

  3. 关键机制 - 类型擦除:Java 泛型是通过类型擦除实现的,泛型信息在运行时不可用。这导致了一些局限性(如不能 new T(),不能 instanceof ArrayList<String>),但保证了向后兼容。

  4. 父子类型 - 不变性List<Integer> 不是 List<Number> 的子类。这是为了防止在运行时出现类型污染。

  5. 灵活性之钥 - 通配符

    • ? (无界通配符): 用于不关心具体类型的只读操作。

    • ? extends T (上界通配符): 用于生产者场景,当你需要从集合中读取 T 类型的数据时使用。只读不写。

    • ? super T (下界通配符): 用于消费者场景,当你需要向集合中写入 T 类型的数据时使用。只写不读(或只能读出 Object)。

    • PECS 原则 (Producer Extends, Consumer Super) 是使用通配符的黄金法则。

  6. 约束能力 - 类型边界

    • T extends SomeType 允许你在泛型代码中调用 SomeType 的方法,极大地增强了泛型的能力。这是实现像泛型排序、查找算法的关键。

掌握了以上这些核心概念,您就已经为深入理解和阅读 java.util.Collection 框架的源码打下了坚实的基础。您会发现,集合框架的源码中大量使用了泛型类、泛型方法、类型边界和通配符,以实现最大程度的灵活性和类型安全。

Logo

魔乐社区(Modelers.cn) 是一个中立、公益的人工智能社区,提供人工智能工具、模型、数据的托管、展示与应用协同服务,为人工智能开发及爱好者搭建开放的学习交流平台。社区通过理事会方式运作,由全产业链共同建设、共同运营、共同享有,推动国产AI生态繁荣发展。

更多推荐