这是动态调度吗？

Question

这是动态调度：

abstract class A{
    public method Meth1(){
    //somecode
    }
}

class B extends A{
}

class C extends A{
}

完全在另一个类中吗：

Some_Method(A a){
    a.Meth1();
}

我不确定这是否是动态调度，因为两个子类的行为相同？

如果不是，如果行为是根据子类定义的，那么它是否是动态分派？

Answer 1

我不确定您所说的具体问题（如果静态地知道调用的方法仅在一个类中声明，则可能存在一些特定于实现的优化，它将绕过运行时类型检查），但实际上，动态分派允许Meth1 方法的实际实现在运行时确定。因此，即使现在 B 和 C 都不会覆盖 Meth1，稍后，如果覆盖，动态调度将确保如果运行时类型为形式参数a是B，那么实际的实现是在B上。 C 的情况也是如此。

将此与 Java 中的方法重载进行对比，其中实际方法是在编译时根据所使用参数的声明类型确定的。

public class Overloading {

  public static class User {}
  public static class Admin extends User {}

  public static String foo(User user) {
    return "User specific method";
  }

  public static String foo(Admin admin) {
    return "Admin specific method";
  }

  // This will print "User specific method" two times, because both
  // user1 and user2 have same compile time type, i.e., User. Runtime
  // type does not matter.
  public static void main(String[] args) {
    User user1 = new User();
    System.out.println(foo(user1));

    User user2 = new Admin();
    System.out.println(foo(user2));
  }
}

Answer 2

它是动态分派，因为编译器在为调用类生成字节码时不能假设它知道类的全部内容。

字节码解释器或 JIT 编译器在运行时也不会，至少因为类可以动态加载。

在我看来，这使得java除了使用动态调度之外别无选择，而不是“走捷径”，即优化对基类调用的调用。

Answer 3

是的！。

因为在Java中所有实例方法默认都是虚拟的。
（你能用 Java 编写虚拟函数/方法吗？）

然后解析 a.Meth1() 需要在运行时完成。
请记住，您可以使用从 A 派生并覆盖该方法的类来动态加载新的 JAR。

Answer 4

动态调度是指根据实际类型而不是声明的类型选择方法实现。 Java 不支持动态调度，除非通过反射。这是静态类型的多态调度。

如果加载了单个实现，JVM 将应用单态优化（产生非常快的调用），当 JVM 看到传递给相同代码的第二个实现时，该优化将被撤消。

您可能听说过新的“invokedynamic”字节码，它在 JVM 中实现动态调度，但它旨在供其他 JVM 语言使用，Java 程序除了生成字节码之外不会使用它。

[编辑] 这是一个简单的例子：

Collection<Integer> c = new ArrayList<Integer>(Arrays.asList(2, 1, 0));
c.remove(2); // Collection.remove(E element) or List.remove(int idx)?
assert c.equals(Arrays.asList(1, 0)); // passes in case of static dispatch
assert c.equals(Arrays.asList(2, 1)); // fails - would pass in case of dynamic dispatch