将实例字段分配给局部变量

Question

这是JDK的类keySet()方法HashMap。作者为什么将字段分配keySet给局部变量ks？

public Set<K> keySet() {
    Set<K> ks;
    return (ks = keySet) == null ? (keySet = new KeySet()) : ks;
}

上面和下面之间有什么区别？这与线程安全有关吗？

public Set<K> keySet() {
    return (keySet == null ? (keySet = new KeySet()) : keySet;
}

Answer 1

为了稍微扩展一下Michael的答案，我希望它可以确保该keySet()方法永不返回null，而且还可以提供所提到的性能优势。

给出以下代码：

public Set<K> keySet() {
    return (keySet == null ? (keySet = new KeySet()) : keySet;
}

至少从理论上讲，在多线程代码中，keySet可以将字段设置为null第一次读取（keySet == null）和第二次读取之间，然后将其返回。我没有看过其余的代码，但是我假设还有其他keySet可能被分配的地方null。对于作者来说，这是到底是野外出现的问题还是防御措施。

实际代码：

public Set<K> keySet() {
    Set<K> ks;
    return (ks = keySet) == null ? (keySet = new KeySet()) : ks;
}

…没有这个问题，因为该字段只能读取一次。