一个对象引用的思考

一个有趣且令人困惑的代码片段

Code A:

final ConcurrentHashMap REFS_MAPS = new ConcurrentHashMap();


public void put(String key) { Ref ref = new Ref(key, "1"); ref = new Ref(key, "2"); REFS_MAPS.put(key, ref); }
public Ref get(String key) { return REFS_MAPS.get(key); }

它有可能会得到”1″吗?

错误的解释

在多线程调度的情况下,相同的 key 多次同时调用 put 和 get 方法,从 REFS_MAPS 方法 get 时,正好 put 运行到 Ref ref = new Ref(key, “1”),所以就得到了“1”的值,如下所示:


这个解释是错误的,不会得到“1”。

REFS_MAPS 的 hash Node 存储指向 “ref” 对象的值,而不是对象引用。
因此,当 ref 在 put() 方法时,ref 的 val 先指向堆中的“1”,后指向堆中的“2”,如下所示:

常见的困惑问题

将 put 方法改一下:
Code B:

public void put(String key) {

  Ref ref = new Ref(key, "1");

  REFS_MAPS.put(key, ref);

  ref = new Ref(key, "2");

}

它有可能会得到”1″吗?
一定会是“1”,虽然 ref 的指向堆中的“2”,但是 REFS_MAPS 的 hash Node 存储指向 “ref” 对象的值还是“1”。
再将 put 方法改一下:
Code C:

public void put(String key) {

  Ref ref = new Ref(key, "1");

  REFS_MAPS.put(key, ref);

  ref.setValue("2");

}

它有可能会得到”1″吗?
不会的得到“1”,因为 ref 和 REFS_MAPS 存储的 “ref” 对象只指向的同一个值,当 ref 修改了值,REFS_MAPS 中 ref 的值也被修改了。

代码背后真正的意义是什么?

我们知道,值传递(pass by value)是指在调用函数时将实际参数复制一份传递到函数中,引用传递(pass by reference)是指在调用函数时将实际参数的地址直接传递到函数中,而 Java 只有值传递。
在 Code B 中,ref = new Ref(key, “2”) 会重新开辟一片内存空间,赋值给 ref,后面的任何修改都不会改变 Ref ref = new Ref(key, “1”) 的内容,这里不是引用传递,如果是引用传递的话,REFS_MAPS 中的引用也应该会改变,但是实际上并没有。

在 Code C 中,ref.setValue(“2”) 影响了 REFS_MAPS 中的值,因为这里是把 ref 的引用的地址复制了一份,传递给了 REFS_MAPS。

所以,ref 其实是值传递,把 ref 对象引用的地址当做值传递给了 REFS_MAPS


所以, 值传递和引用传递的区别并不是传递的内容。


而是实参到底有没有被复制一份给形参。