type erasure in implementation of ArrayList in Java

Question

I was reading this article on Java Generics and there it is mentioned that the constructor for an ArrayList looks somewhat like this:

class ArrayLis         


        

Answer 1

Your type erased version is not correct. The type parameter declaration is not erased to Object but only it's usage is erased. More specifically:

• Erasure of a generic type is its corresponding raw type. So, for ArrayList, it would be just ArrayList.
• Erasure of a type parameter is its left-most bound.
• And all the type arguments are just removed. The type arguments are the one you use while instantiating the generic class. So, ArrayList will be replaced with ArrayList.

So, the correct erased version would be:

class ArrayList {
    private Object[] backingArray;
    public ArrayList() {
      backingArray = (Object[]) new Object[DEFAULT_SIZE]; 
    }
}

when I have ArrayList and ArrayList are there two different classes for each?

No, this is never the case. The compiler generates only one byte code representation of a generic type or method and maps all the instantiations of the generic type or method to the unique representation.

if not where the type information of String and Integer is stored?

When the compiler performs type-erasure, it removes all the type information, based on some pre-defined rules, occasionally adding what is called as bridge method, and adds all the necessary type casting required.

So, for example, the following usage of ArrayList and ArrayList:

ArrayList list = new ArrayList();
list.add(1);
int value = list.get(0);

ArrayList list2 = new ArrayList();
list.add("A");
String value2 = list.get(0);

will be converted to somewhat like this:

ArrayList list = new ArrayList();
list.add(1);
int value = (Integer) list.get(0);

ArrayList list2 = new ArrayList();
list.add("A");
String value2 = (String) list.get(0);

Further Reading:

• Java Generics FAQs - What is Type Erasure?
• Why does compiler adds cast while translating generics?