Java类型擦除和数组

Question

oracle说Generics是在java中使用技术调用类型擦除实现的，这就是它的工作方式。

1. 如果类型参数是无界的，则用它们的界限或对象替换泛型类型中的所有类型参数。因此，生成的字节码只包含普通类、接口和方法。
2. 必要时插入类型转换以维护类型安全。
3. 生成桥方法以保留扩展泛型类型中的多态性。

因此，如果我有一个泛型类，比如容器，如下所示：

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;
    }

    }

如果这里出了差错，请纠正我

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

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的泛型，而且数组不使用类型擦除。因此，例如，一个Integer[]和一个String[]在运行时确实有不同的类型。如果编写new T[]，编译器就不知道需要创建什么样的数组。

您可以通过以下操作创建假泛型数组：

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

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

如果您有一个Class<T>实例(一个所谓的类型令牌)，您可以使用Array.newInstance创建一个具有正确运行时类型的新数组：

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