为什么在Java中传递数组参数时无法修改数组的基地址？

Java的数组是引用类型对象，并非C/C++中的原生指针，从语法和设计层面都不支持指针算术操作，具体原因如下：

• Java设计之初就屏蔽了直接的指针操作，数组变量存储的是堆中数组对象的引用，不是指向首元素的内存地址。引用本身仅支持相等性比较、赋值指向新对象，不支持加减类算术运算，因此arr+1属于语法错误，编译阶段就会报错。
• 出于内存安全的设计，JVM不允许用户手动修改引用指向的地址，自然不存在修改数组基地址的操作，从根源上避免野指针、非法内存访问等问题。
• Java数组的内存布局是封装的，除存储元素本身外，还内置length等元数据，无法通过偏移引用的方式直接获取跳过首元素的剩余元素视图。

问题代码修复方案 #

你原本的递归思路是跳过当前首元素查询剩余部分，可以通过新增偏移量参数的方式实现，不需要额外复制数组，性能更优：

// 对外暴露原有方法签名
public static int firstIndex(int[] arr, int n, int key) {
    // 调用内部带偏移量的实现
    return firstIndexRecur(arr, 0, n, key);
}

// 内部递归实现，start为当前查询的起始偏移量
private static int firstIndexRecur(int[] arr, int start, int n, int key) {
    if (start >= n) {
        return -1;
    }
    if (arr[start] == key) {
        return start;
    }
    return firstIndexRecur(arr, start + 1, n, key);
}

如果不想调整方法结构，也可以用Arrays.copyOfRange生成子数组模拟指针偏移的效果，不过大数据量下会有额外的数组拷贝开销：

import java.util.Arrays;

public static int firstIndex(int[] arr, int n , int key ){
    if(n==0){
        return -1;
    }
    if(arr[0] == key)
    {
        return 0;
    }
    else{
        // 生成从索引1开始的子数组，替代原代码中arr+1的逻辑
        int fi  = firstIndex(Arrays.copyOfRange(arr, 1, arr.length),n-1,key);
        return fi == -1 ? -1 : fi + 1;
    }
}

内容的提问来源于stack exchange，提问作者RAJAN AGARWAL