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


问题内容

这是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;
}

问题答案:

为了稍微扩展一下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;
}

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