thinking in java

thinking in java - 泛型2

泛型

泛型
- 泛型数组与泛型容器
- 如何解决擦除导致的类型丢失

泛型

我们接着上面一篇文章继续聊泛型，如果没有看过的，欢迎阅读thinking in java - 泛型1

泛型数组与泛型容器

先看一段代码：

public class ArrayMaker<T> {
    private Class<T> kind;

    public ArrayMaker(Class<T> kind) {
        this.kind = kind;
    }

    T[] creat(int size) {
        return (T[]) Array.newInstance(kind, size);
    }

    public static void main(String[] args) {
        ArrayMaker<String> arrayMaker = new ArrayMaker<>(String.class);
        String[] strings = arrayMaker.creat(10);
        System.out.println(Arrays.toString(strings));
    }
}

输出结果：

[null, null, null, null, null, null, null, null, null, null]

这段代码的点在于Array.newInstance(kind, size);为啥我们传入了Class类型，还有要创建的size，这个方法还是给我们返回了Object，还需要我们使用强制类型转换？

类型擦除的限制
Java的泛型在编译后会被擦除为Object或边界类型（如Comparable）。虽然ArrayMaker的kind参数通过Class保留了类型信息，但Array.newInstance的返回类型设计为Object，因为它需要支持所有可能的componentType（如String.class、Integer.class等），无法在编译时静态绑定到具体类型。
数组的协变性
Java数组是协变的（如String[]可视为Object[]），但泛型是不变的（如List不能视为List）。当通过反射创建数组时，返回的实际类型（如String[]）在运行时是明确的，但编译器无法验证其与泛型类型T[]的兼容性，因此需要显式强制转换。
安全性责任转移给开发者
Array.newInstance的设计要求开发者通过Class参数确保类型安全。例如，若传入String.class，则返回的数组实际类型是String[]，但编译器无法自动推断这一点。开发者需通过强制转换(T[])告知编译器这一安全操作，并自行保证kind与T的一致性。

泛型容器

public class ListMaker<T> {
    List<T> create() {
        return new ArrayList<>();
    }

    public static void main(String[] args) {
        ListMaker<String> stringListMaker = new ListMaker<>();
        List<String> list = stringListMaker.create();
    }
}