java - 在 Java 中使用可变参数创建泛型数组的潜在风险是什么？

Question

我找到了一种使用可变参数和匿名内部类创建内联通用数组的方法:

import java.util.Arrays;
import java.util.Objects;

public class GenericArrayCreate<C> {

   public void method() {

      C[] ans = new Object() { C[] c(int length, C ... cs) { return Arrays.copyOf(cs, length); }}.c(10);

      System.out.println(ans.length);
      System.out.println(Objects.toString(ans));

   }

   public static void main(String[] args) {
      new GenericArrayCreate<Class<? extends Integer>>().method();
   }
}

Java 编译器不会对此代码产生任何警告，而代码检查(在 IntelliJ 中)说:

Unchecked generics array creation for varargs parameter

这里发生了什么，为什么要骂人？

Answer 1

在内部你正在创建一个“Object”数组而不是一个“C”数组

试试这段代码:

 public static <C>  C[]  method(int number) {
   return  new Object() { 
     C[] create(int length, C ... cs) {
       return Arrays.copyOf(cs, length); 
     }
   }.create(number);
 }

 public static void main(String[] args) {
   System.out.println(Main.<Integer>method(10));
   System.out.println(new Integer[10]);
 }

[Ljava.lang.Object;@6bc7c054

[Ljava.lang.Integer;@232204a1

如您所见，它们并不相同。

这很危险，因为如果你运行这样的东西:

 public static void main(String[] args) {
   Integer[] integerArray1 = Main.<Integer>method(10);
   Integer[] integerArray2 = new Integer[10];
 }

你将有一个 ClassCastException

[Ljava.lang.Object; cannot be cast to [Ljava.lang.Integer

如果你想创建任何类型的数组，你需要发送类来构造数组，你可以这样做:

public static <C>  C[]  method(Class<C> clazz, int number) {
  return  (C[]) Array.newInstance(clazz, number);
}

public static void main(String[] args) {
  Integer[] integerArray1 = Main.<Integer>method(Integer.class, 10);
  Integer[] integerArray2 = new Integer[10];
}