Java参数传递机制剖析与Integer反射修改实践
一、Java方法参数传递的本质
在Java中，许多开发者对方法参数传递机制存在误解，认为对象传递是"引用传递"。实际上，Java严格遵循"值传递"原则。当传递对象时，传递的是对象引用的副本（即内存地址的值）。我们可以通过以下代码来验证这一机制：
@Test
public void testReferencePassing() {
Integer valA = 10;
Integer valB = 20;
System.out.println("交换前: valA=" + valA + ", valB=" + valB);
swapIntegers(valA, valB);
System.out.println("交换后: valA=" + valA + ", valB=" + valB);
}
private void swapIntegers(Integer a, Integer b) {
Integer temp = a;
a = b;
b = temp;
}
上述代码执行后，valA和valB的值并未发生改变。这是因为在调用swapIntegers时，形参a和b只是接收了实参引用的副本。在方法内部交换a和b的指向，并不会影响外部valA和valB的指向。
为了进一步说明，我们使用自定义对象进行对比测试：
@Test
public void testObjectPassing() {
Person personA = new Person("Alice");
Person personB = new Person("Bob");
System.out.println("--- 初始状态 ---");
System.out.println(personA);
System.out.println(personB);
System.out.println("--- 尝试交换引用 ---");
swapReferences(personA, personB);
System.out.println(personA);
System.out.println(personB);
System.out.println("--- 修改对象内部状态 ---");
swapNames(personA, personB);
System.out.println(personA);
System.out.println(personB);
System.out.println("--- 尝试置空引用 ---");
nullifyReferences(personA, personB);
System.out.println(personA);
System.out.println(personB);
}
private void swapReferences(Object a, Object b) {
Object temp = a;
a = b;
b = temp;
}
private void swapNames(Person p1, Person p2) {
String tempName = p1.getName();
p1.setName(p2.getName());
p2.setName(tempName);
}
private void nullifyReferences(Person p1, Person p2) {
p1 = null;
p2 = null;
}
运行结果表明：
swapReferences仅改变了方法内部局部变量的指向，外部对象的引用不受影响。swapNames通过引用副本成功访问并修改了堆内存中对象的实际属性，因此外部对象的名称发生了交换。nullifyReferences只是切断了方法内部局部变量与堆内存对象的联系，外部引用依然有效，对象不会被回收。
二、利用反射强制交换Integer的值
既然常规方法无法交换两个Integer对象的值，我们是否可以绕过限制？由于Integer内部的value字段被声明为private final，直接访问会触发编译错误或运行时异常。此时可以借助Java反射机制来强行修改：
private void forceSwapIntegers(Integer a, Integer b) throws Exception {
Field valueField = Integer.class.getDeclaredField("value");
valueField.setAccessible(true);
// 必须创建新的Integer对象作为临时变量
Integer temp = new Integer(a.intValue());
valueField.set(a, b.intValue());
valueField.set(b, temp);
}
在上述代码中，setAccessible(true)是关键。它绕过了Java的访问控制检查，使得我们可以修改private修饰的字段。
三、反射修改时的自动装箱陷阱
在编写上述反射代码时，一个常见的错误是将临时变量temp声明为基本类型int：
// 错误示例
int temp = a.intValue();
valueField.set(a, b.intValue());
valueField.set(b, temp);
如果这样写，最终b的值会变成a修改后的值，导致交换失败。原因在于Field.set(Object obj, Object value)方法的第二个参数要求是Object类型。当传入基本类型int时，JVM会触发自动装箱机制。
具体来说，当执行valueField.set(a, b.intValue())后，a内部的value已经被修改为b的值。随后执行valueField.set(b, temp)时，由于temp是int类型，JVM会将其自动装箱为Integer。在自动装箱过程中，如果值在缓存范围内，会从缓存池中获取对象，而此时缓存池中的对象状态可能已经被反射修改污染，导致赋值混乱。使用new Integer(a.intValue())显式创建新对象，可以确保temp是一个独立的堆内存对象，不受a内部值改变的影响。
四、自动装箱/拆箱与Integer缓存机制
理解上述陷阱需要深入掌握Java的自动装箱与拆箱机制。自JDK 1.5起，Java引入了这一特性以简化代码：
- 自动装箱：
Integer num = 100;实际上在编译后等同于Integer num = Integer.valueOf(100);。 - 自动拆箱：
int val = num + 1;编译后等同于int val = num.intValue() + 1;。需要特别注意的是，如果num为null，拆箱时会抛出NullPointerException。
此外，Integer类内部实现了一个缓存池，默认缓存了-128到127之间的整数对象。这直接影响了对象相等性的判断：
Integer x = 100;
Integer y = 100;
System.out.println(x == y); // 输出 true，因为引用了缓存池中的同一个对象
Integer m = 200;
Integer n = 200;
System.out.println(m == n); // 输出 false，超出缓存范围，创建了两个不同的新对象
因此，在比较两个包装类对象的值是否相等时，务必使用equals()方法，而不是==运算符，以避免缓存机制带来的逻辑错误。
