Scrivi nel campo statico: in questo caso FindBugs è errato?

Question

Ho una classe Java come questo:

public class Foo { 

    public static int counter = 0; 

    public void bar(int counter) { 
     Foo.counter = counter; 
    } 
} 

FindBugs mi avverte di scrivere al campo statico counter tramite il metodo di istanza bar. Tuttavia, se cambio il codice in:

public class Foo { 

    public static int counter = 0; 

    public static void setCounter(int counter) { 
     Foo.counter = counter; 
    } 

    public void bar(int counter) { 
     setCounter(counter); 
    } 
} 

Quindi FindBugs non si lamenterà. Non è sbagliato? Sto ancora scrivendo su un campo statico da un metodo di istanza, solo tramite un metodo statico, no?

Answer 1

Supponiamo che a un certo punto in futuro, si decida che questo metodo di impostazione deve essere protetto da thread e si desidera renderlo synchronized.

Questo codice funzionerà bene:

public synchronized static void setCounter(int counter) { 
    Foo.counter = counter; 
} 

public void bar(int counter) { 
    setCounter(counter); 
} 

Questo codice è sbagliato e dovrà comportamento non corretto:

public synchronized void bar(int counter) { 
    Foo.counter = counter; 
} 

Questo potrebbe non sembrare una differenza significativa in questo esempio forzato, soprattutto perché counter di solito può essere solo contrassegnato volatile. Tuttavia, in un esempio reale in cui il metodo setter ha una logica più complicata e viene chiamato da molti posti diversi (non solo da un metodo di istanza), quest'ultimo modello sarà più facile da refactoring.

Per inciso, a mio parere il plug-in Google's CodePro Analytix è uno strumento molto più veloce e completo di FindBugs.

correlati:

• Synchronized vs. Volatile in Java
• Synchronized Getters and Setters

Answer 2

Dall'elenco FindBugs di bug descriptions:

ST: Scrivi a campo statico dal metodo di istanza (ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD)

Questo metodo di istanza scrive su un campo statico. È difficile ottenere il valore corretto se vengono manipolate più istanze e in genere è errata la pratica .

Non esiste una descrizione di bug simile per l'accesso a un campo statico tramite un metodo statico chiamato da un metodo di istanza.

Si consiglia di discutere le ragioni alla base di questa decisione sulla FindBugs mailing list