当用于2个不兼容的类时,为什么`instanceof`错误而不是返回`false`？

Question

我正在读这个:http:
//java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.20.2

他们说:

考虑示例程序:

class Point { int x, y; }
class Element { int atomicNumber; }
class Test {
        public static void main(String[] args) {
                Point p = new Point();
                Element e = new Element();
                if (e instanceof Point) {       // compile-time error
                        System.out.println("I get your point!");
                        p = (Point)e;           // compile-time error
                }
        }
}

的instanceof表达不正确,因为没有的实例Element或它的任何可能的亚类(没有在这里示出)的可能可能是任子类的实例Point.

为什么这会导致错误,而不是简单地instanceof返回false？

谢谢,

JDelage

Answer 1

我会说,因为你在编译时知道它永远不会成真.因此,可以安全地假设这不是程序员的意思:)

但是,可能还有更多的java技术解释.

Answer 2

instanceofcheck是运行时检查.编译器能够在编译时发现这个条件不正确(更早),因此它告诉你它是错误的.永远记住,快速失败是一种很好的做法,它会为你节省大量的时间和精力.