array of parameterized types

by

Arrays of concrete paramaterized types are inherently broken. Remember arrays are covariant and the array type check is a runtime operation. At runtime all the generics have been type erased, so the Array Store check can’t tell <Pair<ParseNode, ParseNode>> from <Pair<BigInteger,IOException>>.

The fundamental contract of a generic is “I, the compiler, promise that if you write code that generates no warnings, you will never get a class cast exception at runtime.”

Neither can the compiler guarantee to you that it will be able to give you a compile time error if something that is not an ArrayList<Pair<ParseNode,ParseNode>> is put into that array. Nor can the runtime system guarantee you will get an ArrayStoreException (like the Language Specification says it will) if you add the wrong type, rather than a ClassCastException later when you take it back out. (The second part is really why it’s actually illegal rather than just a warning, it would result in an array that doesn’t obey the language specification.)

So it doesn’t let you declare them that way and forces you to acknowledge the ‘unsafe’ warning. That way it has said “I told you I can’t guarantee there will not be any class cast exceptions as a result of using this array, it’s on you to make sure you only put the right things in here.”

More Related Contents:

  1. Java generics type erasure: when and what happens?
  2. What are the reasons why Map.get(Object key) is not (fully) generic
  3. How to create a generic array? [duplicate]
  4. How to determine the class of a generic type?
  5. Array of Generic List
  6. How to use Class in Java?
  7. Java Generics: Cannot cast List to List? [duplicate]
  8. Why we can’t do List mylist = ArrayList(); [duplicate]
  9. What is the difference between ‘E’, ‘T’, and ‘?’ for Java generics?
  10. What are the differences between “generic” types in C++ and Java?
  11. Comparing the values of two generic Numbers
  12. Is it possible to solve the “A generic array of T is created for a varargs parameter” compiler warning?
  13. Return Type of Java Generic Methods
  14. What is the difference between and ?
  15. How to have Java method return generic list of any type?
  16. Java Generics and Enum, loss of template parameters
  17. When to use wildcards in Java Generics?
  18. Comparable and Comparator contract with regards to null
  19. Class is a raw type. References to generic type Class should be parameterized
  20. How to get the generic type at runtime?
  21. LRU cache in Java with Generics and O(1) operations
  22. mocking a method that return generics with wildcard using mockito
  23. Using a generic class to perform basic arithmetic operations
  24. Java: bounded wildcards or bounded type parameter?
  25. Generic class that accepts either of two types
  26. List is a raw type. References to generic type List should be parameterized
  27. incompatible types and fresh type-variable
  28. Java nested generic type mismatch
  29. Storing different types of elements in a List in Java
  30. ArrayList Generic without Type

Leave a Comment