最近在编程时,修改方法传入对象的对象引用,并没有将修改反映到调用方法中。奇怪为什么结果没有变化,原因是遗忘了Java对象引用和内存分配机制。本文介绍3个点:
① 该问题举例说明
② 简要阐述Java内存区域
③ 介绍JVM中方法调用的机制
1. Java方法调用传参实例解析
Java中参数传递是值传递,即调用方法时,所有参数的传递都是值传递。基本类型直接将值拷贝给方法参数,引用类型将引用地址拷贝给方法参数。先看两个String类型和对象引用的实例。
(1)字符串对象引用
public static voidmain(String[] args) {
String a = "123";
app(a);
System.out.println(a);
}
private static voidapp(String a) {
//String不可修改,只会重新创建,故main中a不变
a += "456"; }
输出:123
分析:结果并没有因为调用了app方法,而输出123456。如注释中描述,String(由字符数组实现)是不可修改的,所有的修改都会重新创建新的String对象,并且字符串拼接也会重新创建String对象(具体见下文)。也就是说app中的a字符串引用已不再指向main中a指向的内存块,即main方法中a指向的内存块中字符串的值没有发送变化。
下图展示了对象引用与内存块的关系,可以看出来main方法中的与app方法中的a没关系,只是刚调用赋值的时候指向同一个内存块。
(2)字符串拼接源码实现
通过下图中字节码命令可以看到,字符串拼接是通过StringBuilder实现的。
读取的数据经第8行构建为String对象;
字符串拼接拆分为11-19,第11行构建StringBuilder对象,第16行调append方法,将字段串拼接到后边(底层通过将字符串中的字符放入原字符串字符数组中)
第19行,调StringBuilder.toString方法返回拼接好的字符串。
toString()的源码如下:
@Override
publicString toString() {
// Create a copy, don't share the array
return new String(value, 0, count);
}
重新构建String对象,并且注释中说明创建拷贝,但不共享字符数组。String构造函数底层会调Arrays.copyOfRange(char[] original, int from, int to)方法,将original字符数组拷贝到一个新的字符数组中,源码如下:
public static char[] copyOfRange(char[] original, int from, intto) {
int newLength = to -from;
if (newLength < 0)
throw new IllegalArgumentException(from + " > " +to);
char[] copy = new char[newLength]; System.arraycopy(original, from, copy, 0, Math.min(original.length -from, newLength)); returncopy; }
(3)普通对象引用
public static voidmain(String[] args) {
ListNode node = new ListNode(4);
System.out.println(node);
chg(node);
System.out.println(node.val);
}
private static voidchg(ListNode node) {
node.val+=1;
System.out.println(node);
node= new ListNode(2); System.out.println(node); } static classListNode{ private intval; privateListNode next; ListNode(intval){ this.val =val; } }
输出:
test.InsertSortTest$ListNode@2a139a55
test.InsertSortTest$ListNode@2a139a55
test.InsertSortTest$ListNode@15db9742
5
分析:① test.InsertSortTest$ListNode@2a139a55地址对应的对象,在main方法调chg方法传递参数的时候,将地址拷贝给chg方法的参数node,在chg方法中修改对象的值,此时两个方法中的node仍指向统一内存块,故main方法中输出为5。
② node= new ListNode(2) 语句将chg方法中的node重新指向另一个对象地址test.InsertSortTest$ListNode@15db9742,此时main方法和chg方法中的node指向不同的对象。
2. Java内存区域
具体Java虚拟机运行时数据区的划分,网上有很多相关资料,还可以看《深入理解Java虚拟机》,在此就不赘述了。但需要说明一点JDK7和JDK8稍有不同,就是JDK8中将原有的方法区(Method Area)或永久代改为元空间(MetaSpace),即将存储类信息、静态变量等元数据信息从方法区(也是堆内存)移动到本地内存(native memory)中。将不会出现java.lang.OutOfMemoryError: PermGen异常,如果该区域设置了大小,可能会出现java.lang.OutOfMemoryError: Metadata space异常,如果不设置大小,默认是自增的。
JDK7中JVM运行时数据区的划分如下图:(JDK7时,已将字符串常量池从方法区移到堆中)
JDK8中JVM运行时数据区的划分:
3. Java方法调用机制(字节码执行引擎)
栈帧是支持虚拟机方法调用和方法执行的数据结构,每个方法调用都对应一个栈帧。栈帧中包含局部变量表、操作栈、动态连接和方法返回地址等信息,结构如下图所示(图摘自Java —— 运行时栈帧结构):
具体内容的介绍参考书《深入理解Java虚拟机》。简单总结如下:
1. 基本概念
栈帧中局部变量表的大小、操作数栈的大小在编译期确定;
局部变量表用于存储方法参数和方法内部定义的局部变量,以槽(slot)为最小单位;
操作数栈用于存储指令计算对应的数据元素;
动态连接是指向运行时常量池中该栈帧所属方法放入引用,在运行期间可以转化为直接引用;
返回地址保存栈帧退出时,返回到方法被调用的位置,有正常退出(由PC计数器确定)和异常退出(由异常处理器表确定);
2. 方法调用
(1)解析
方法调用在Class文件中存储的都是符号引用,而不是方法在实际运行时内存布局中的入口地址(或直接引用)
在类加载的解析阶段,会将其中一部分符号引用转为直接引用,如编译期可知、运行期不可变的方法,包括静态方法和私有方法两大类,他们不可能被继承或重写;
5条字节码指令:invokestatic(调静态方法)、invokespecial(调构造方法、私有方法和父类方法)、invokevirtual(调虚方法)、invokeinterface(调接口方法,运行时确定实现该接口的对象)、invokedynamic(用于动态类型语言,暂不深究)。
前2种对应的为非虚方法,解析阶段可以将符号引用转为直接引用,不会延迟到运行期;invokevirtual和invokeinterface作用于虚方法(除final方法外)
(2)分派
Java多态性主要通过重载和重写实现,他们在JAVA虚拟机中是通过分派完成,包含静态分派(对应重载)和动态分派(对应重写)
定义一个变量,其有静态类型和实际类型,静态类型变量本身不会被改变,在编译期可知;编译时程序不知道一个对象实际类型是什么。
重载时,是通过参数的静态类型作为判断依据的;重写时,是在运行时根据实际类型作为判断依据,根据操作数栈顶所指的实际类型,去类型和父类型的常量池中查找对应方法。
3. 方法执行
Java虚拟机采用基于栈的字节码解释执行,过程涉及字节码指令、程序计数器、局部变量表和操作栈等,具体例子可参考书《深入理解Java虚拟机》。
4. 总结
方法调用时,方法参数是通过值传递的,并且方法参数会存储在栈帧中的局部变量表中,当修改该参数变量的指针时,与原来变量所指的内存块不同
Java虚拟机在JDK8时,将原来的永久代(方法区)改为元空间,放入本地内存。其中一个好处是防止永久代空间溢出问题
Java方法调用和执行是基于栈的字节码指令解释执行引擎,调用过程中涉及什么时机将符号引用转为直接引用,非虚方法调用发生在解析阶段,重载发生在编译期,重写发生在运行时。
5.参考
《深入理解Java虚拟机》