前言
说真的,平常看源码都是自己看完自己懂,很少有写出来的冲动。但是在写算法的时候,经常用到java中各种集合,其中也比较常用到remove方法。remove有重载函数,分别传入参数是索引index或者数据Object(指定泛型后自动转换),如果指定泛型是其他数据类型还好,但是指定的是Integer或者是int的话,或者就有点懵了。这曾经也困惑过我,所以我就唯有用实践解惑了。
测试类设计
- 测试类一
public class Text {
public void remove(int index){
System.out.println("调用传参为int的remove方法");
}
public void remove(Integer object){
System.out.println("调用传参为Integer的remove方法");
}
public void remove(Object object){
System.out.println("调用传参为Object的remove方法");
}
}
- 测试类二
public class Text {
public void remove(Integer object){
System.out.println("调用传参为Integer的remove方法");
}
public void remove(Object object){
System.out.println("调用传参为Object的remove方法");
}
}
- 测试类三
public class Text {
public void remove(Object object){
System.out.println("调用传参为Object的remove方法");
}
}
结果
三个测试类分别传入int,Integer,Object型变量,观察效果。
- 测试类一
传入类型为int:调用传参为int的remove方法
传入类型为Integer:调用传参为Integer的remove方法
传入类型为Object:调用传参为Object的remove方法
- 测试类二
传入类型为int:调用传参为Integer的remove方法
传入类型为Integer:调用传参为Integer的remove方法
传入类型为Object:调用传参为Object的remove方法
- 测试类三
传入类型为int:调用传参为Object的remove方法
传入类型为Integer:调用传参为Object的remove方法
传入类型为Object:调用传参为Object的remove方法
从输出结果可以看出,当方法的传参的类层级逐渐变高时,层级较低的传参会进行向上转型适应传参的需要。
原因分析
下面我们先反编译各测试类的源码,结果如下
- 测试类一
invokevirtual #11 // Method remove:(I)V
invokevirtual #15 // Method remove:(Ljava/lang/Integer;)V
invokevirtual #18 // Method remove:(Ljava/lang/Object;)V
- 测试类二
invokevirtual #11 // Method remove:(Ljava/lang/Integer;)V
invokevirtual #11 // Method remove:(Ljava/lang/Integer;)V
invokevirtual #17 // Method remove:(Ljava/lang/Object;)V
- 测试类三
invokevirtual #10 // Method remove:(Ljava/lang/Object;)V
invokevirtual #10 // Method remove:(Ljava/lang/Object;)V
invokevirtual #10 // Method remove:(Ljava/lang/Object;)V
可以看出,反编译代码中都是调用实例方法的命令,所以结果中自动"向上转型"其实是jvm的功劳。jvm通过在编译时确定调用的传参类型,静态分派到具体方法的。所以在前言中的困惑已经解除了,就是由于jvm中静态分派的实现,调用次序是int->Integer->Object。
后记
也没什么想说的,感觉在阅读源码的时候必须多想想为什么这样做,为什么要这样实现,同时通过断点或者反编译的手段找出自己的答案。keep going!
本文首发于cartoon的博客转载请注明出处:https://cartoonyu.github.io/cartoon-blog/post/java/java的list接口的remove重载方法调用原理/