为什么这个Java方法按声明的类型而不是运行时类型进行多态化?

时间:2011-03-16 20:53:27

标签: java polymorphism late-binding

此代码:

public class PMTest
{

    private static class Runner { }
    private static class Server extends Runner { }

    private static class Task
    {
        public void delegate(Runner runner)
        {
            System.out.println("Task: " + runner.getClass().getName() +
                               " / " + this.getClass().getName());
        }
    }

    private static class Action extends Task
    {
        public void delegate(Server server)
        {
            System.out.println("Action: " + server.getClass().getName() +
                               " / " + this.getClass().getName());
        }
    }


    private static void foo(Task task, Runner runner)
    {
            task.delegate(runner);
    }

    private static void bar(Action task, Runner runner)
    {
            task.delegate(runner);
    }

    private static void baz(Action task, Server runner)
    {
            task.delegate(runner);
    }


    public static void main (String[] args)
    {
        try {
            Server server = new Server();
            Action action = new Action();

            action.delegate(server);
            foo(action, server);
            bar(action, server);
            baz(action, server);

        }
        catch (Throwable t) {
            t.printStackTrace();
        }
    }
}

生成此输出:

$ java PMTest
Action: PMTest$Server / PMTest$Action
Task: PMTest$Server / PMTest$Action
Task: PMTest$Server / PMTest$Action
Action: PMTest$Server / PMTest$Action

我可以非常清楚地看到,正在选择Task的方法而不是Action的方法。我不明白为什么,因为对象总是知道它们是什么,我认为Java的后期绑定方法选择能够区分方法签名的差异。对bar()的调用尤其令人困惑,因为此时task被声明为Action

如果它有所不同,那就是Java 6:

$ java -version
java version "1.6.0_14"
Java(TM) SE Runtime Environment (build 1.6.0_14-b08)
BEA JRockit(R) (build R27.6.5-32_o-121899-1.6.0_14-20091001-2113-linux-ia32, compiled mode)

我可以更改我的代码以使其正常工作,但我想了解它为什么不起作用。谢谢你的帮助!

3 个答案:

答案 0 :(得分:5)

这就是调度在java中的作用。

Dispatch首先基于静态参数类型,一旦选择了静态签名,则使用包含该方法的对象的运行时类型来确定使用哪个覆盖。

例如,在

void foo(Object o) {
  if (o instanceof Number) { foo((Number) o); }
  else if (o instanceof String) { foo((String) o); }
}

void foo(String s) { ... }

void foo(Number n) { ... }

{ foo((Object) "foo"); }  // Calls foo(Object) which calls foo(String).
{ foo("foo"); }  // Calls foo(String) without first calling foo(Object).

答案 1 :(得分:5)

重载方法之间的选择总是在编译时进行,而不是在运行时。运行时多态性涉及在覆盖其他方法的方法之间进行选择 - 即具有相同签名的方法。

答案 2 :(得分:1)

因为一旦您将Server传递到foobar,在该调用的范围内,它不是Server,而是Runner。< / p>

因此,当您运行delegate时,它将根据方法的签名绑定到最合适的匹配项。 delegate(Runner)不要求将范围参数危险地转发为Server

请注意,此范围界定不是在运行时完成的,它也将支持源代码的静态分析。只是你记得服务器是Server让你感到困惑。如果您在没有额外超出范围的知识的情况下分析代码,那么您将看到delegate(Runner)确实只是您有效的选择。