Java 方法分派(dispatch)语义

Question

这是一个非常奇怪的问题，所以请耐心等待。

我想知道 Java 规范是否保证两个子类中的重写方法通过每个子类中相同的机制来解析。换句话说，如果我有

public class Foo {
    public int frob() {
        return 7;
    }
}

public class Bar extends Foo {
    @Override
    public int frob() {
        return 8;
    }
}

public class Baz extends Foo {
    @Override
    public int frob() {
        return 9;
    }
}

以及某处的方法:

public static int quux(Bar b) {
    return b.frob();
}

我知道只调用 .frob()上b ，调用quux((Bar)new Baz())有多安全？ ？

Answer 1

quux((Bar)new Baz()) 甚至无法编译。 (无法从 Baz 转换为 Bar，因为 Baz IS-NOT 是 Bar)。