这是动态调度吗？

Question

这是动态调度吗：

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

class B extends A{
}

class C extends A{
}

完全在另一个班级：

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

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

如果不是，如果行为是根据子类定义的，它会是动态调度吗？

Answer 1

是的，是的！

因为在 Java 中所有实例方法默认都是虚拟的。 (Can you write virtual functions / methods in Java?)

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

Answer 2

这是动态分派，因为编译器在为调用类生成字节码时不能假设它知道所有类。

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

在我看来，这让 java 除了使用动态调度之外别无选择，而不是“偷工减料”，即优化基类调用的调用。

Answer 3

我不确定你所说的具体问题是什么（如果静态已知调用的方法仅在一个类中声明，则可能会有一些特定于实现的优化将绕过运行时类型检查），但实际上，动态分派允许在运行时确定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 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