Java支持动态方法调用吗？

Question

class A           { void F() { System.out.println("a"); }}
class B extends A { void F() { System.out.println("b"); }}

public class X {
    public static void main(String[] args) {
        A objA = new B();
        objA.F();
    }
}

这里，F() 正在被动态调用，不是吗？

本文说：

... Java 字节码不支持 动态方法调用。有 三种支持的调用模式： 调用静态、调用特殊、 调用接口或调用虚拟。 这些模式允许调用方法 具有已知签名。我们谈论 强类型语言。这允许 直接进行一些检查 编译时间。

另一方面，动态 语言使用动态类型。所以我们可以 调用编译时未知的方法 时间，但这完全不可能 与 Java 字节码。

我错过了什么？

Answer 1

您将动态调用与动态绑定混淆了。

第一个允许类型检查器接受您不确定对象上是否存在方法的程序运行时，而动态绑定只是根据对象的运行时类型选择正确的实现但保持静态类型检查。

这是什么意思？

这意味着在您的示例中，Java 将调用对象 B 上的实现，因为 objA 变量的运行时类型是 B；它会编译，因为它知道 B 是 A 因此方法调用在运行时不会失败 (objA< /code> 肯定会有一个 F 实现）。

相反，使用动态调用时，它不会在编译时检查您调用 F 的对象的类型是否包含该方法，当然，如果在执行过程中该方法不包含该方法，则会引发异常可用于指定对象。

简单说一下：Java7 中将添加 invokedynamic 功能，因为许多脚本语言都是在 JVM 之上编写的，而动态调用功能的缺乏迫使这些语言的开发人员添加中间层脚本和真正的 JVM 之间的层，关心使用反射的动态调用。当然，这种方法会导致大量开销（想想 Grovvy 的 MetaClass），这就是 Sun 决定为他们提供帮助的原因。

Answer 2

在您的示例中，调用了正确的方法，因为从多态性来看，B 的实例看起来像 A 的实例。可以通过检查对象的运行时类型来定位该方法；即B；与对象引用的编译时类型相反，A。另一个重要部分是方法的签名 - 这些必须始终匹配（当然是多态的）。

这与动态语言不同，因为在动态语言中，对象基本上没有编译时 - 并且所有内容都必须在运行时解决。

Answer 3

事实上，您缺少的是这是文章中解释的“invokevirtual”的部分。

您只需重写该方法并使用虚拟方法表来调用正确的方法。

Answer 4

我不会将您的示例称为“动态”，而是“虚拟”。因为在编译时方法名称和签名是已知的（并且编译器检查其存在）。在运行时唯一解决的是该方法要使用的具体实现。

“动态”方法调用的一个更合适的示例将涉及反射（请参阅 Method 类）。通过这种方式，可以在运行时调用编译类型中未知的方法（这在框架中广泛使用，但在应用程序代码中使用不多）。

您提到的文章在这方面似乎有点误导。但确实，您显式调用的方法的签名必须在编译时已知/检查，因此，从这个意义上说，Java 不是动态的。

Answer 5

您可以制作函数式接口。

class Logger {
  private BiConsumer<Object, Integer> logger = null;

  // ...

  private Logger(Object logger) {
      this.akkaLogger = (LoggingAdapter) logger;
      this.logger = (message, level) -> {
          switch (level) {
              case INFO:  akkaInfo(message);
                          break;
              case DEBUG: akkaDebug(message);
                          break;
              case ERROR: akkaError(message);
                          break;
              case WARN:  akkaWarn(message);
                          break;
          }
      };
  }

  private Logger() {
      this.logger = (message, level) -> System.out.println(message);
  }

  // ...
}