为什么BufferedInputStream将字段复制到局部变量而不是直接使用该字段

Question

当我从中读取源代码时java.io.BufferedInputStream.getInIfOpen()，我很困惑为什么它编写了这样的代码：

/**
 * Check to make sure that underlying input stream has not been
 * nulled out due to close; if not return it;
 */
private InputStream getInIfOpen() throws IOException {
    InputStream input = in;
    if (input == null)
        throw new IOException("Stream closed");
    return input;
}

为什么使用别名而不是in直接使用field变量，如下所示：

/**
 * Check to make sure that underlying input stream has not been
 * nulled out due to close; if not return it;
 */
private InputStream getInIfOpen() throws IOException {
    if (in == null)
        throw new IOException("Stream closed");
    return in;
}

有人可以给出合理的解释吗？

Answer 1

如果您是从上下文中看这段代码，那么对于“别名”将没有很好的解释。它仅仅是冗余代码或不良的代码样式。

但是上下文是BufferedInputStream可以被子类化的类，它需要在多线程上下文中工作。

线索是，in在宣布FilterInputStreamIS protected volatile。这意味着子类有可能进入并分配null给in。考虑到这种可能性，实际上会使用“别名”来防止出现竞争状况。

考虑不带“别名”的代码

private InputStream getInIfOpen() throws IOException {
    if (in == null)
        throw new IOException("Stream closed");
    return in;
}

1. 线程A调用 getInIfOpen()
2. 线程A评估in == null得出in的结果不是null。
3. 线程B分配null给in。
4. 线程A执行return in。null之所以返回，a是因为volatile。

“别名”可以防止这种情况。现在in，线程A仅读取一次。如果线程B
null在线程A之后分配in，则没有关系。线程A将抛出异常或返回（保证的）非空值。