为什么我不能在 Java 中创建通用数组，有哪些安全的替代方案？

创建泛型数组：Java 数组限制的探索

Java 的泛型功能允许创建类型安全的容器，但在以下情况下面临挑战处理数组。了解这些限制对于避免意外错误至关重要。

类型协方差和泛型

数组具有协方差，这意味着超类型的数组可以保存子类型的元素。但是，泛型强制执行更强大的类型检查，并且不允许这种行为，从而确保编译时的类型安全。

数组存储检查与泛型类型擦除

数组使用数组存储检查在运行时强制执行类型检查。另一方面，泛型会经历类型擦除，这意味着类型信息在运行时丢失。这种差异会导致在使用泛型和数组时出现不同的操作。

禁止创建泛型数组

禁止使用泛型组件类型创建数组，因为它的类型不安全的性质。考虑以下示例：

public <T> T[] getArray(int size) {
    T[] arr = new T[size];  // Type-unsafe, not allowed
    return arr;
}

在运行时，该数组实际上是一个 Object[]，当分配给 Integer[] 的引用时，它不会正确进行类型检查。

从 Object[] 到通用数组的类型转换

代码 E[] 元素= (E[]) 新对象[10];由于警告抑制类型转换而起作用。但是，这种解决方法并不总是安全的，并且可能会导致运行时错误，尤其是在处理不受信任的输入时。

无界通配符类型数组

数组创建是允许无界通配符类型，因为它们是可具体化的，这意味着它们具有未指定的类型参数。这是安全的，因为数组可以保存任何类型的元素。

E[]的替代方案：Array.newInstance()

安全地创建数组对于通用组件类型，请使用 Array.newInstance()。此方法将组件类型的 Class 对象和所需的数组大小作为参数。

public <E> E[] getArray(Class<E> clazz, int size) {
    @SuppressWarnings("unchecked")
    E[] arr = (E[]) Array.newInstance(clazz, size);
    return arr;
}

通过了解这些限制并采用推荐的解决方法，Java 开发人员可以有效地处理泛型和数组，同时确保类型安全。

以上是为什么我不能在 Java 中创建通用数组，有哪些安全的替代方案？的详细内容。更多信息请关注PHP中文网其他相关文章！