一个有趣且令人困惑的代码片段
Code A:
final ConcurrentHashMap<String, Ref> REFS_MAPS = new ConcurrentHashMap<String, Ref>();
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
。
所以,值传递和引用传递的区别并不是传递的内容。而是实参到底有没有被复制一份给形参。