BufferedInputStream, alanı doğrudan kullanmak yerine neden bir alanı yerel bir değişkene kopyalıyor?

Kaynak kodunu okuduğumda, java.io.BufferedInputStream.getInIfOpen()neden böyle bir kod yazdığına dair kafam karıştı:

/**
 * 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;
}

Alan değişkenini indoğrudan aşağıdaki gibi kullanmak yerine neden takma adı kullanıyor?

/**
 * 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;
}

Birisi makul bir açıklama yapabilir mi?

Bu koda bağlam dışında bakarsanız, bu "takma ad" için iyi bir açıklama yoktur. Bu sadece gereksiz kod veya zayıf kod stilidir.

Ancak bağlam, BufferedInputStreamalt sınıflara ayrılabilen bir sınıf ve çok iş parçacıklı bir bağlamda çalışması gerektiğidir.

İpucu olduğunu inbeyan edilir FilterInputStreamDİR protected volatile. Bir alt sınıf ve atama ulaşabileceğini bir şans olduğunu vasıtası That nulliçin in. Bu olasılık göz önüne alındığında, "takma ad" aslında bir yarış durumunu önlemek için oradadır.

Kodu "takma ad" olmadan düşünün

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

1. Konu A aramaları getInIfOpen()
2. A iş parçacığı , olmadığını değerlendirir in == nullve görür .innull
3. B atar Konu nulliçin in.
4. A iş parçacığı yürütülür return in. Hangi döndürür nullçünkü abir volatile.

"Takma ad" bunu engeller. Şimdi inA evresi tarafından sadece bir kez okunur. Eğer B evresi nullA evresine sahip olduktan sonra atarsa inbunun önemi yoktur. A iş parçacığı ya bir istisna atar ya da (garantili) boş olmayan bir değer döndürür.

Bunun nedeni, sınıfın BufferedInputStreamçok iş parçacıklı kullanım için tasarlanmış olmasıdır.

Burada, inüst sınıfa yerleştirilen bildirimini görüyorsunuz FilterInputStream:

protected volatile InputStream in;

Olduğundan protected, değeri ve alt sınıfları FilterInputStreamdahil olmak üzere herhangi bir alt sınıfı tarafından değiştirilebilir BufferedInputStream. Ayrıca, bildirilmiştir volatile, yani herhangi bir evre değişkenin değerini değiştirirse, bu değişiklik hemen diğer tüm evrelerde yansıtılacaktır. Bu kombinasyon kötüdür, çünkü sınıfın BufferedInputStreamne zaman indeğiştirileceğini kontrol etmenin veya bilmenin bir yolu olmadığı anlamına gelir . Bu nedenle, değer, null BufferedInputStream::getInIfOpeniçin kontrol ile null kontrolünü etkin bir şekilde işe yaramaz hale getiren geri dönüş ifadesi arasında bile değiştirilebilir . inYerel değişkende önbelleğe almak için değerini yalnızca bir kez okuyarak, yerel değişkenler her zaman tek bir iş parçacığına ait olduğundan input, yöntem BufferedInputStream::getInIfOpendiğer evrelerden gelen değişikliklere karşı güvenlidir.

Null olarak BufferedInputStream::closeayarlanan bir örnek var in:

public void close() throws IOException {
    byte[] buffer;
    while ( (buffer = buf) != null) {
        if (bufUpdater.compareAndSet(this, buffer, null)) {
            InputStream input = in;
            in = null;
            if (input != null)
                input.close();
            return;
        }
        // Else retry in case a new buf was CASed in fill()
    }
}

Yürütüldüğünde BufferedInputStream::closebaşka bir iş parçacığı tarafından çağrılırsa BufferedInputStream::getInIfOpen, bu yukarıda açıklanan yarış koşuluyla sonuçlanır.

Bu çok kısa bir koddur, ancak teorik olarak, çok iş parçacıklı bir ortamda, inkarşılaştırmadan hemen sonra değişebilir, böylece yöntem kontrol etmediği bir şeyi döndürebilir (geri dönebilir null, böylece tam olarak yapması gereken şeyi yapabilir. önlemek).

Sınıf değişkenini inyerel değişkene yakalamanın , çalışırken başka bir iş parçacığı tarafından değiştirilirse inputtutarsız davranışı önlemek olduğuna inanıyorum .ingetInIfOpen()

Sahibinin inüst sınıf olduğuna ve bunu olarak işaretlemediğine dikkat edin final.

Bu model, sınıfın diğer bölümlerinde de tekrarlanır ve makul bir savunma kodlaması gibi görünmektedir.