File APIs for Java Developers
Manipulate DOC, XLS, PPT, PDF and many others from your application.
http://aspose.com/file-tools
The moose likes Programmer Certification (SCJP/OCPJP) and the fly likes Why compiler allow this cast ? Big Moose Saloon
  Search | Java FAQ | Recent Topics | Flagged Topics | Hot Topics | Zero Replies
Register / Login


Win a copy of Murach's Java Servlets and JSP this week in the Servlets forum!
JavaRanch » Java Forums » Certification » Programmer Certification (SCJP/OCPJP)
Bookmark "Why compiler allow this cast ?" Watch "Why compiler allow this cast ?" New topic
Author

Why compiler allow this cast ?

Mahtab Alam
Ranch Hand

Joined: Mar 28, 2012
Posts: 222


interface X{}
class Way
{
public static void main(String args[])
{ X x=null;
Way w=(Way)x;
}
}


Way is not an X.so why compiler allows.Is it because explicit casts says to compiler don`t worry I know what i am doing .
Even it is the case why it doen`t result in runtime exception


Oracle Java Programmer , Oracle SQL Expert
Henry Wong
author
Sheriff

Joined: Sep 28, 2004
Posts: 18510
    
  40

Mahtab Alam wrote:


Way is not an X.so why compiler allows.Is it because explicit casts says to compiler don`t worry I know what i am doing .
Even it is the case why it doen`t result in runtime exception



The reason that the compilers allows it, is because, in theory, it is possible to subclass from the Way class *and* implement the X interface. This means that is is possible to have an instance that is both IS-A Way and IS-A X. And since, at compile time, the compiler can't tell if that is the case (or more correctly, nothing in the specification that allows the compiler to confirm the case), the cast is allowed.

Henry

Books: Java Threads, 3rd Edition, Jini in a Nutshell, and Java Gems (contributor)
 
I agree. Here's the link: http://aspose.com/file-tools
 
subject: Why compiler allow this cast ?
 
Similar Threads
class implements and extends with same member variable => ambiguous
Cast issue (when using generics)
Some doubts about generics
compiler inferencing in generic methods
Dynamic Mthod Lookup?