面试官把问题抛出来的时候，往往带着一种“我倒要看看你是背了八股文还是真懂”的表情。Java集合框架就是这样一个绝佳的试金石——它够基础，每个人都能说上两句；又够深，一个HashMap能连环追问到你怀疑人生。如果你只记得“ArrayList底层是数组，LinkedList底层是链表”，那这场对话大概率会在三十秒内结束。真正能让你坐稳椅子的，是你能不能在回答中展现出对数据结构、并发语义和工程取舍的立体理解。
先从ArrayList和LinkedList的“伪命题”说起
“ArrayList和LinkedList有什么区别？”这几乎是必答题。标准答案人人会背，但面试官真正想听的是你能不能识别出这个提问在现实场景中根本不成立。LinkedList真的在插入删除上比ArrayList快吗？未必。ArrayList的批量删除、尾部插入、随机访问，在绝大多数场景下都碾压LinkedList。LinkedList每个节点要额外存储前后指针，内存占用高出数倍，而且CPU缓存不友好——你顺着链表遍历时，内存地址是跳跃的，预取机制直接失效。“LinkedList适合频繁插入删除”是教科书里最大的谎言，至少在Java的默认实现中，它只有在头部操作时才稍占优势。更关键的是，ArrayList可以通过ensureCapacity来预分配内存，避免扩容复制；而LinkedList连随机访问都是O(n)，你写一个for循环get(i)试试？那是灾难。
面试官如果追问“那什么时候用LinkedList”，你可以说：当你的数据结构本身就需要从中间频繁删除并迭代时，比如实现一个LRU缓存，此时LinkedList配合HashMap才是正解。否则，默认选择ArrayList，因为局部性原理是计算机体系结构的铁律。
HashMap的底层，不是红黑树那么简单
HashMap永远是重头戏。面试官不会满足于“数组加链表加红黑树”这个口头禅。你要能画出put的完整流程：先对key的hashCode做扰动运算（高16位异或低16位），再通过(n-1) & hash定位桶。这个位运算为什么能替代取模？因为HashMap的容量永远是2的幂，hash & (n-1)等价于hash % n，但位运算更快。为什么用扰动函数？因为如果hashCode的低位相同而高位不同，不扰动会让这些元素全部撞进同一个桶，链表瞬间拉长。所以(h = key.hashCode()) ^ (h >>> 16)这行代码，是一场精心算计的均匀化。
接着是扩容。默认负载因子0.75，为什么不是0.5或1.0？0.5太浪费空间，1.0则让冲突概率急剧上升。0.75是时间和空间成本的黄金平衡点，来自泊松分布的推导——当负载因子为0.75时，桶中链表长度达到8的概率是亿分之六，所以红黑树的树化阈值定为8是数学依据的必然。但你得再往前想一步：树化条件除了链表长度8，还有数组长度必须达到64。如果数组只有16，即使某个桶链条变成9，也会先扩容而不是树化。因为扩容后元素重新分布，链表可能自然缩短，没必要引入红黑树。这是为了小数组时的性能兜底。
当红黑树出现时，你要能解释它和链表的切换边界：长度降到6时退化为链表，中间留一个7的缓冲，防止元素在8附近频繁增删导致树和链表反复横跳。还有，HashMap的key允许为null，null的hash是0，所以它永远放在桶0。这些细节连起来，才是一个完整的认知闭环。
并发场景下，ConcurrentHashMap才是主角
面试官紧接着就会问：“HashMap是线程安全的吗？”不是。然后问：“那Hashtable呢？”它是线程安全的，但它是全局锁，所有方法都synchronized，并发度等于1。Hashtable是远古时期的产物，它连null都不允许，因为无法区分value是null还是不存在。真正的现代答案是ConcurrentHashMap。
JDK7的ConcurrentHashMap用了Segment分段锁，把整个Map分成16段，每段是一把独立的ReentrantLock，所以理论上支持16个线程同时写。而JDK8抛弃了Segment，直接用CAS + synchronized锁住每个桶的头节点。锁粒度从分段细化到单个桶，并发度提升了一个量级。CAS负责在put时如果桶为空则直接插入，失败则用synchronized锁住头节点再处理。这里有一个隐蔽的考点：扩容时的多线程协助机制。JDK8的扩容不是全量拷贝，而是每个线程领取一个“迁移区间”，同时通过ForwardingNode标记已迁移的桶，其他线程put时如果遇到这个标记，会主动帮忙迁移，这就是一个分布式协作的经典案例。
另一个高频追问是：“ConcurrentHashMap的size()是怎么算的？”它用一个baseCount加上CounterCell[]数组来分散计数，防止多线程竞争同一个计数变量。size()返回的只是一个近似值，因为在你拿到size的瞬间，数据可能已经变了。如果你要强一致性的计数，那就别指望ConcurrentHashMap。
fail-fast和fail-safe，迭代器里的双面人生
谈到迭代，面试官喜欢问：“用for-each遍历HashMap，同时remove会发生什么？”答案是抛ConcurrentModificationException。这就是fail-fast机制——只要在迭代过程中发现modCount变了，立刻停止并抛出异常。modCount是集合修改次数的计数器，迭代器每次检查它是否和自己创建时一致。不一致时代表有其他线程或代码在修改，为了避免读到脏数据，宁可牺牲可用性。
但ConcurrentHashMap的迭代器是fail-safe的，它不抛异常。因为它遍历的是迭代器创建时的某个快照，或者采用弱一致性的策略——它不保证你遍历过程中能看到最新的修改，但保证不会抛出并发异常，也不会读到半初始化的数据。这里要小心别掉坑：fail-safe不是不检测，而是不强制中断。它牺牲了强一致性，换取了并发下的吞吐量。而ArrayList和LinkedList的迭代器都是fail-fast，CopyOnWriteArrayList的迭代器是fail-safe的，因为它每次修改都会拷贝整个底层数组，迭代器遍历的是那个不可变快照，所以天然安全。
TreeMap和LinkedHashMap，容易被忽略的“排序”陷阱
“HashMap是无序的，那有谁能保持顺序？”LinkedHashMap和TreeMap是两种截然不同的答案。LinkedHashMap在Entry里维护了双向链表，记录插入顺序或访问顺序。如果你把accessOrder设为true，再用它实现LRU缓存，只需要重写removeEldestEntry即可——这是教科书级的经典用法。但注意，LinkedHashMap的顺序是插入顺序，不是键的自然顺序。TreeMap则基于红黑树，按照key的自然顺序或自定义比较器排序。
TreeMap的考点集中在“它如何保证有序？”答案是每次插入都进行红黑树的旋转和变色。面试官可能会让你手撕“查找一个key的后继节点”，这需要你理解红黑树中后继的定义：如果该节点有右子树，后继是右子树的最左节点；否则向上找到第一个“作为左孩子”的祖先的父节点。TreeMap不允许null key，因为null无法参与比较。那TreeSet呢？它底层就是TreeMap，只是value是固定的一个静态Object。Set的本质是Map的“阉割版”，你把注意力放在Map上，Set只是顺带的事。
队列和双端队列，别小看Deque
Java集合框架里，Queue和Deque也常被考到。ArrayDeque是循环数组的实现，用两个指针head和tail维护首尾，它不允许null元素，因为null被用作判断队列为空的哨兵值。PriorityQueue则是二叉堆，它只保证堆顶是最小/最大元素，不保证整体有序。你能说出PriorityQueue插入是O(log n)，但取出最小元素也是O(log n)，而找到第k大的元素可以维护一个大小为k的小顶堆——这已经是算法题了。ArrayBlockingQueue和LinkedBlockingQueue则是并发场景下的典型，一个用数组循环队列加单个ReentrantLock两个Condition，一个用链表加双锁（take锁和put锁分离），所以LinkedBlockingQueue的吞吐量通常更高。
面试官可能再追问：“ArrayBlockingQueue为什么不用两个锁？”因为它的数组是环形的，take和put会竞争同一个count和index，强行分离锁反而会引入复杂的同步代价，不如用一个锁简单可靠。工程上的设计往往不是把所有优化都堆上去，而是在复杂度与收益之间找平衡点。
源码级别的进阶考点：从迭代器到Spliterator
愿意深挖的面试官还会问：“Java 8里Iterable新增了什么方法？”forEach(Consumer)和spliterator()。后者是Stream的并行基石，Spliterator支持trySplit()将元素拆分成两个部分，分给不同线程处理。为什么ArrayList的Spliterator切割效率高？因为底层数组可以按索引直接二分。而LinkedList的Spliterator需要遍历到middle才能分割，所以流式并行性能很差。你一旦说出这一层，就证明你不仅会用Stream，还知道它的实现原理。
还有一个细节：Collections.unmodifiableList返回的不可变视图，底层还是原List，只是所有修改方法都throw UnsupportedOperationException。这意味着原List变了，视图也会变。而List.of()返回的真正不可变列表，是独立拷贝，原列表变了它也不变。面试官如果问“这两种不可变有什么区别”，这正好是展示你读过源码的时机。
最后，把知识织成网
面试官问集合框架，表面考知识，实际考思维。你能不能在回答HashMap时自然引出哈希冲突的两种解决方案（链地址法和开放定址法），接着对比ThreadLocalMap用的是开放定址法（线性探测），又从而对比出ThreadLocalMap为什么不能用链地址法？因为ThreadLocal的value是弱引用，需要定期清理过期条目，线性探测更方便从数组中清除。这种跨类的类比能力，才是真正的深度。你能不能在讨论ArrayList扩容时，说出oldCapacity >> 1是1.5倍，而ArrayList的grow方法里最后有一个Arrays.copyOf，这会导致整个数组的成员复制，从而引出“频繁扩容的性能代价”和“预估容量”的最佳实践？你如果能，那你不是背题，你是真的理解。
“集合框架是Java的骨架，如果你只学会了用，而不懂得造，那你永远只是个调API的码农。”这句话也许苛刻，但面试官心里就是这么想的。他们不会因为你背下了所有方法名而鼓掌，他们只为那些能在一问一答中展现出“原来如此”和“但是”的候选人加分。下次再被问到HashMap，别急着开口说数组加链表，先问一句：“你指的是JDK7还是JDK8？”——那一刻，你就已经赢了。