modifica delle variabili finali tramite la riflessione, perché differenza tra variabile finale statica e non statica

Question

Fare riferimento al codice riportato di seguito. Quando eseguo il codice, sono in grado di modificare il valore di una variabile non statica finale. Ma se provo a cambiare il valore di una variabile statica finale, getta java.lang.IllegalAccessException.

La mia domanda è perché non genera un'eccezione anche in caso di variabile finale non statica o viceversa. Perché la differenza?

import java.lang.reflect.Field; 
import java.util.Random; 

public class FinalReflection { 

    final static int stmark = computeRandom(); 
    final int inmark = computeRandom(); 

    public static void main(String[] args) throws SecurityException, NoSuchFieldException, IllegalArgumentException, IllegalAccessException { 
     FinalReflection obj = new FinalReflection(); 
     System.out.println(FinalReflection.stmark); 
     System.out.println(obj.inmark); 
     Field staticFinalField = FinalReflection.class.getDeclaredField("stmark"); 
     Field instanceFinalField = FinalReflection.class.getDeclaredField("inmark"); 
     staticFinalField.setAccessible(true); 
     instanceFinalField.setAccessible(true); 

     instanceFinalField.set(obj, 100); 
     System.out.println(obj.inmark); 

     staticFinalField.set(FinalReflection.class, 101); 
     System.out.println(FinalReflection.stmark); 

    } 

    private static int computeRandom() { 
     return new Random().nextInt(5); 
    } 
} 

Answer 1

FinalReflectionobj = new FinalReflection(); 
System.out.println(FinalReflection.stmark); 
System.out.println(obj.inmark); 
Field staticFinalField = FinalReflection.class.getDeclaredField("stmark"); 
Field instanceFinalField = FinalReflection.class.getDeclaredField("inmark"); 
staticFinalField.setAccessible(true); 
instanceFinalField.setAccessible(true); 

//EXTRA CODE 
//Modify the final using reflection 
Field modifiersField = Field.class.getDeclaredField("modifiers"); 
modifiersField.setAccessible(true); 
modifiersField.setInt(staticFinalField, staticFinalField.getModifiers() & ~Modifier.FINAL); 


instanceFinalField.set(obj, 100); 
System.out.println(obj.inmark); 
staticFinalField.set(FinalReflection.class, 101); 
System.out.println(FinalReflection.stmark); 

Questa soluzione non viene senza alcuni svantaggi, esso non può funzionare in tutti i casi:

In caso un campo final viene inizializzato a una costante nella dichiarazione campo compilazione, modifiche al campo final potrebbe non essere visibile, dal momento che gli usi di tale campo finale vengono sostituiti in fase di compilazione con la costante di compilazione.

Un altro problema è che la specifica consente l'ottimizzazione aggressiva dei campi final. All'interno di un thread, è possibile riordinare le letture di un campo final con quelle modifiche di un campo final che non si verificano nel costruttore. More su questo è anche spiegato in questa domanda simile.

Answer 2

Per la finale, può essere assegnato diversi valori in fase di esecuzione quando inizializzato.

Class Test{  
public final int a; 
} 

Test t1 = new Test(); 
t1.a = 10; 
Test t2 = new Test(); 
t1.a = 20; 

Così ogni istanza ha un valore diverso del campo a.

Per la finale statica, tutte le istanze condividono lo stesso valore e non possono essere modificate dopo la prima inizializzazione.

Class TestStatic{ 
    public static final int a; 
} 

Test t1 = new Test(); 
t1.a = 10; 
Test t2 = new Test(); 
t1.a = 20; // ERROR, CAN'T BE ALTERED AFTER THE FIRST INITIALIZATION. 

Answer 3

Il javadoc è chiaro:

Se il campo sottostante è definitiva, il metodo genera un IllegalAccessException meno setAccessible (true) è riuscita per questo oggetto Campo e il campo è non-statico.

Da una prospettiva JLS, non è specificato l'esatto comportamento di riflessione come dovrebbe funzionare, ma in JLS 17.5.4:

Normalmente, un campo che è definitiva e statico non può essere modificato.

Una soluzione è remove the final modifier through reflection.