¿Por qué `instanceof` error en lugar de devolver` false` cuando se usa para 2 clases incompatibles?

Question

estoy leyendo esto:
http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.20.2

Dicen:

examinar el programa de ejemplo:

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 
       } 
     } 
} 

La expresión instanceof es incorrecta porque ninguna instancia de Element o cualquiera de sus posibles subclases (ninguna se muestra aquí) podría ser una instancia de cualquier subclase de Point.

¿Por qué esto resulta en un error, en lugar de simplemente en instanceof devolviendo falso?

Gracias,

JDelage

Answer 1

instanceof cheque es un cheque en tiempo de ejecución. El compilador puede descubrir que esta condición es incorrecta en el momento de la compilación (mucho antes), por lo que le indica que está equivocada. Recuerde siempre, que el ayuno fallido es una buena práctica, le ahorrará mucho tiempo y nervios.

Answer 2

diría yo, porque usted sabe en tiempo de compilación que nunca va a ser verdad. Por lo tanto, es seguro asumir que esto no es lo que el programador quiso decir :)

Sin embargo, es probable que haya una explicación técnica java.

Answer 3

Porque el compilador sabe que es imposible que un elemento sea un punto, por lo que se obtiene un error de compilación.

Answer 4

Debido al árbol de herencia. si A hereda de B, entonces se puede escribir una instancia de 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