一个对象引用的思考

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

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”的值，如下所示：

image

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

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

image

常见的困惑问题

将 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”。

image

再将 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 的值也被修改了。

image

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

我们知道，值传递（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。

所以，值传递和引用传递的区别并不是传递的内容。而是实参到底有没有被复制一份给形参。