在这段代码中,如何选择一种方法而不是另一种方法?

这是SCJP的另一个问题。下面的代码打印出来 Alpha:fooBeta:fooBeta:barBeta:bar ,我不明白为什么第一个foo调用选择Alpha的foo而不是Beta的阿尔法·福参数更改为String而不是String…,则输出为 Beta:fooBeta:fooBeta:barBeta:bar 这是有道理的。

Alpha a = new Beta(); ,编译器将检查阿尔法·福,但JVM将实际运行测试版foo. 首先,Beta确实有一个foo方法,其签名与调用匹配。另一方面,我认为varargs方法只在没有其他方法与调用匹配时运行。所以我认为这是两个原因阿尔法·福不应该跑。这种理解的哪一部分是错误的?

谢谢!

class Alpha {

    public void foo(String... args) { //if this were String args, then it makes sense
        System.out.print("Alpha:foo");
    }

    public void bar(String a) {
        System.out.print("Alpha:bar");
    } }

public class Beta extends Alpha {

    public void foo(String a) {
        System.out.print("Beta:foo");
    }

    public void bar(String a) {
        System.out.print("Beta:bar");
    }

    public static void main(String[] arg) {
        Alpha a = new Beta();
        Beta b = (Beta) a;
        a.foo("test");//confusing line
        b.foo("test");
        a.bar("test");
        b.bar("test");
    } }

编辑:我想我知道我现在在哪里误解了事情。我想在一个 SuperClass sc = new SubClass(); 编译时和运行时,除非子类提供了方法的“更好”版本。然后,即使在编译时,编译器也会知道要调用的方法是子类版本。