为什么Java中不能直接创建泛型数组？

泛型和数组如何交互

虽然您可以使用泛型类型（E[] 元素）创建数组引用，但可以使用泛型类型（E[] 元素）创建数组对象elements = new E[10]) 被禁止。这是由于泛型和数组处理类型强制的方式存在根本差异。

数组和协变

与泛型不同，数组是协变的。这意味着可以将超类型数组（例如，Object[]）分配给子类型数组（例如，String[]）。泛型的情况并非如此，泛型强制保持不变性（例如，List

类型强制

泛型在编译时强制执行更强的类型检查，防止运行时异常并保持类型安全。然而，数组携带运行时类型信息，如果插入不兼容类型的元素，则会导致潜在的 ArrayStoreExceptions。

通用数组创建问题

使用通用组件类型创建数组（例如, T[]) 是不安全的，因为类型在运行时未知。这可能会导致类型转换错误或 ArrayStoreExceptions，因为创建的数组实际上可能是伪装的 Object[]。

为什么类型转换有效

您可能想知道为什么 elements = (E[]) new Object[10] 似乎可以工作。这是由于未经检查的类型转换造成的，它会抑制编译时警告，但仍然存在运行时异常的风险。在这种情况下，如果数组元素与泛型类型兼容，则转换可能会成功，但可能并不总是有效。

E[]

创建泛型数组的解决方法类型而不依赖于未经检查的转换，请使用 Array#newInstance() 方法：

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

    return arr;
}

通配符参数化类型

创建通配符参数化类型的数组（例如，List>[]）是允许的，因为通配符是在运行时保留其参数化的可具体化类型。例如，List>[] 相当于 List[].

以上是为什么Java中不能直接创建泛型数组？的详细内容。更多信息请关注PHP中文网其他相关文章！