Java面试重点梳理：集合、并发与JVM

“说说HashMap的底层实现”面试官眼睛盯着你手指轻敲桌面。你背过八股从数组加链表讲到红黑树从扩容讲到头插法尾插法。对方听完点点头又问“那为什么负载因子是0.75”空气突然安静。多数人死在第二个问题上因为第一个问题是考记忆第二个问题是考思考。集合、并发、JVM这三块占据Java面试的半壁江山但很多候选人只准备了“是什么”没准备“为什么”和“如果是我设计会怎么做”。今天这篇长文撕开那些温柔的提问看看每道题背后真正要逼你承认什么。集合不只是容器而是一套权衡哲学面试官问你ArrayList和LinkedList的区别如果你回答“一个数组一个链表一个查询快一个增删快”那基本就宣告了这轮谈话的平庸。任何脱离数据规模谈结构优劣的行为都是耍流氓。现代CPU缓存行通常64字节数组是连续内存遍历时可以批量加载到缓存链表节点散落堆中每次访问都是一次随机内存跳转。所以即使在“中间插入”场景下只要元素尺寸小、访问模式偏顺序ArrayList的System.arraycopy未必比LinkedList的指针维护慢。真实系统里你见过几个用LinkedList做队列的LinkedBlockingQueue那是锁和条件变量的事和LinkedList没关系。再看HashMap。HashMap的源码是集合模块的《宪法》但大多数人只记住了法条没读懂立法精神。负载因子0.75是时间与空间的折中0.5太浪费内存1.0容易触发大量哈希冲突。别看0.75这个数字它背后是泊松分布——当哈希函数足够随机桶中元素个数达到8的概率约千万分之六。所以红黑树化阈值设为8不是拍脑袋是概率论。面试官把负载因子改成0.6问你“会怎样”他真正想知道的是你能不能用数学直觉和工程经验来推导扩容频率上升带来的性能损耗以及能否意识到红黑树本身是对抗极端恶意哈希的防御机制而非常态优化。ConcurrentHashMap是集合面试的终极守门员。从jdk7的分段锁到jdk8的CASsynchronized这个变迁本身就是一部并发编程的进化史。jdk7锁的粒度是Segment默认16个分段意味着并发写时最多16个线程不同锁jdk8锁的是桶的头节点粒度细到了极致而且读操作几乎无锁。但有个陷阱即使读无锁size()方法在并发下仍可能不准。jdk8用累加基数和CounterCell数组来尽量降低竞争但如果你要求绝对准确就得上一致性快照。面试官问“ConcurrentHashMap保证强一致性吗”答“不保证”并解释原因的人比答“保证”的人强一百倍。记住并发容器的存在是为了让安全更简单而不是让正确性更廉价。并发锁是工具不是目的Java并发编程的面试题里出现频率最高的三件事synchronized、volatile、AQS。很多人背得出“synchronized是重量级锁”但问“为什么jdk6之后轻量级锁要引入自旋”就卡壳。答案不是“为了提高性能”而是为了应对临界区极短、线程切换成本反而高于自旋等待的场景。你盯住操作系统的时间片和上下文切换开销就能理解自旋阈值为什么要自适应。而synchronized从偏向锁到轻量级锁再到重量锁的升级路径本质上是一个“假设竞争不激烈直到证明竞争激烈”的乐观策略。面试官甚至可能问你“既然可以用Lock为什么还要用synchronized”这题考的是语言级别的信任——synchronized由JVM保证抛异常自动释放锁Lock需要finally中unlock一个忘记释放就是线上死锁事故。所以简单可靠胜过花哨灵活这是工程学的底层价值观。volatile是个更阴险的考点。它保证可见性但不保证原子性。很多人把这两句背得滚瓜烂熟但问“为什么double check的volatile必须加在单例实例上”就露馅。因为不加volatile实例字段可能被指令重排到构造过程之前另一个线程会拿到半初始化的对象。volatile禁止了重排序这才是它最真实的价值。从Java内存模型的角度可见性靠的是总线嗅探和缓存一致性协议比如MESI但CPU层面的协议并不直接对应JMMJMM是对硬件内存模型的抽象它规定了happens-before规则。所以一个高手会告诉你volatile写-读之间建立了happens-before关系这比谈硬件更本质。AQS是JUC的基石但面试官不会让你背AQS的类结构他会问“CountDownLatch和CyclicBarrier的区别”如果你说前者一次性、后者可复用这只是入门。真正的加分项是两者协调的线程模型完全不同——CountDownLatch是“多个线程等一个事件”CyclicBarrier是“多个线程互相等齐再出发”。更深入一层CyclicBarrier可以传入一个Runnable在屏障打破时优先执行这点设计让它在“分治-汇总-再分治”的迭代算法中特别优雅。而Semaphore则是纯流量控制试试看证明一个Semaphore其实就是锁的特例——只要permits1就是互斥锁。这种类比能力面试官一眼能分辨你是背出来的还是想通的。JVM内存模型、垃圾回收与调优的底层逻辑JVM面试从运行时数据区开始。你背熟了堆、栈、方法区、程序计数器、本地方法栈但有个反直觉的点值得提程序计数器是唯一不会OOM的区域因为它的生命周期跟着线程走。而栈深度超出JVM定义上限就是StackOverflowError不是OOM。一个常见的追问是“Java线程栈默认多大”多数人说“1M”但那是HotSpot在x86上的常见值实际可以用-Xss调整。面试官追问“栈设太大会怎样”答案是线程数减少因为线程栈本身也是内存开太多线程直接撑爆地址空间。这时候再引到“为什么异步编程要用虚拟线程”就顺理成章了——虚拟线程是JVM管理的调度单元栈可以动态扩容和收缩不用绑定昂贵的传统线程栈这才能支撑百万并发。垃圾回收算法是重头戏。mark-sweep、mark-copy、mark-compact这些概念不难难的是理解组合逻辑。新生代用复制算法是因为“朝生夕灭”的对象比例极高复制幸存者成本远低于标记清理老年代用标记整理是因为对象存活性高不适合复制但连续碎片又会导致大对象分配失败。分代假设是Java堆布局的哲学根基你不信这个假设就无法解释为什么新生代要分为Eden和两个Survivor。有个冷知识HotSpot中两个Survivor区默认比例是8:1这意味着每次Minor GC有10%的浪费空间。这套设计的代价和收益要同时看面试官抛出“为什么Survivor要两个”这种问题时你答“一个用于收集一个用于复制交替使用避免碎片”并补一句“如果只有一个Survivor内部复制还是会产生碎片而且无法保证下一次GC的连续缓冲”就立起来了。垃圾收集器本身更值得讲逻辑。CMS追求低停顿它的四个阶段里“初始标记”和“重新标记”都会STW而“并发标记”和“并发清理”与用户线程并行。CMS最大的缺陷是“浮动垃圾”和“内存碎片”它不能在并发失败时优雅降级只能退化为Serial Old这个FGC的停顿可能吓死人。G1则把堆划分成多个Region放弃物理连续用逻辑连续来应对。G1的Mixed GC会同时回收老年代和新生代它靠Remembered Set来维护跨Region引用这是它高效的关键。而ZGC更极致在用染色指针和读屏障做到几乎零停顿但代价是你得理解机器层面的内存视图。面试问到“你会选哪个收集器”一道经典场景题要求最大停顿100ms堆内存128G老年代占比高。这时候你说“默认用G1如果JDK17考虑ZGC”没毛病但要是能说出“先看业务能不能接受偶尔的Full GC再看对象分配速率和存活率最后用GC日志实测而不是拍脑袋选”那才显出实战感。内存溢出与泄漏面试中的高频实战题面试官最爱问“遇到过内存溢出吗怎么排查”这个问题如果你只回答“用MAT分析dump文件”基本等于没答。真正的排查思路是先区分是堆溢出、栈溢出还是元空间溢出然后看GC日志找到每次Full GC前后内存的占用变化。如果是堆溢出导出heap dump用MAT查支配树看哪个对象实例最多——通常是大集合不断add、静态Map缓存未清理、ThreadLocal没remove导致Entry泄漏。ThreadLocal的内存泄漏必须讲清楚每个Thread持有ThreadLocalMapEntry的key是弱引用value是强引用。一旦外部强引用消失key被回收但value还在只有线程存活就会一直积累。所以业务代码里用完ThreadLocal必须调用remove这句话面试官听了上千遍但你若补一句“如果线程池复用线程不remove的话上一个请求的脏数据会被下一个请求读到比泄漏更可怕”那才是杀手锏。元空间溢出则发生在大量动态生成类的场景比如CGLIB代理、ASM字节码操作。JVM不会在方法区做频繁压缩所以加载几万个代理类就可能把Metaspace撑爆。这种OOM往往和框架机制挂钩排查时要用-XX:MetaspaceSize显示设置初始大小观察增长曲线。JVM调优不是调参数是调认知——你得先知道瓶颈在哪个区域参数才有意义。直接上来“-Xms -Xmx”的大概率是照抄服务器文档。面试之外的更深层你如何思考这个世界把集合、并发、JVM串起来你会发现一个共同的底层逻辑所有复杂性都源于延迟和资源的权衡。集合里的哈希冲突是计算延迟和内存空间的权衡并发锁是线程等待和吞吐量的权衡垃圾回收是停顿时间和CPU利用率的权衡。面试官问这些题目本质上是在试探你有没有形成一种“工程决策思维”——知道要在约束下做选择并且能说出选择依据。Java世界满是权衡没有银弹能清晰说出“我在什么前提条件下选A什么条件下选B”的人远比背下所有API的人值钱。所以准备面试时别停留在背面试题。每一道题都往下挖三层。HashMap问到底你需要理解哈希函数的数学分布synchronized问到底你需要理解操作系统的线程调度G1问到底你需要理解分区和全局并发标记算法的论文。面试是一次自我坦诚的机会你承认不知道什么比假装知道什么更有价值。因为真正的专家从不怕暴露盲区盲区可以被填补而虚假的自信却无法被调试。当你走出面试间与其关心“能不能过”不如问自己“我是否对得起这几个小时”——有没有在某个瞬间真正理解了那几行源码背后的设计灵魂如果答案是肯定的那么这轮面试你已经赢了。技术面试从来不是在考你记住了多少类名而是在考你敢不敢承认世界的复杂并依旧愿意用最简单的方案去对抗它。集合、并发、JVM这三件套只是载体背后是千行代码和无数个不眠之夜。把它们嚼碎了咽下去写出来的程序才会真正有生命。那些加粗的句子不是考点它们是你修行路上的标尺——当你能在黑板上默写出ConcurrentHashMap的并发流程并且笑着解释为什么size()不一定准确时你已经不再是一个背题的人而是一个开始理解Java运行真相的人。