Java类型擦除和数组

Question

OracleDoc说泛型是在java中使用调用类型擦除的技术实现的，这就是它的工作原理。

1. 如果类型参数是无界的，则用其边界或对象替换泛型类型中的所有类型参数。因此，生成的字节码只包含普通类、接口和方法

所以，如果我有一个通用类说容器如下：

class Container<T>{
T initialValue;
List<T> valueList=new ArrayList<T>();
public List<T> getValueList(){
  return valueList;
}

}

通过类型擦除处理后，它的等效类将如下所示：

class Container{
    Object initialValue;
    List valueList=new ArrayList();
    public List getValueList(){
      return valueList;
    }

    }

如果这里有错误，请纠正我

类似地，如果a修改上述类，如下所示

class Container<T>{
    T initialValue;
    List<T> valueList=new ArrayList<T>();
    T[] arrayValue;
    public Container(T[] array){
       arrayValue=array;
     }
    public List<T> getValueList(){
      return valueList;
    }

    }

这不会相当于？？？

class Container{
    Object initialValue;
    List valueList=new ArrayList();
    Object[] arrayValue;
    public Container(Object[] array){
       arrayValue=array;
     }
    public List getValueList(){
      return valueList;
    }

    }

如果这是真的，那么我也应该有这样的：T[]arrayValue=new T[10]；//编译时间错误；因为上面的语句会被转换成

Object[] arrayValue=new Object[10];

需要了解Java中数组的类型擦除工作原理吗？？

Answer 1

不能创建泛型数组。原因是数组早于Java的泛型，并且数组不使用类型擦除。因此，例如，整数[]和String[]在运行时确实具有不同的类型。如果你写new T[]，编译器不知道它需要创建什么样的数组。

您可以通过执行以下操作来创建假通用数组：

T[] array = (T[]) new Object[10];

但是您必须记住，您确实创建了一个对象数组，而不是T数组。在运行时，可以将非T实例放入其中，因此只有当数组是类的私有字段且从未传递给其他对象时，才可以这样做，以便您可以精确控制将哪些对象放入数组中。

如果你有一个类

T[] array = (T[]) Array.newInstance(typeToken, 10);