Java - interface -instsnceof

Question

这怎么可能是合法的？ A不是由Intf实现的。因此，如何才能合法使用？

interface Intf { 
} 

class A{ 
} 

class B{} 

class Test {  
    public static void main(String[] args) { 
     A obj = new A(); 
     System.out.println(obj instanceof Intf); //Legal - no any errors, just output false 
     System.out.println(obj instanceof B); // Illegal - compile error 
    } 
} 

Answer 1

JLS 15.20.2状态：

如果RelationalExpression到引用类型的铸造将被拒绝作为一个编译时间错误（§15.16），则的instanceof关系式同样产生一个编译时间错误。在这种情况下，表达式实例的结果永远不会是真的。

在这种情况下(Intf) obj不是编译时间错误，因为JLS 15.16状态：

如果操作数的编译时间类型不能通过铸造转换（§5.5）到由指定的目标类型被转换演员操作，然后发生编译时错误。

那么，为什么演员不是编译错误？

因为虽然obj的静态类型是A，但实际可能是A或A的任何子类。而A的子类可能实现Intf !!

现在我们可以看到在这种情况下是不可能的，因为obj已经参考A实例进行初始化....但类型检查器不允许进行逻辑推理。 （或者至少如果是这样，它只能把它当作警告而不是错误。）