Java Raw Type and generics interaction
If I have a Stack class
class Stack<E> {}
now if I do:
1) Stack<Integer> s = new Stack()
2) Stack s = new Stack<Integer>()
3) Stack s = new Stack()
can anyone explain me what these interactions (generic<->raw) causes?
Mainly my doubt is on point 1. In fact if I do that the assignment it's unsafe because that stack can store types other then Integer. Yes but if I have a push method and try to store a value othern than an Integer the compiler stop me...so when I'd have that unsafe operation?
All three are perfectly legal, since there is no actual runtime difference between a Stack
and a Stack<Integer>
, but all three will result in compiler warnings.
Stack<Integer> s = new Stack()
This will result in an "unchecked conversion" warning, because it's not safe in general to convert a raw type to a parameterized type. However, it's perfectly safe to do so in this case: pushing Integer
values will not cause any errors; pushing non-Integer
values will cause a type error.
Stack s = new Stack<Integer>()
This is a legal conversion from a parameterized type to a raw type. You will be able to push value of any type. However, any such operation will result in an "unchecked call" warning.
Stack s = new Stack()
Again, this is legal, with no implicit conversion. You will be able to push value of any type. However, any such operation will result in an "unchecked call" warning.
You may also get a "raw type" warning any time you refer to the type Stack
.
All of them are unsafe because Java generics, by virtue of type erasure, are just syntactic sugar. For example, this is entirely valid Java code:
Stack<Integer> s = new Stack<Integer>();
Stack<Double> s2 = (Stack<Double>)s;
s2.push(3.3d);
The point of Java generics is that stop you having to be explicit about casting Objects. That's it. They do nothing more than that (except generate compiler and IDE warnings).
They are still useful and can make your code much more readable and less error-prone but ultimately, at a byte code level, it's important to understand they're not doing anything.