在java中,如果同一个类出现了多个名称相同,参数也相同的方法,是无法通过编译的。就是说,在同一个类中定义相同名字的方法,该方法的参数必须不同,这就叫做重载。重载方法在编译过程中就可以被识别。java编译器会根据所传入的参数的声明类型来选取重载方法。共有三个阶段
如果在一个阶段找到了多个适配的方法,java编译器就会选择一个最合适的方法。这个判断什么是合适的关键就是集成关系。也就是说,同样的参数,子类更优先。给个例子
public void test1(Object object){
System.out.println("我是Object");
}
public void test1(String object){
System.out.println("我是String");
}
public static void main(String[] args) {
test t = new test();
t.test1(null);
}
执行的话输出的就是“我是Sring”。这个调用在编译器选取方法的时候,在第一步就能找到2个合适的方法,但是由于String是Object的子类,所以java编译器会认为以String为参数的更合适
jvm识别方法在于类名,方法名和方法描述符。对于方法描述符,是由参数类型以及返回值类型构成的。jvm和java语言不同,jvm并不限制一个名字,参数相同但返回类型不同的方法在同一个类中。因为调用这些方法的字节码所附带的方法描述符包含了返回值类型,所以JVM能识别这些方法。在jvm中,如果子类定义了和父类中非私有,非静态的同名方法,只有这两个方法的参数和返回类型一直,jvm才会判定是重写。
在jvm中,静态绑定值的是在解析时便能够直接识别出目标方法;动态绑定指需要在运行过程中根据调用者的动态类型来确认目标方法。java字节码中于调用有关的指令共有5种
因在编译过程中,并不知道目标方法的具体地址,所以java编译器会暂用符号引用来表示目标方法。符号应用就包含目标方法所在的类或接口名,方法名和方法签名。
符号引用可分为接口符号应用和非接口符号引用。在java虚拟机---JVM加载类的过程简单介绍中说过,jvm会把符号引用解析成实际引用。对于非接口引用,会有如下步骤:
对于接口应用,步骤如下
解析之后,符号应用就会被解析成实际引用。如果是静态绑定的方法就会解析成一个指向方法的指针。动态绑定的话,则是一个方法表的索引。下面具体看看方法的调用
java里所有的非私有实例方法调用指令是invokevirtual,接口方法调用的指令是invokeinterface。这两种指令都属于虚方法调用。在大多数情况下,jvm需要根据调用者的类型来确定调用目标的方法,这个过程就叫做动态绑定。当然,如果一个虚方法指向一个final修饰的方法,那么也可以静态绑定。
在jvm里,静态绑定的指令invokestatic和invokespecial。
方法表就是在类加载机制的链接部分中,构造出来与被加载类关联的数据结构。这个数据结构就是jvm实现动态绑定的关键。
方法表的本质上是一个数组,每个元素都指向当前类或超类中的非私有的实例方法。包含两个特性
在执行过程中,jvm获取调用者的实际类型,并在实际类型的虚方法表中根据索引获取目标方法。这个过程就叫做动态绑定。使用了方法表的动态绑定与静态绑定相比,也就只多出了几个内存解析操作而已:
相对于java栈的初始化来说,这几个步骤的开销可以忽略不计。这种方法其实仅存在于解释执行中。因为对于即时编译来说,有另外两种更好的手段 内联缓存和方法缓存。
内联缓存就是缓存调用者的动态类型和目标类型。在之后的执行过程中,碰到已经缓存的类型内联缓存就直接调用目标类型,没有碰到的话,就使用方法表去动态绑定。
对于内联缓存来讲,有单态内联缓存、多态内联缓存以及超多态内联缓存。单态内联缓存就是只缓存了一种动态类型和它所对应的目标方法。实现很简单,比较锁缓存的动态类型,如果命中,就直接调用目标方法。多态内联缓存:缓存了多个动态类型和目标方法。会挨个的将缓存的类型和调用的动态类型进行比较,命中就调用目标方法。通常来讲,JVM会把热点方法放在更前面以便调用。
当然,内联缓存不一定就能优化你的代码,提高执行性能。因为在内联缓存没有命中时,jvm会使用方法表进行动态绑定。这时,对于内联缓存中的数据,就有两种选择。
在java中,对于方法来讲,存在重载和重写的概念。重载指的是方法名相同而参数不同,重写则是方法名和参数都相同。
但jvm则有稍微的不同,对于方法来说,除了方法名和参数,还要加上返回类型。静态绑定指的是能在解析阶段就能识别目标方法,而动态绑定则是在运行过程中根据调用者的动态类型来识别方法的情况。
在jvm中,方法调用指令共有5中,其中invokestatic和invokespecial是静态绑定的指令。invokevirtual和invokeinterface是虚方法调用。但如果指向的是final修饰的方法,那么就是静态绑定,否则就是动态绑定。
jvm的动态绑定是通过方法表来实现的。jvm的即时编译会使用内联缓存来加速动态绑定。当碰到调用者时,如果动态类型与缓存的类型匹配,就直接调用缓存的目标方法,不然就会劣化为超多态内联缓存,以后的执行过程都是使用方法表去绑定