Java采用值传递机制:基本类型传值副本,引用类型传地址副本;栈中存参数副本(局部变量表),堆中存对象实体;修改对象属性生效因地址副本指向同一堆对象,而重新赋值引用仅改变当前栈帧地址副本。

Java 的值传递机制不是抽象概念,而是由 JVM 内存模型严格决定的运行时行为。理解它,关键在于把“参数怎么传”和“数据存在哪”两件事对齐——栈中放什么、堆中放什么、方法调用时拷贝的是哪一部分。
栈帧里的局部变量表决定参数如何落位
每次方法调用,JVM 都会在当前线程的虚拟机栈中创建一个独立栈帧。这个栈帧的局部变量表(Local Variable Table)是参数传递的起点:
- 基本类型(如 int、boolean):实参的值直接写入局部变量表对应槽位,形参拿到的是该数值的完整副本;
- 引用类型(如 ArrayList、String):实参存储的是指向堆中对象的地址(比如 0x7f2a10),这个地址被复制进局部变量表,形参拿到的是地址的副本,不是对象本身。
堆与栈分离解释“为什么改属性生效,改引用却无效”
对象真实数据永远在堆内存,而栈中只存“通往堆的路标”。这就导致两种常见现象有完全不同的底层逻辑:
- 修改对象属性(如 list.add("x"))能生效:形参持有的地址副本仍指向原堆对象,操作的是同一块堆内存;
- 重新赋值引用(如 obj = new Object())不影响外部:只是把局部变量表里那个地址副本改成新地址,原栈帧或调用方栈帧中的旧地址没变,堆中老对象也未被触碰。
字节码层面验证:所有参数都在操作局部变量表
用 javap -c 反编译后能看到,方法体内所有参数读写都对应 iload_0、astore_2 这类指令——它们只访问当前栈帧的局部变量表索引,从不跨栈帧、也不直接操作原始变量内存地址。例如:
立即学习“Java免费学习笔记(深入)”;
- istore_1:把操作数栈顶的 int 值存入当前栈帧索引 1 的位置(即形参 x);
- astore_3:把新创建对象的引用地址存入当前栈帧索引 3 的位置(即形参 obj);
- 没有指令会去“找到调用方栈帧,修改它的某个槽位”,这从根本上排除了引用传递的可能性。
递归与多层调用进一步印证:每个 depth 都是独立副本
写递归时若误以为 depth 是共享变量,就容易加 depth-- 回退。实际上:
- 每进入一层 max(root, depth),JVM 就分配一个新栈帧,其中的 depth 是上一层传入值的拷贝;
- depth++ 只改当前栈帧的局部变量,返回时整个栈帧弹出,修改自然消失;
- 不存在“全局 depth 变量”,也没有任何机制让不同栈帧的 depth 地址相同——它们物理上就是不同内存位置。


















