In Java, come agisce un operatore di post-incremento in una dichiarazione di reso?

Question

Dato il seguente codice, ixAdd farà quello che ti aspetteresti, io. e. restituire il valore di ix prima dell'incremento, ma incrementare il membro della classe prima di lasciare la funzione?

class myCounter { 
    private int _ix = 1; 

    public int ixAdd() 
    { 
     return _ix++; 
    } 
} 

non ero del tutto sicuro se si applicano anche le regole usuali per la post/pre incremento nelle istruzioni di ritorno, quando il programma lascia lo stack frame (o qualunque cosa sia in Java) della funzione.

Answer 1

La parte fondamentale è che un incremento/decremento di post avviene immediatamente dopo la valutazione dell'espressione. Non solo si verifica prima che si verifichi il ritorno, ma prima che vengano valutate le espressioni successive. Per esempio, supponiamo che hai scritto:

class myCounter { 
    private int _ix = 1; 

    public int ixAdd() 
    { 
     return _ix++ + giveMeZero(); 
    } 

    public int giveMeZero() 
    { 
     System.out.println(_ix); 
     return 0; 
    } 
} 

Che sarebbe stampare il risultato incrementato pure, perché l'incremento avviene prima giveMeZero() si chiama.

Answer 2

Sì, le normali regole si applicano per il post incremento anche su un estratto conto. Fondamentalmente, ciò che farà a un livello basso è memorizzare il valore di ritorno in un registro, quindi incrementare il membro della classe, quindi tornare dal metodo.

È possibile vedere questo in a later answer a questa domanda che mostrava il codice byte.

Answer 3

Sì, lo fa.

Ma non farlo, è uno stile sbagliato avere effetti collaterali nelle espressioni.

Answer 4

Bene, diamo un'occhiata al bytecode (utilizzare javap -c <classname> per vedere voi stessi):

Compiled from "PostIncTest.java" 
class myCounter extends java.lang.Object{ 
myCounter(); 
    Code: 
    0: aload_0 
    1: invokespecial #1; //Method java/lang/Object."<init>":()V 
    4: aload_0 
    5: iconst_1 
    6: putfield #2; //Field _ix:I 
    9: return 

public int ixAdd(); 
    Code: 
    0: aload_0 
    1: dup 
    2: getfield #2; //Field _ix:I 
    5: dup_x1 
    6: iconst_1 
    7: iadd 
    8: putfield #2; //Field _ix:I 
    11: ireturn 

} 

Come si può vedere, le istruzioni 6 e 7 ixAdd() gestire l'incremento prima del ritorno. Pertanto, come ci aspetteremmo, l'operatore di decremento ha effettivamente un effetto quando viene utilizzato in una dichiarazione di reso. Si noti, tuttavia, che esiste un'istruzione dup prima che questi due vengano visualizzati; il valore incrementato è (ovviamente) non riflesso nel valore di ritorno.

Answer 5

Restituisce il valore prima dell'incremento, quindi incrementa _ix. Pertanto, la prima volta che si chiama il metodo ixAdd su un'istanza di myCounter, verrà restituito 1, la seconda volta restituirà 2 e così via.