141. Java 泛型 - Java 泛型方法的类型擦除

在 Java 中，泛型方法 （Generic Methods）可以让我们编写更加灵活和可重用的代码。然而，由于 Java 采用**类型擦除（Type Erasure）**来实现泛型，泛型方法的参数类型也会在编译时被擦除，从而影响方法的运行方式。

在本节中，我们将通过示例讲解：

泛型方法的类型擦除规则
无界泛型方法的擦除
有界泛型方法的擦除
类型擦除带来的影响

1. 泛型方法的类型擦除

泛型方法的类型参数 （<T>）在编译后不会存在于字节码中 ，编译器会用合适的替代类型 （如 Object 或上界类型）替换泛型参数。

擦除规则

如果泛型参数是无界的 （<T>），则会被替换为 Object。
如果泛型参数是有界的 （<T extends X>），则会被替换为 X（上界）。
方法的返回值、参数、局部变量等都会受到类型擦除的影响。

2. 无界泛型方法的擦除

我们来看一个统计数组中元素出现次数的泛型方法：

java 复制代码

// 统计数组中某个元素的出现次数
public static <T> int count(T[] anArray, T elem) {
    int cnt = 0;
    for (T e : anArray)
        if (e.equals(elem))
            ++cnt;
    return cnt;
}

🔍 解析

这里 T 没有上界 （extends 关键字），所以是无界泛型。
Java 编译器会将 T 替换为 Object。

编译后（类型擦除）：

java 复制代码

public static int count(Object[] anArray, Object elem) {
    int cnt = 0;
    for (Object e : anArray)
        if (e.equals(elem))  // ✅ 仍然可以使用 equals()
            ++cnt;
    return cnt;
}

📌 影响

所有泛型参数变为 Object ，但代码仍然可以运行 ，因为 equals() 方法在 Object 类中定义。

可以传递任何类型的数组：

java 复制代码

String[] words = {"apple", "banana", "apple", "orange"};
int count = count(words, "apple");  // ✅ 仍然有效

但如果泛型参数涉及自定义方法，则可能会出问题：

java 复制代码

class Person {
    String name;
    public boolean isSame(Person p) { return this.name.equals(p.name); }
}

Person[] people = { new Person("Alice"), new Person("Bob") };
count(people, new Person("Alice"));  // ❌ 编译错误，Object 没有 isSame() 方法

💡 解决方案 ：使用有界泛型（下一节）。

3. 有界泛型方法的擦除

如果泛型方法带有限制（上界） ，如 T extends X，那么 T 会被替换为 X。

示例：绘制不同的形状

假设我们有一个通用的绘制方法：

java 复制代码

class Shape { /* ... */ }
class Circle extends Shape { /* ... */ }
class Rectangle extends Shape { /* ... */ }

// 泛型方法，适用于所有 Shape 及其子类
public static <T extends Shape> void draw(T shape) {
    System.out.println("Drawing: " + shape);
}

编译后（类型擦除）：

java 复制代码

// T 被替换为 Shape
public static void draw(Shape shape) {
    System.out.println("Drawing: " + shape);
}

📌 影响

泛型参数 T 变成 Shape ，所以 draw() 方法只能接受 Shape 类型的对象：

java 复制代码

draw(new Circle());      // ✅ OK
draw(new Rectangle());   // ✅ OK
// draw("hello");  ❌ 错误，String 不是 Shape 的子类

相比无界泛型，T 可以调用 Shape 的方法：
java 复制代码
```
public static <T extends Shape> void draw(T shape) {
    shape.draw();  // ✅ 允许调用 Shape 的方法
}
```
由于 T 变成 Shape，所以可以安全地调用 Shape 定义的方法。

4. 泛型方法擦除的影响

情况	泛型方法	类型擦除后
无界泛型	`<T> int count(T[] anArray, T elem)`	`int count(Object[] anArray, Object elem)`
有界泛型	`<T extends Shape> void draw(T shape)`	`void draw(Shape shape)`
返回值泛型	`<T> T getValue()`	`Object getValue()`

🔹 影响 1：泛型方法的参数变为 `Object` 或上界

无界泛型：

java 复制代码

public static <T> T getFirst(T[] array) {
    return array[0];
}

类型擦除后：

java 复制代码

public static Object getFirst(Object[] array) {
    return array[0];
}

返回类型变成 Object，调用者需要手动转换类型：

java 复制代码

String first = (String) getFirst(new String[]{"A", "B"});  // ✅ 需要强制转换

🔹 影响 2：不能使用泛型参数创建数组

由于泛型擦除，Java 不允许创建泛型数组：

java 复制代码

public static <T> void createArray() {
    T[] arr = new T[10];  // ❌ 编译错误
}

原因：T 在运行时变成 Object，而 Object[] 不能保证类型安全。

💡 解决方案 ：使用 Array.newInstance()：

java 复制代码

public static <T> T[] createArray(Class<T> clazz, int size) {
    return (T[]) Array.newInstance(clazz, size);
}

🔹 影响 3：不能在运行时获取泛型方法的具体类型

java 复制代码

public static <T> void printType(T item) {
    System.out.println(item.getClass().getName());
}

printType(10);  // 输出：java.lang.Integer

T 在运行时已经被擦除 ，所以 printType() 只能获取 item 的实际类型 ，而无法获取 T 具体是什么。

5. 结论

泛型方法的类型参数会在编译时被擦除 ：
- 无界泛型 T → Object
- 有界泛型 T extends X → X
类型擦除后，方法参数变成 Object 或上界类型 ，可能需要手动类型转换。
泛型方法不能创建泛型数组。
无法在运行时获取泛型类型信息。

💡 提示

优先使用有界泛型，以减少类型擦除带来的问题。
避免在泛型方法中使用 instanceof，因为泛型信息在运行时不可见。
当需要创建泛型数组时，使用 Array.newInstance()。

通过理解泛型方法的类型擦除机制，我们可以更安全、更高效地编写 Java 代码！🎯

141. Java 泛型 - Java 泛型方法的类型擦除