Why don't I get a compilation error in the code below? I get a ClassCastException
which is a little confusing. Is it because they are related?
class Ink {}
Interface Printable {}
class ColorInk extends Ink implements Printable {}
class BlackInk extends Ink {}
class TwistInTaleCasting {
public static void main(String args[]) {
Printable printable = null;
BlackInk blackInk = new BlackInk();
printable = (Printable)blackInk;
}
}
Why don't I get a compilation error in the code below?
Because the compiler only cares about the static type of the expression you're trying to cast.
Look at these two lines:
BlackInk blackInk = new BlackInk();
printable = (Printable)blackInk;
You know that in the second line, the value blackInk
only refers to an object of type BlackInk
due to the first line, but the compiler doesn't. For all the compiler knows (when compiling the second line) it could actually have been:
BlackInk blackInk = new PrintableBlackInk();
printable = (Printable)blackInk;
... where PrintableBlackInk
is a class extending BlackInk
and implementing Printable
. Therefore it's valid (at compile-time) to cast from an expression of type BlackInk
to Printable
. If you make BlackInk
a final
class, then the compiler knows that there's no way that it will work (unless the value is null) and will fail at compile-time, like this:
error: inconvertible types
printable = (Printable)blackInk;
^
required: Printable
found: BlackInk
The details for this are in JLS 5.5.1.
Otherwise, we have to wait until execution time to see the failure, because the cast is valid at compile-time.