群里一位朋友问了个问题对象传进方法以后方法里改对象的属性外面的对象也跟着变但把参数重新指向一个新对象外面却纹丝不动。这到底算值传递还是引用传递这个问题的根源就是标题里说的那句话——Java中对象类型变量存的是对象的地址也就是引用。这句话看起来简单可一旦没彻底吃透后续能踩出一长串坑空指针异常为什么说爆就爆、两个对象内容明明一样用比出来却是false、列表拷贝之后改一个另一个也跟着变……我打算把这些相关的问题串在一起讲清楚。这篇文章适合正在啃Java基础、准备面试或者已经写了不少代码但总觉得这块没真正打通的朋友。读完你会明白引用到底是什么、Java的参数传递机制是怎么回事以及日常开发里那些和引用相关的坑该怎么躲。1. 先把概念理顺变量、引用、对象是三样东西1.1 一行代码背后的三件事Student stu new Student();这行代码几乎是每个人学Java写的第一句但它其实同时干了好几件事。等号右边的new Student()会在堆内存里真正创建一个对象然后把这块内存的地址信息返回回来。等号左边做的事情是在栈上开辟一个变量叫stu把刚才返回的地址信息存进这个变量。换句话说stu里面存的并不是一个完整的Student对象而是一个能帮你找到那个对象的“门牌号”。你可以想象小区里有一栋房子new Student()是盖好这栋房子返回的是它的门牌号stu这个变量就是一张写着门牌号的纸条。你拿着纸条能找到房子但纸条本身不是房子。很多人学到这里会犯一个错觉得stu就是对象本身。一旦带着这个误解去分析问题后面看参数传递、看集合拷贝、看对象比较处处都觉得别扭。之所以Java要这样设计是因为对象的大小是不固定的一个复杂的对象可能占很多内存直接把它整个塞进变量里既不现实也没必要。存一个地址访问的时候顺着地址找过去这才是合理的做法。1.2 Java为什么不像C语言那样直接暴露地址有一些了解过C语言的朋友会问这和指针不是一回事吗对Java的引用和C语言的指针在“存储地址”这一点上是一致的但二者有本质区别。C语言的指针可以运算可以ptr往下走可以强行把一个整数转成指针来访问任意内存。Java的引用不行它只能做几件事赋值、比较、传参、调用对象的方法。你不能对引用做加减乘除不能拿到它的十进制值更不能自己拼一个地址出来访问内存。这样限制是故意的。C语言里指针用不好轻则程序崩溃重则内存被随意改写。Java设计者希望避免这类问题于是造了一个“安全版指针”叫引用。你只能通过它访问到它该访问的对象干不了别的坏事。引用本身还有一个很重要的职责就是配合垃圾回收。JVM在判断一个对象能不能回收的时候会从GC Roots出发扫描所有引用凡是能被引用链连到的对象就认为是“活着”的连不到的对象就会被回收。GC Roots的扫描靠的就是这些引用。引用在这里相当于一根线一头系着变量一头系着堆里的对象JVM顺着线去判断哪些对象还该留、哪些该清掉。1.3 一个null引发的连锁反应既然引用只是地址信息那它当然有可能“没有地址”。Java里用null来表示这种情况意思是这个引用当前没有指向任何对象。Student stu null;表示这张纸条上什么都没写拿着它去找房子是找不到的。一旦你用这个没有指向的引用去调用方法stu.getName()运行时会直接抛出空指针异常NullPointerException简称NPE。这一点也解释了为什么NPE是Java程序员职业生涯里最熟悉的异常之一。你写的代码在编译阶段通过编译器也检查不出来这个问题因为编译器只认类型不认运行时的值。这里要特别区分两个概念引用是null和对象内容是“空”是完全不同的事。null是没有对象可指而空字符串、空集合new ArrayList()都是真实存在的对象只是里面没有元素。很多人把这两者混在一起看到str.isEmpty()就以为能替代判空其实如果str本身是null调用isEmpty()的那一瞬间NPE就来了。2. 内存视角栈、堆和引用到底怎么配合2.1 栈上存什么堆上存什么理解引用最好的方式是把内存的基础分工搞清楚。JVM内存区域划分中和日常写代码关系最紧密的是虚拟机栈和堆。虚拟机栈是线程私有的每个方法被调用时都会创建一个栈帧里面存着局部变量表、操作数栈这些信息。基本类型的局部变量比如int a 5值5直接存在局部变量表里。引用类型的局部变量比如Student stu存的是那个引用也就是地址信息。堆则是所有线程共享的几乎所有对象实例和数组都在这里分配内存。你用new创建出来的对象真实的身体都待在堆上。所以栈和堆之间形成了一种配合栈上的引用负责“指路”堆里的对象负责“提供数据”。这个模型理解透了后面分析参数传递、变量赋值都会轻松很多。2.2 引用赋值复制的是地址不是对象我们来看一段代码Student s1 new Student(); Student s2 s1;Student s2 s1这一步很多人以为是把s1指向的对象复制了一份给s2其实完全不是。这行的真正含义是读取s1里存的地址把这个地址复制一份存入s2。执行完之后s1和s2里存的是同一个地址它们指向堆里的同一个Student对象。这不是猜测你可以做个实验来验证s2.setName(李四); System.out.println(s1.getName()); // 输出 李四s1和s2明明是“两个变量”但通过s2修改对象以后通过s1看到的内容也变了这只能用“两个变量存着同一个地址”来解释。这个理解还有一个衍生推论把s1 null并不会让对象消失。假设这时s2还指着那个对象JVM就认为对象还有引用连着不会被垃圾回收。只有所有引用都断开以后对象才可能被回收。GC Roots是一个起点不是对象本身。2.3 new关键字完整的三步流程new的过程可以拆成三步。第一步在堆里为对象分配一块内存。第二步做初始化包括给字段赋默认零值然后调用构造方法执行你写的初始化逻辑。第三步把这块内存的地址作为引用返回通常紧接着就会出现一个赋值操作把这个引用存到变量里。实际操作里你可以用下面这段代码验一下引用返回的本质public class Person { String name; public Person(String name) { this.name name; } public static void main(String[] args) { Person p new Person(张三); System.out.println(p.name); } }main方法里那行new Person(...)先完成三步结果是一个引用然后再把这个引用交给变量p保存。如果构造方法里写了this.name name这里的this其实就是“正在创建中的对象的引用”它指向刚分配出来的那块堆内存所以能把参数name的值写进对象的字段里去。3. 经典面试题Java到底是值传递还是引用传递3.1 先给结论Java只有值传递每次聊到这个话题网上都会吵成一锅粥。先说结论Java的参数传递机制只有一种就是值传递。方法调用时实参的值会复制一份交给形参方法内操作的永远是副本。对引用类型来说这个“值”就是引用本身所以方法拿到的是引用的副本不是对象的副本也不是原来那个引用变量本身。这个结论和很多人的直觉相反因为他们在实际写代码的时候看到过“引用类型传进方法后修改了对象内容外面也变了”的现象。为了彻底说明我做了三个实验走了这三步以后基本不会再混淆。3.2 实验一基本类型参数外部不受影响public static void change(int x) { x 100; } int a 5; change(a); System.out.println(a); // 输出 5a里面存的是整数5。调用change(a)时真正传给形参x的是5的副本。x 100改的是副本所在的那块内存和外面a存的值没有任何关系。基本类型的结果很直白外部完全不受影响。3.3 实验二修改引用对象的属性外部跟着变public static void changeName(Student s) { s.setName(李四); } Student stu new Student(张三); changeName(stu); System.out.println(stu.getName()); // 输出 李四这个结果让很多人坚信Java是引用传递。但仔细分析就不一样了stu存的是地址值调用方法时这个地址值被复制了一份形参s和实参stu的值相同即指向同一个堆对象。s.setName(...)是通过这个地址找到了同一个对象再修改那个对象的属性。外部stu再去拿对象的属性时拿到的是已经被改过的内容。用门牌号来类比你把门牌号复印了一份给别人别人按复印件找到了那套房把房子里面的家具换了你回头一看家具确实变了。但要注意这并不代表你把自己的门牌号给了别人只是给了复印件。3.4 实验三形参重新赋值外部不变public static void changeRef(Student s) { s new Student(王五); } Student stu new Student(张三); changeRef(stu); System.out.println(stu.getName()); // 输出 张三代码里确实做了s new Student(王五)这一步其实是把形参s里存的地址改成了另一个新对象的地址。但这个改动只作用于形参s因为s只是stu的副本。外部stu存的地址仍然指向原来的那个“张三”对象所以打印结果依然是张三。如果Java真的是引用传递那s就应该是stu本身重新给s赋值后stu也会指向新对象打印出来的就应该是王五。实验结果告诉我们Java并不是。所以真正精确的说法是Java把引用按值传递。这也正是标题说的“对象类型变量存的是地址引用”的必然结果。3.5 一个快速判断技巧以后再遇到这类问题不用猜看两点。第一方法里对形参变量本身做赋值包括指向新对象、赋null外部不受影响因为改的只是副本。第二方法里通过形参调用了对象的方法修改了对象内部状态外部能看到变化因为用副本地址也还是能找到同一个对象。4. 引用机制引发的四大实战坑位4.1 用比较对象底层在比地址既然引用是地址那对引用类型比较的就是两个引用里存的地址是否一样也就是“两个变量是否指向同一个对象”。它完全不关心对象的内容是否相等。Integer a 127; Integer b 127; System.out.println(a b); // true Integer c 128; Integer d 128; System.out.println(c d); // false很多人第一次见到这个输出会懵。原因在于Integer有个缓存机制-128到127之间的整数对象会被缓存复用a和b拿到的其实是同一个对象地址所以为true。128超出缓存范围每次装箱都会创建一个新对象c和d指向堆里两个不同的对象所以为false。字节码层面它们也不是同一块地址。字符串也一样而且是重灾区String s1 new String(abc); String s2 new String(abc); System.out.println(s1 s2); // false两个对象内容相同但内存地址不同永远为false。就算你把其中一个改成String s3 abc这样直接用字面量也只是因为字符串常量池让s3和s1可能恰好指向同一个池中对象这个行为依然不能用来判断“字符串内容相等”。正确做法就是比较内容用equals。同时要注意重写equals必须重写hashCode否则对象放进HashMap、HashSet这类依赖哈希值定位的容器时会出现在同一个桶里放不下、查不到元素的诡异问题。很多“为什么我用contains查不到元素”的案例根源就在这。4.2 别名陷阱复制引用不是复制对象列表拷贝是另一个高发区。来看这段代码ListString list1 new ArrayList(); list1.add(hello); ListString list2 list1; list1.add(world); System.out.println(list2.size()); // 2list2 list1只是把list1里的引用地址复制给了list2两个变量指向同一个ArrayList对象。所以用list1.add(...)修改时list2看到的当然也是同一个集合元素数量跟着变。要真正复制集合的内容让两个变量各自持有独立的对象需要显式创建新容器比如new ArrayList(list1)。这会在堆里创建一个新的集合对象把原集合的元素引用依次放进去。此时两个ArrayList对象是不同的向其中一个添加元素不会影响另一个。这里还有一个更隐蔽的延伸new ArrayList(list1)属于浅拷贝它在集合层面复制了结构但里面的元素的引用没有变。如果元素本身是可变对象通过对新集合里某个元素做出修改原集合那个元素还是跟着变。深拷贝要连元素一起复制这在处理嵌套结构时是一个需要认真设计的课题。4.3 空指针异常引用没指向一切方法都白搭NPE的直接触发条件就是某个引用为null却调用了它的方法或访问了它的字段。最容易踩到的场景包括依赖注入没生效、从某个方法拿到返回值为null没有判断、对象序列化回来变成null、Map里取出来就是没有值。排查NPE时我的习惯是“三板斧”。第一看异常栈顶指出的行号出错代码在哪一行。第二在这一行里找出所有点号左边的引用思考其中哪个可能是null。比如a.getB().getC()可能是a是null也可能是getB()的返回值是null。第三顺着这个引用往前追看它在哪些地方被赋值过为什么运行到这里会是null。拿到数据源才能真正修复而不是在报错行随便加一层判断了事。还有一个实践忠告不要用Optional.of(...)包一个可能是null的值它会在构造时就抛NPE。要用Optional.ofNullable(...)。更不要过度使用Optional做繁琐的空值流转很多场景里一个清晰的if (obj null)比一整串Optional链表达式好读得多。4.4 数组和方法返回值同样在“传引用”数组在Java里本身就是对象数组变量存的是数组对象在堆中的地址。把数组传给方法方法里修改数组元素原数组也会变。public static void change(int[] arr) { arr[0] 99; } int[] data {1, 2, 3}; change(data); System.out.println(data[0]); // 99方法返回一个可变对象时也是一样返回出去的是引用的副本调用方和对象内部共享同一个堆对象。如果对象内部把某个List直接返回出去外部拿到后往里面add相当于绕过了类提供的方法直接修改了内部状态。我见过不止一次线上故障就是因为有人把内部集合直接返回被别的模块往里塞了一堆数据。正确的做法是返回只读视图或集合副本返回Collections.unmodifiableList(list)让外部只能读不能改或者new ArrayList(list)返回一个副本。这是很重要的防御性编程习惯。5. 进阶实操用字节码和调试彻底看清引用5.1 用javap看引用赋值到底做了什么理论讲再多都不如自己看一遍字节码来得实在。假设有这样一个简单类public class Person { String name; public Person(String name) { this.name name; } public static void main(String[] args) { Person p new Person(张三); System.out.println(p.name); } }编译后用javap -c Person.class查看字节码重点看main方法前面几条指令0: new #7 // class Person 3: dup 4: invokespecial #8 // Method init:(Ljava/lang/String;)V 7: astore_1好接下来逐条拆解。new指令在堆中创建了一个Person对象并把对象的引用压入操作数栈。dup复制栈顶的引用为什么需要复制因为接下来的invokespecial调用构造方法时会从栈上消费掉一个引用但后面astore_1还需要引用去赋值给局部变量所以先复制一份备用。dup是“把一个引用当两份用”的经典操作。invokespecial调用构造方法完成初始化。astore_1把留下的那份引用存入局部变量表下标为1的位置也就是变量p。看完你会发现每个“给对象变量赋值”的行为底层全是这次操作。变量存在的意义并不是抱起整个对象而只是握着一个指向堆空间的引用。5.2 调试器里怎么直观地看引用在主流IDE里调试Java代码时打开调试面板的Variables区域找到引用类型的变量你会看到它展开后显示的是对象内部的字段值和对应的ID或地址信息。两个不同的变量如果指向同一个堆对象它们的对象标识会是一致或可追溯到同一个对象实例。想验证“两个变量指向同一对象”最直接的做法是在赋值之后给两边都下一个断点然后看调试面板。给s1赋值后再执行s2 s1Variables面板里s2的内容和s1一核对字段值完全一样而且你修改其中任何一个另一个随之更新。这比任何图都直观。另外遇到“到底谁还持有这个对象的引用”这类问题可以用内存分析工具比如Eclipse MAT把堆转储文件导进去查看某个对象被哪些GC Root或变量引用着。这类排查在定位内存泄漏的时候极其好用。5.3 final引用的一些细节final修饰引用变量时限制的是“不能把这个引用变量重新赋值为别的对象引用”而不是“不能修改对象内部状态”。final Student stu new Student(); stu.setName(李四); // 允许 stu new Student(); // 编译报错这是很多面试题爱考的细节。实际开发里final配合引用更多是用在“这个变量应该一直指向同一个对象”的语义表达上比如依赖注入的对象引用不希望被别人替换掉。可一旦对象本身的属性是可变的final并不能保证对象内容不可变。想要真正的不可变对象还是得在设计层面让字段不可变、不暴露修改方法。链式调用背后的原理也和引用有关。类方法里写return this;就是把当前对象的引用返回出去于是调用方可以继续调用同一对象的下一个方法。和引用配合好代码写起来会更自然。最后分享一个我自己带新人时常用的小练习让朋友把“引用赋值、值传递、对象比较”这些现象全都画成一张内存图左边画栈右边画堆每个变量是什么值、指向哪个对象一步步标清楚。这个练习做过一遍以后后面再遇到NPE、误判、集合浅拷贝之类的问题基本都能自己找到排查方向。Java的引用机制贯穿了内存管理、参数传递、集合框架、并发控制等多个方面从这个点切入能顺藤摸瓜理解不少看似无关的底层机制。
群里一位朋友问了个问题对象传进方法以后方法里改对象的属性外面的对象也跟着变但把参数重新指向一个新对象外面却纹丝不动。这到底算值传递还是引用传递这个问题的根源就是标题里说的那句话——Java中对象类型变量存的是对象的地址也就是引用。这句话看起来简单可一旦没彻底吃透后续能踩出一长串坑空指针异常为什么说爆就爆、两个对象内容明明一样用比出来却是false、列表拷贝之后改一个另一个也跟着变……我打算把这些相关的问题串在一起讲清楚。这篇文章适合正在啃Java基础、准备面试或者已经写了不少代码但总觉得这块没真正打通的朋友。读完你会明白引用到底是什么、Java的参数传递机制是怎么回事以及日常开发里那些和引用相关的坑该怎么躲。1. 先把概念理顺变量、引用、对象是三样东西1.1 一行代码背后的三件事Student stu new Student();这行代码几乎是每个人学Java写的第一句但它其实同时干了好几件事。等号右边的new Student()会在堆内存里真正创建一个对象然后把这块内存的地址信息返回回来。等号左边做的事情是在栈上开辟一个变量叫stu把刚才返回的地址信息存进这个变量。换句话说stu里面存的并不是一个完整的Student对象而是一个能帮你找到那个对象的“门牌号”。你可以想象小区里有一栋房子new Student()是盖好这栋房子返回的是它的门牌号stu这个变量就是一张写着门牌号的纸条。你拿着纸条能找到房子但纸条本身不是房子。很多人学到这里会犯一个错觉得stu就是对象本身。一旦带着这个误解去分析问题后面看参数传递、看集合拷贝、看对象比较处处都觉得别扭。之所以Java要这样设计是因为对象的大小是不固定的一个复杂的对象可能占很多内存直接把它整个塞进变量里既不现实也没必要。存一个地址访问的时候顺着地址找过去这才是合理的做法。1.2 Java为什么不像C语言那样直接暴露地址有一些了解过C语言的朋友会问这和指针不是一回事吗对Java的引用和C语言的指针在“存储地址”这一点上是一致的但二者有本质区别。C语言的指针可以运算可以ptr往下走可以强行把一个整数转成指针来访问任意内存。Java的引用不行它只能做几件事赋值、比较、传参、调用对象的方法。你不能对引用做加减乘除不能拿到它的十进制值更不能自己拼一个地址出来访问内存。这样限制是故意的。C语言里指针用不好轻则程序崩溃重则内存被随意改写。Java设计者希望避免这类问题于是造了一个“安全版指针”叫引用。你只能通过它访问到它该访问的对象干不了别的坏事。引用本身还有一个很重要的职责就是配合垃圾回收。JVM在判断一个对象能不能回收的时候会从GC Roots出发扫描所有引用凡是能被引用链连到的对象就认为是“活着”的连不到的对象就会被回收。GC Roots的扫描靠的就是这些引用。引用在这里相当于一根线一头系着变量一头系着堆里的对象JVM顺着线去判断哪些对象还该留、哪些该清掉。1.3 一个null引发的连锁反应既然引用只是地址信息那它当然有可能“没有地址”。Java里用null来表示这种情况意思是这个引用当前没有指向任何对象。Student stu null;表示这张纸条上什么都没写拿着它去找房子是找不到的。一旦你用这个没有指向的引用去调用方法stu.getName()运行时会直接抛出空指针异常NullPointerException简称NPE。这一点也解释了为什么NPE是Java程序员职业生涯里最熟悉的异常之一。你写的代码在编译阶段通过编译器也检查不出来这个问题因为编译器只认类型不认运行时的值。这里要特别区分两个概念引用是null和对象内容是“空”是完全不同的事。null是没有对象可指而空字符串、空集合new ArrayList()都是真实存在的对象只是里面没有元素。很多人把这两者混在一起看到str.isEmpty()就以为能替代判空其实如果str本身是null调用isEmpty()的那一瞬间NPE就来了。2. 内存视角栈、堆和引用到底怎么配合2.1 栈上存什么堆上存什么理解引用最好的方式是把内存的基础分工搞清楚。JVM内存区域划分中和日常写代码关系最紧密的是虚拟机栈和堆。虚拟机栈是线程私有的每个方法被调用时都会创建一个栈帧里面存着局部变量表、操作数栈这些信息。基本类型的局部变量比如int a 5值5直接存在局部变量表里。引用类型的局部变量比如Student stu存的是那个引用也就是地址信息。堆则是所有线程共享的几乎所有对象实例和数组都在这里分配内存。你用new创建出来的对象真实的身体都待在堆上。所以栈和堆之间形成了一种配合栈上的引用负责“指路”堆里的对象负责“提供数据”。这个模型理解透了后面分析参数传递、变量赋值都会轻松很多。2.2 引用赋值复制的是地址不是对象我们来看一段代码Student s1 new Student(); Student s2 s1;Student s2 s1这一步很多人以为是把s1指向的对象复制了一份给s2其实完全不是。这行的真正含义是读取s1里存的地址把这个地址复制一份存入s2。执行完之后s1和s2里存的是同一个地址它们指向堆里的同一个Student对象。这不是猜测你可以做个实验来验证s2.setName(李四); System.out.println(s1.getName()); // 输出 李四s1和s2明明是“两个变量”但通过s2修改对象以后通过s1看到的内容也变了这只能用“两个变量存着同一个地址”来解释。这个理解还有一个衍生推论把s1 null并不会让对象消失。假设这时s2还指着那个对象JVM就认为对象还有引用连着不会被垃圾回收。只有所有引用都断开以后对象才可能被回收。GC Roots是一个起点不是对象本身。2.3 new关键字完整的三步流程new的过程可以拆成三步。第一步在堆里为对象分配一块内存。第二步做初始化包括给字段赋默认零值然后调用构造方法执行你写的初始化逻辑。第三步把这块内存的地址作为引用返回通常紧接着就会出现一个赋值操作把这个引用存到变量里。实际操作里你可以用下面这段代码验一下引用返回的本质public class Person { String name; public Person(String name) { this.name name; } public static void main(String[] args) { Person p new Person(张三); System.out.println(p.name); } }main方法里那行new Person(...)先完成三步结果是一个引用然后再把这个引用交给变量p保存。如果构造方法里写了this.name name这里的this其实就是“正在创建中的对象的引用”它指向刚分配出来的那块堆内存所以能把参数name的值写进对象的字段里去。3. 经典面试题Java到底是值传递还是引用传递3.1 先给结论Java只有值传递每次聊到这个话题网上都会吵成一锅粥。先说结论Java的参数传递机制只有一种就是值传递。方法调用时实参的值会复制一份交给形参方法内操作的永远是副本。对引用类型来说这个“值”就是引用本身所以方法拿到的是引用的副本不是对象的副本也不是原来那个引用变量本身。这个结论和很多人的直觉相反因为他们在实际写代码的时候看到过“引用类型传进方法后修改了对象内容外面也变了”的现象。为了彻底说明我做了三个实验走了这三步以后基本不会再混淆。3.2 实验一基本类型参数外部不受影响public static void change(int x) { x 100; } int a 5; change(a); System.out.println(a); // 输出 5a里面存的是整数5。调用change(a)时真正传给形参x的是5的副本。x 100改的是副本所在的那块内存和外面a存的值没有任何关系。基本类型的结果很直白外部完全不受影响。3.3 实验二修改引用对象的属性外部跟着变public static void changeName(Student s) { s.setName(李四); } Student stu new Student(张三); changeName(stu); System.out.println(stu.getName()); // 输出 李四这个结果让很多人坚信Java是引用传递。但仔细分析就不一样了stu存的是地址值调用方法时这个地址值被复制了一份形参s和实参stu的值相同即指向同一个堆对象。s.setName(...)是通过这个地址找到了同一个对象再修改那个对象的属性。外部stu再去拿对象的属性时拿到的是已经被改过的内容。用门牌号来类比你把门牌号复印了一份给别人别人按复印件找到了那套房把房子里面的家具换了你回头一看家具确实变了。但要注意这并不代表你把自己的门牌号给了别人只是给了复印件。3.4 实验三形参重新赋值外部不变public static void changeRef(Student s) { s new Student(王五); } Student stu new Student(张三); changeRef(stu); System.out.println(stu.getName()); // 输出 张三代码里确实做了s new Student(王五)这一步其实是把形参s里存的地址改成了另一个新对象的地址。但这个改动只作用于形参s因为s只是stu的副本。外部stu存的地址仍然指向原来的那个“张三”对象所以打印结果依然是张三。如果Java真的是引用传递那s就应该是stu本身重新给s赋值后stu也会指向新对象打印出来的就应该是王五。实验结果告诉我们Java并不是。所以真正精确的说法是Java把引用按值传递。这也正是标题说的“对象类型变量存的是地址引用”的必然结果。3.5 一个快速判断技巧以后再遇到这类问题不用猜看两点。第一方法里对形参变量本身做赋值包括指向新对象、赋null外部不受影响因为改的只是副本。第二方法里通过形参调用了对象的方法修改了对象内部状态外部能看到变化因为用副本地址也还是能找到同一个对象。4. 引用机制引发的四大实战坑位4.1 用比较对象底层在比地址既然引用是地址那对引用类型比较的就是两个引用里存的地址是否一样也就是“两个变量是否指向同一个对象”。它完全不关心对象的内容是否相等。Integer a 127; Integer b 127; System.out.println(a b); // true Integer c 128; Integer d 128; System.out.println(c d); // false很多人第一次见到这个输出会懵。原因在于Integer有个缓存机制-128到127之间的整数对象会被缓存复用a和b拿到的其实是同一个对象地址所以为true。128超出缓存范围每次装箱都会创建一个新对象c和d指向堆里两个不同的对象所以为false。字节码层面它们也不是同一块地址。字符串也一样而且是重灾区String s1 new String(abc); String s2 new String(abc); System.out.println(s1 s2); // false两个对象内容相同但内存地址不同永远为false。就算你把其中一个改成String s3 abc这样直接用字面量也只是因为字符串常量池让s3和s1可能恰好指向同一个池中对象这个行为依然不能用来判断“字符串内容相等”。正确做法就是比较内容用equals。同时要注意重写equals必须重写hashCode否则对象放进HashMap、HashSet这类依赖哈希值定位的容器时会出现在同一个桶里放不下、查不到元素的诡异问题。很多“为什么我用contains查不到元素”的案例根源就在这。4.2 别名陷阱复制引用不是复制对象列表拷贝是另一个高发区。来看这段代码ListString list1 new ArrayList(); list1.add(hello); ListString list2 list1; list1.add(world); System.out.println(list2.size()); // 2list2 list1只是把list1里的引用地址复制给了list2两个变量指向同一个ArrayList对象。所以用list1.add(...)修改时list2看到的当然也是同一个集合元素数量跟着变。要真正复制集合的内容让两个变量各自持有独立的对象需要显式创建新容器比如new ArrayList(list1)。这会在堆里创建一个新的集合对象把原集合的元素引用依次放进去。此时两个ArrayList对象是不同的向其中一个添加元素不会影响另一个。这里还有一个更隐蔽的延伸new ArrayList(list1)属于浅拷贝它在集合层面复制了结构但里面的元素的引用没有变。如果元素本身是可变对象通过对新集合里某个元素做出修改原集合那个元素还是跟着变。深拷贝要连元素一起复制这在处理嵌套结构时是一个需要认真设计的课题。4.3 空指针异常引用没指向一切方法都白搭NPE的直接触发条件就是某个引用为null却调用了它的方法或访问了它的字段。最容易踩到的场景包括依赖注入没生效、从某个方法拿到返回值为null没有判断、对象序列化回来变成null、Map里取出来就是没有值。排查NPE时我的习惯是“三板斧”。第一看异常栈顶指出的行号出错代码在哪一行。第二在这一行里找出所有点号左边的引用思考其中哪个可能是null。比如a.getB().getC()可能是a是null也可能是getB()的返回值是null。第三顺着这个引用往前追看它在哪些地方被赋值过为什么运行到这里会是null。拿到数据源才能真正修复而不是在报错行随便加一层判断了事。还有一个实践忠告不要用Optional.of(...)包一个可能是null的值它会在构造时就抛NPE。要用Optional.ofNullable(...)。更不要过度使用Optional做繁琐的空值流转很多场景里一个清晰的if (obj null)比一整串Optional链表达式好读得多。4.4 数组和方法返回值同样在“传引用”数组在Java里本身就是对象数组变量存的是数组对象在堆中的地址。把数组传给方法方法里修改数组元素原数组也会变。public static void change(int[] arr) { arr[0] 99; } int[] data {1, 2, 3}; change(data); System.out.println(data[0]); // 99方法返回一个可变对象时也是一样返回出去的是引用的副本调用方和对象内部共享同一个堆对象。如果对象内部把某个List直接返回出去外部拿到后往里面add相当于绕过了类提供的方法直接修改了内部状态。我见过不止一次线上故障就是因为有人把内部集合直接返回被别的模块往里塞了一堆数据。正确的做法是返回只读视图或集合副本返回Collections.unmodifiableList(list)让外部只能读不能改或者new ArrayList(list)返回一个副本。这是很重要的防御性编程习惯。5. 进阶实操用字节码和调试彻底看清引用5.1 用javap看引用赋值到底做了什么理论讲再多都不如自己看一遍字节码来得实在。假设有这样一个简单类public class Person { String name; public Person(String name) { this.name name; } public static void main(String[] args) { Person p new Person(张三); System.out.println(p.name); } }编译后用javap -c Person.class查看字节码重点看main方法前面几条指令0: new #7 // class Person 3: dup 4: invokespecial #8 // Method init:(Ljava/lang/String;)V 7: astore_1好接下来逐条拆解。new指令在堆中创建了一个Person对象并把对象的引用压入操作数栈。dup复制栈顶的引用为什么需要复制因为接下来的invokespecial调用构造方法时会从栈上消费掉一个引用但后面astore_1还需要引用去赋值给局部变量所以先复制一份备用。dup是“把一个引用当两份用”的经典操作。invokespecial调用构造方法完成初始化。astore_1把留下的那份引用存入局部变量表下标为1的位置也就是变量p。看完你会发现每个“给对象变量赋值”的行为底层全是这次操作。变量存在的意义并不是抱起整个对象而只是握着一个指向堆空间的引用。5.2 调试器里怎么直观地看引用在主流IDE里调试Java代码时打开调试面板的Variables区域找到引用类型的变量你会看到它展开后显示的是对象内部的字段值和对应的ID或地址信息。两个不同的变量如果指向同一个堆对象它们的对象标识会是一致或可追溯到同一个对象实例。想验证“两个变量指向同一对象”最直接的做法是在赋值之后给两边都下一个断点然后看调试面板。给s1赋值后再执行s2 s1Variables面板里s2的内容和s1一核对字段值完全一样而且你修改其中任何一个另一个随之更新。这比任何图都直观。另外遇到“到底谁还持有这个对象的引用”这类问题可以用内存分析工具比如Eclipse MAT把堆转储文件导进去查看某个对象被哪些GC Root或变量引用着。这类排查在定位内存泄漏的时候极其好用。5.3 final引用的一些细节final修饰引用变量时限制的是“不能把这个引用变量重新赋值为别的对象引用”而不是“不能修改对象内部状态”。final Student stu new Student(); stu.setName(李四); // 允许 stu new Student(); // 编译报错这是很多面试题爱考的细节。实际开发里final配合引用更多是用在“这个变量应该一直指向同一个对象”的语义表达上比如依赖注入的对象引用不希望被别人替换掉。可一旦对象本身的属性是可变的final并不能保证对象内容不可变。想要真正的不可变对象还是得在设计层面让字段不可变、不暴露修改方法。链式调用背后的原理也和引用有关。类方法里写return this;就是把当前对象的引用返回出去于是调用方可以继续调用同一对象的下一个方法。和引用配合好代码写起来会更自然。最后分享一个我自己带新人时常用的小练习让朋友把“引用赋值、值传递、对象比较”这些现象全都画成一张内存图左边画栈右边画堆每个变量是什么值、指向哪个对象一步步标清楚。这个练习做过一遍以后后面再遇到NPE、误判、集合浅拷贝之类的问题基本都能自己找到排查方向。Java的引用机制贯穿了内存管理、参数传递、集合框架、并发控制等多个方面从这个点切入能顺藤摸瓜理解不少看似无关的底层机制。
