在下面的代码中，x 的类型是 I（虽然 x 也实现了 J，但在编译时不知道）那么为什么 (1) 处的代码不会导致编译时错误。 因为在编译时只考虑引用的类型。
public class MyClass {
public static void main(String[] args) {
I x = new D();
if (x instanceof J) //(1)
System.out.println("J");
}
}
interface I {}
interface J {}
class C implements I {}
class D extends C implements J {}
【问题讨论】：
标签： java instanceof
instanceof 用于在运行时确定对象的类型。您正在尝试在程序运行时确定x 是否真的是J 类型的对象，因此它会编译。
您是否认为它应该导致编译时错误，因为您认为编译器不知道 x 的类型？
编辑
正如 Kirk Woll 所评论的（感谢 Kirk Woll！），如果您正在检查 x 是否是 instanceof 一个具体类，并且编译器可以确定 x 的类型，那么您将收到错误消息在编译时。
来自 Java 语言规范：
如果将 RelationalExpression 转换为 ReferenceType 将作为编译时错误被拒绝，则 instanceof 关系表达式同样会产生编译时错误。在这种情况下，instanceof 表达式的结果永远不会为真。
作为一个例子：
import java.io.Serializable;
import java.io.IOException;
import java.io.ObjectOutputStream;
import java.io.ObjectInputStream;
class SerializableClass implements Serializable
{
private writeObject(ObjectOutputStream out) {}
private readObject(ObjectInputStream in) {}
}
public class DerivedSerializableClass extends SerializableClass
{
public static void main(String[] args)
{
DerivedSerializableClass dsc = new DerivedSerializableClass();
if (dsc instanceof DerivedSerializableClass) {} // fine
if (dsc instanceof Serializable) {} // fine because check is done at runtime
if (dsc instanceof String) {} // error because compiler knows dsc has no derivation from String in the hierarchy
Object o = (Object)dsc;
if (o instanceof DerivedSerializableClass) {} // fine because you made it Object, so runtime determination is necessary
}
}
【讨论】：
if 语句毫无意义。
instanceof。编译器永远无法知道给定类型是否不实现接口，因为潜在的子类可以实现它。正如您所指出的，这与类不同，如果您的示例使用了两个不兼容的类而不是接口，那么您确实会遇到编译器错误。
instanceof 是运行时操作符，而不是编译时操作符，因此使用被引用对象的实际类型对其进行评估。
【讨论】：