Java中数组作为参数传递时，是值传递还是引用传递？

Question

**常见技术问题：** 在Java中，数组是对象，其变量实际存储的是堆内存中的引用地址。当将数组作为参数传递给方法时，传递的是该引用的**副本**（即地址值的拷贝），而非原始引用本身，也非数组内容的拷贝。因此，方法内可通过该副本修改数组**元素的值**（如 `arr[0] = 99`），这些修改会反映到原数组；但若在方法内重新赋值（如 `arr = new int[]{1,2,3}`），仅改变副本指向，不影响原数组引用。这本质上符合Java“**所有参数均为值传递**”的原则——传递的是引用的值（地址），而非引用本身（即非C++意义上的引用传递）。开发者常误以为“数组是引用传递”，导致对方法内数组重赋值行为产生困惑。如何准确理解这一机制，并避免因误判引发的bug？

Answer 1

```html

一、现象层：从一个典型“反直觉”代码说起

以下代码常让5年经验开发者皱眉：

public class ArrayPassingDemo {
    public static void main(String[] args) {
        int[] nums = {1, 2, 3};
        System.out.println("调用前: " + Arrays.toString(nums)); // [1, 2, 3]
        modifyElement(nums);
        System.out.println("modifyElement后: " + Arrays.toString(nums)); // [99, 2, 3]
        reassignArray(nums);
        System.out.println("reassignArray后: " + Arrays.toString(nums)); // [99, 2, 3] —— 未变！
    }
    static void modifyElement(int[] arr) { arr[0] = 99; }
    static void reassignArray(int[] arr) { arr = new int[]{10, 20, 30}; }
}

关键矛盾点：为何arr[0] = 99生效，而arr = new int[]{...}却无效？这正是“值传递引用”的第一道认知门槛。

二、内存层：JVM栈与堆的协作图谱

下图展示参数传递时的内存状态变迁（使用Mermaid流程图）：

flowchart LR
    A[main栈帧] -->|存储引用值| B[堆中数组对象]
    C[modifyElement栈帧] -->|接收引用副本| B
    D[reassignArray栈帧] -->|新分配引用| E[堆中新数组]
    C -.->|仍指向原数组| B
    D -->|仅改变自身局部变量| E
    style B fill:#4CAF50,stroke:#388E3C
    style E fill:#f44336,stroke:#d32f2f

三、语义层：Java规范中的“值传递”铁律

《Java Language Specification §8.4.1》明确定义：“Java中所有参数传递均为值传递（pass-by-value）”。对对象（含数组）而言，“值”即引用的比特位拷贝，而非对象本身或引用别名。该机制与C++的&引用传递有本质区别：

维度	Java（数组）	C++（int*）	Go（slice）
参数本质	引用地址的拷贝（64位long值）	指针变量的别名（同一内存地址）	header结构体拷贝（含ptr,len,cap）
重赋值影响	仅局部变量指向变更	原始指针被修改	原slice header不变，但底层数组可能被共享修改

四、陷阱层：高频误判场景与真实Bug案例

• 场景1：工具方法返回新数组却误改原数组——开发者写Arrays.sort(arr)后以为排序了，实则因传入的是副本引用，若方法内做了arr = ...则失效；
• 场景2：缓存数组引用导致脏数据——在Spring Bean中缓存某DAO返回的int[]，后续被其他服务调用modifyElement()篡改；
• 场景3：流式API链式调用幻觉——误认为list.toArray().clone()能保护原数组，实则toArray()返回新数组，但若中间有自定义方法重赋值则逻辑断裂。

五、防御层：面向生产环境的编码契约

为规避此类问题，建议在团队中推行以下契约：

1. 输入防御：对入参数组执行Objects.requireNonNull(arr) + if (arr.length == 0) return;；
2. 副作用显式化：方法命名强制体现行为，如mutateFirstElement(int[]) vs createNewArrayWithOffset(int[])；
3. 不可变封装：使用java.util.ImmutableList.copyOf(Arrays.asList(arr))或Guava的ImmutableIntArray；
4. 静态分析加持：在SonarQube中启用规则S2259（空指针检查）与自定义规则检测arr = new .*在参数位置的危险赋值。

六、演进层：从Java 8到21的应对策略升级

随着Project Loom和Valhalla推进，数组语义正在演进：

• Java 14+：引入Records可封装数组并控制访问，如record DataWrapper(int[] payload) { public int[] safeCopy() { return payload.clone(); } }；
• Java 17+：密封类（Sealed Classes）配合模式匹配，可强制约束数组操作入口；
• Java 21+：虚拟线程环境下，需警惕ForkJoinPool中数组引用跨线程共享导致的竞态——此时必须使用ThreadLocal<int[]>或VarHandle原子操作。

```