Java 参数传递与并发容器：从内存模型到源码细节的面试精讲

在Java工程师的面试中，有两类问题长期高频出现：一类看似基础、实则考察内存模型理解深度，例如“Java是值传递还是引用传递”；另一类看似只考记忆、实则考察源码阅读与并发设计能力，例如“并发容器的版本差异”。本文围绕这两个方向，从底层机制出发做一次系统梳理，力求让读者既能说出结论，也能讲清原因。

一、参数传递的本质：只有值传递

1.1 结论先行的准确表述

Java中只有值传递，没有引用传递。方法调用时，实参的值会被复制一份传给形参：

• 基本数据类型：复制的是数值本身；
• 引用类型：复制的是对象引用（可以理解为对象地址）的副本，而这个地址本身也是一种“值”。

因此，方法内部对形参的任何重新赋值，都不会影响调用方持有的变量；但通过复制得到的地址去操作对象内部状态，则会影响同一个堆对象。

1.2 用一段代码把两件事分开

public class PassByValueDemo {
    public static void main(String[] args) {
        int num = 5;
        changeNumber(num);
        System.out.println(num); // 5，副本被修改，原值不变
        User user = new User("张三");
        changeReference(user);
        System.out.println(user.getName()); // 李四，通过地址修改了同一对象
        changeReferenceNew(user);
        System.out.println(user.getName()); // 仍是李四，形参重新指向新对象
    }
    public static void changeNumber(int n) {
        n = 10; // 修改的是副本
    }
    public static void changeReference(User u) {
        u.setName("李四"); // 通过地址找到堆上对象，改其属性
    }
    public static void changeReferenceNew(User u) {
        u = new User("王五"); // 只改变方法内局部变量 u 的指向
    }
}

这段代码的关键在于区分两个动作：

1. 通过引用修改对象属性：形参和实参指向同一个堆对象，属性变更对外可见；
2. 对引用变量重新赋值：只是让形参指向另一个对象，实参持有的地址未变。

很多候选人能背出“值传递”三个字，却说不清上述两点的差别，这正是这道题作为“资深筛选题”的价值所在。

1.3 栈与堆的存储差异

理解该问题的抓手是内存区域分工：

• 栈：存放方法栈帧，包括局部变量表。基本类型变量直接存值，引用类型变量存的是地址。
• 堆：存放对象实例，包括对象头、实例字段等。

方法调用时，形参位于被调方法的栈帧局部变量表中，其初始值来自实参的复制。所谓“引用传递”的错觉，来源于复制后的地址仍指向同一堆对象，于是对对象内容的修改看起来“传进去了”。

1.4 String 作为参数的特殊性

String是不可变类，其内部字符内容一旦创建不可更改。对String的“修改”操作（如拼接、替换）本质上会生成新的String对象，并把新对象地址赋给形参变量，因此不会影响调用方的原引用。

public static void changeString(String s) {
    s = s + "world"; // 等价于 s = new String(...)，形参改指向
}
public static void main(String[] args) {
    String str = "hello";
    changeString(str);
    System.out.println(str); // hello
}

此外，字符串常量池（String Pool）使得字面量创建的String可被复用，进一步强化了“不可变 + 共享”的语义。需要提醒的是，运行期通过 new String(...) 或拼接产生的内容未必进入常量池，具体行为应以语言规范和实际实现为准，面试中说明“不可变导致赋值不影响外部”即可抓住要点。

二、并发容器：从分段锁到CAS+同步

2.1 为什么需要并发容器

普通容器（如基于哈希表的实现）在并发写入时可能出现数据覆盖、结构破坏或死循环等问题；简单加全局锁又会让吞吐量急剧下降。并发容器的设计目标是在保证线程安全的前提下尽量提升并发度。

2.2 写入流程的通用逻辑

以哈希类并发容器为例，一次写入通常包括：

1. 计算key的哈希值，并做扰动以减少碰撞；
2. 通过 (n - 1) & hash 定位数组下标（要求容量为2的幂）；
3. 若该槽位为空，则以CAS方式直接放入；
4. 若不为空，则判断key是否相同：相同则覆盖值，不同则以链表尾部插入的方式处理冲突；
5. 当链表长度达到阈值且数组容量足够时，链表转换为红黑树以降低查找复杂度。

2.3 版本差异的核心：锁粒度与并发策略

不同版本实现的主要差异体现在并发控制方式上：

• 早期实现（分段锁思路）：将整个哈希表划分为若干段，每段独立加锁。不同段之间可以并行写入，但段内仍是串行，且段数固定，扩容时以段为单位迁移，整体并发度受段数限制。
• 较新实现（桶级并发）：取消分段，直接对数组的每个槽位（桶）加锁，配合CAS完成空槽插入。锁的粒度更细，并发度更高；扩容采用多线程协同迁移的方式，减少停顿。

此外，新实现在冲突处理上引入了红黑树转换，避免极端哈希碰撞导致的链表过长问题，将最坏查找复杂度从线性级降到对数级。

2.4 面试作答的组织方式

回答这类问题时，建议按“目标—机制—差异—取舍”四步展开：

1. 目标：线程安全与高并发吞吐；
2. 机制：哈希定位、CAS插入、桶级加锁、链表/红黑树冲突处理；
3. 差异：锁粒度从段级到桶级，扩容从单线程到多线程协同；
4. 取舍：更细的锁带来更高并发，也带来实现复杂度和内存可见性维护成本，需要依赖volatile语义与同步块配合。

能够把“为什么这样设计”讲清楚，比单纯背诵参数阈值更能体现资深程度。

三、给面试准备的建议

1. 建立内存模型视角：遇到参数传递、对象共享、可见性问题时，先问“值在哪里、地址在哪里、谁在复制”。
2. 用最小代码验证结论：例如把“重新赋值”和“修改属性”分别写成两个方法，观察输出差异。
3. 读源码抓主干：并发容器重点看插入、扩容、计数三条路径，理解锁与CAS的分工。
4. 表达结构化：先给结论，再给机制，最后给边界条件与取舍，避免只答结论或只讲细节。

参数传递与并发容器这两类问题，本质上都在考察“是否真正理解运行时行为”。把内存布局、复制语义、锁粒度这几条主线打通，面试中的大多数追问都能从容应对。