17370845950

Java泛型在编译期进行类型检查，提升代码复用性与类型安全性。1. 泛型类通过在类名后加定义，如Box；2. 泛型接口类似，如Comparable，实现时可指定具体类型；3. 泛型方法在返回类型前声明类型参数，如 void printArray(T[] array)；4. 通配符?支持边界限制：? extends T表示上界，? super T为下界，?为无界通配符；5. 注意事项包括：泛型运行时被擦除，不能创建泛型数组，基本类型需用包装类，静态字段不能使用泛型参数。掌握这些规则可写出安全灵活的泛型代码。

Java中的泛型是一种在编译期进行类型检查的机制，它允许在定义类、接口和方法时使用类型参数，从而提高代码的复用性和类型安全性。泛型的核心目标是避免运行时类型转换错误，同时减少强制类型转换。

泛型类的语法

定义泛型类时，在类名后添加类型参数列表，通常用尖括号包围，参数一般用单个大写字母表示，如T（Type）、E（Element）等。

示例：

public class Box {
    private T value;

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

    public T get() {
        return value;
    }
}

使用时指定具体类型：

Box stringBox = new Box();
stringBox.set("Hello");

泛型接口的语法

泛型接口与泛型类类似，在接口名后加上类型参数。

示例：

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

实现接口时可以指定具体类型或继续使用泛型：

public class MyNumber implements Comparable {
    public int compareTo(MyNumber other) { ... }
}

泛型方法的语法

泛型方法是指在方法返回类型前声明类型参数，该方法可独立于类的泛型使用。

示例：

public void printArray(T[] array) {
    for (T item : array) {
        System.out.println(item);
    }
}

调用时类型可自动推断，也可显式指定：

String[] words = {"a", "b"};
printArray(words); // 自动推断 T 为 String

类型通配符与边界限制

泛型支持通配符?，用于表示未知类型。可通过extends或super设定边界。

• ? extends T：上界通配符，接受T或其子类
• ? super T：下界通配符，接受T或其父类
• 无界通配符 ?：表示任意类型，但操作受限

示例：

public void processList(List extends Number> list) { ... }

这个方法可接收List、List等。

泛型使用注意事项

• 泛型只在编译期有效，运行时会被擦除（类型擦除），即Box和Box在JVM中是同一类型
• 不能创建泛型数组，如T[] arr = new T[10]是非法的
• 基本类型不能作为泛型实参，需使用包装类，如Integer而非int
• 静态字段不能使用类的泛型参数

基本上就这些。掌握这些语法规则，就能正确使用Java泛型写出更安全、灵活的代码。