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

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

Answer 3

因为编译器知道Element不可能是一个Point，所以你得到一个编译错误。

Answer 4

由于继承树。如果A继承自B，则可以编写B的实例

Integer i = 3;

System.out.println(i instanceof String); // compile time error

System.out.println(i instanceof Number); // true

System.out.println(i instanceof Object); // true

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

4 个答案: