泛型类与Java的泛型类型推断陷阱及避免

Java泛型提供了编译时类型安全，减少类型转换，提高代码重用性等优点。然而，在使用泛型时，我们可能会遇到一些陷阱，特别是在类型推断方面。以下是一些常见的泛型类与Java泛型类型推断陷阱及如何避免它们：

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

Java泛型不支持基本类型（如int, double, char等）作为类型参数。你需要使用相应的包装类（如Integer, Double, Character等）。

陷阱：

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

避免方法：

List<Integer> list = new ArrayList<>(); // 正确

2. 不能使用基本类型的包装类作为类型参数的边界

Java泛型不允许将基本类型的包装类用作类型参数的边界（extends）。

陷阱：

public class MyClass<T extends Number> { // 错误
    // ...
}

避免方法：

public class MyClass<T extends Number> { // 正确
    // ...
}

3. 不能使用数组作为类型参数

Java泛型不支持数组作为类型参数。

陷阱：

public class MyClass<T[]> { // 错误
    T[] array;
    // ...
}

避免方法：

public class MyClass<T> {
    T[] array;
    // ...
}

4. 不能使用泛型数组创建对象

Java泛型不支持直接创建泛型数组。

陷阱：

T[] array = new T[10]; // 错误

避免方法：

T[] array = (T[]) new Object[10]; // 正确，但可能会有类型转换警告

5. 不能使用基本类型的包装类作为泛型方法的返回类型

Java泛型方法不支持直接返回基本类型的包装类。

陷阱：

public static Integer getInteger() { // 错误
    return 42;
}

避免方法：

public static Integer getInteger() { // 正确
    return 42;
}

6. 不能使用泛型方法推断基本类型

Java泛型方法在推断基本类型时可能会导致歧义。

陷阱：

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

print(42); // 错误，编译器无法确定是int还是Integer

避免方法：

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

print((Integer) 42); // 正确，显式类型转换

7. 不能使用泛型方法推断基本类型的包装类

Java泛型方法在推断基本类型的包装类时可能会导致歧义。

陷阱：

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

print(42); // 错误，编译器无法确定是int还是Integer

避免方法：

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

print((Integer) 42); // 正确，显式类型转换

8. 不能使用泛型方法推断泛型类型参数

Java泛型方法在推断泛型类型参数时可能会导致歧义。

陷阱：

public static <T, U> void print(T t, U u) {
    System.out.println(t + " " + u);
}

print(42, "Hello"); // 错误，编译器无法确定是int还是Integer

避免方法：

public static <T, U> void print(T t, U u) {
    System.out.println(t + " " + u);
}

print((Integer) 42, "Hello"); // 正确，显式类型转换

总结

在使用Java泛型时，需要注意类型参数的选择、类型推断的歧义以及基本类型和包装类的使用。通过显式类型转换和合理的方法设计，可以避免这些陷阱，确保代码的正确性和可维护性。