Java引用传递机制下修改变量值及垃圾值异常处理方案

你对运行现象的描述是颠倒的：实际运行上述代码，swapping()方法内打印的是交换后的a1=3、b1=2，main方法调用交换逻辑后打印的局部变量a、b仍然是初始值2、3。
首先纠正一个普遍认知错误：Java不存在引用传递，所有参数传递、赋值操作全都是值传递：

• 基本类型（int、boolean等）赋值/传参时，直接传递变量存储的数值拷贝，两个变量后续修改完全互不影响
• 对象类型赋值/传参时，传递的是堆中对象内存地址的拷贝，通过这个地址拷贝可以修改堆上对象的内部成员，但无法修改原引用本身的指向，也无法影响其他指向同地址的引用的赋值。
  你代码里的问题非常明确：main方法中的a、b是栈上存储的基本类型局部变量，你给num.a1、num.b1赋值时只是把2、3两个值拷贝给了堆上Numbers实例的成员变量，后续swapping()方法交换的只是Numbers实例自己的成员，和main栈里的a、b没有任何关联，自然不会修改main里a、b的值。

Java中如果需要跨方法修改值，本质是要让方法内的操作能触达目标值的存储位置，常用两种实现方案：

方案1：通过自定义封装对象持有目标值 #

直接把需要修改的数值作为自定义类的成员变量，通过对象引用的拷贝修改堆上对象的成员，取值时直接从对象中获取即可，你写的Numbers类已经接近正确实现，只需要最后从对象实例中取交换后的值，不要读取原来的基本类型局部变量：

class Numbers {
    int a, b;
    void swap() {
        int temp = a;
        a = b;
        b = temp;
    }
}

public class Swap {
    public static void main(String[] args) {
        Numbers num = new Numbers();
        num.a = 2;
        num.b = 3;
        System.out.println("交换前：a=" + num.a + "，b=" + num.b);
        num.swap();
        // 从持有值的对象中读取交换后的结果
        System.out.println("交换后：a=" + num.a + "，b=" + num.b);
    }
}

方案2：通过数组等容器持有目标值 #

数组本身是堆上存储的对象，传参时可以通过数组引用的拷贝直接修改数组下标对应的元素，不需要额外自定义类：

public class Swap {
    static void swap(int[] numArr) {
        // 提前做参数合法性校验，避免空指针、长度不足问题
        if (numArr == null || numArr.length < 2) {
            return;
        }
        int temp = numArr[0];
        numArr[0] = numArr[1];
        numArr[1] = temp;
    }

    public static void main(String[] args) {
        int[] nums = {2, 3};
        System.out.println("交换前：a=" + nums[0] + "，b=" + nums[1]);
        swap(nums);
        System.out.println("交换后：a=" + nums[0] + "，b=" + nums[1]);
    }
}

正常情况下Java编译器、JVM不会产生不可预见的异常导致变量存储垃圾值，99%的非预期值都是代码逻辑问题导致的：比如局部变量未初始化就使用、数组合法下标外写入、多线程并发修改共享变量未做同步、持有对象引用的其他代码意外修改了成员值。遇到这类问题按以下流程处理：

• 所有变量使用前必须显式初始化，不要依赖JVM给成员变量赋的零值做业务逻辑，方法入参统一做合法性校验，不符合要求直接中断逻辑或者赋默认值
• 存储固定值的场景优先使用不可变类型（比如String、基本类型包装类），避免引用泄露后被其他代码意外修改值
• 多线程共享变量必须加同步机制，或者使用volatile关键字、原子类保证读写的原子性和可见性，避免产生脏值
• 极端罕见场景下如果确认是编译器缓存、JVM版本bug导致值异常，直接清理编译缓存做全量编译，切换到稳定发布版JDK即可；可以在核心逻辑处增加值校验，发现值不符合预期时直接强制重置为目标值兜底，参考逻辑：

// 校验变量a必须为目标值2，否则强制重置
if (a != 2) {
    a = 2;
}

内容的提问来源于stack exchange，提问作者Kyoko Chidori