你看下,引用类型是Sub类是对于exampleMethod方法来说的.这里只是确定了调用的是Super类中的 exampleMethod方法.而对于exampleMethod方法,它是通过静态分派来确定执行哪个interestingMethod方法的.很明显是执行Super类的interestingMethod方法.

     只有对于虚方法,jvm才会尝试去使用动态分派. 虽然JAVA中大部分的方法都是虚方法.

貌似我这里说的有个错误呀.第一句,"如果是 'invokespecial' 指令的,都是静态分派的"这句话貌似还没找到错误的地方(虽然感觉好像不是很严谨) .后面那句 "'invokevirtual'指令的,都是需要根据 目标对象的具体类型来动态判断执行哪个方法" 这句是错误的.例子如下(这个例子摘自<深入Java虚拟机-JVM高级特性与最佳实践>)

public class StaticDispatch {
	
	static abstract class Human{
		
	}
	
	static class Man extends Human{
		
	}
	
	static class Woman extends Human{
		
	}

	public void sayHello(Human human){
		System.out.println("human say hello");
	}
	
	public void sayHello(Man man){
		System.out.println("man say hello");
	}
	
	public void sayHello(Woman woman){
		System.out.println("woman say hello");
	}
	
	/**
	 * @param args
	 */
	public static void main(String[] args) {
		Human man = new Man();
		Human woman = new Woman();
		StaticDispatch sd = new StaticDispatch();
		sd.sayHello(man);
		sd.sayHello(woman);
	}

}

可以看到,其实是一个很简单的overload.输出如下

很明显,这个属于静态分派,或者说非虚方法分派.但是我们看对应的javap输出

 之前我特意google了 invokevirtual invokespecial两个指令.有些资料里有说法就是我之前说的 invokevirtual 指令对应动态分派,而invokespecial指令对应静态分派..刚才特意查了下,貌似又有新进展,新的说法是

    也就是说,其实这两个命令和JVM采用静态或者动态分派没有直接的联系(invokespecial指令肯定是静态分派算是联系不).

    但是,还是有一个疑问就是:java的方法重载肯定采用静态分派是JVM的规范么??所有的资料都这么说,但是没解释出处是哪里..

    最后,撒迦大大,你挖的洞啥时候填啊..我等了一天了 

那个坑啊..

引用

final但非private的实例方法还是用invokevirtual去调用的。虽然行为不是虚的。有别的原因导致这个设计。

为什么呢 

public class A {
  public void foo() { /* ... */ }
}

public class B extends A {
  public void foo() { /* ... */ }
}

public class C extends B {
  public final void foo() { /* ... */ }
}

A a = getA();
a.foo();