Værdi af assignment

Hvad er forskellen på de to eksempler?

Du bruger x inden den har fået en værdi.

Det sidste skulle være: Du bruger måske x inden den får en værdi. Du kan ikke vide om den evaluerer første eller andet argument først.

Det har du ret i. Hvis jeg ikke ganger hundred() på vil det sidste argument blive evalueret først.

Disse resultater giver mere overblik. Resultatet står i kommentaren.


int main(){
    int a,x,y,z;
    f(a=12,a); // 12 2
    f(z,z=12); // 12 12
    f(x=12,x*hundred()); // 12 300
    f(y*hundred(),y=12); // 2323232323 12
}

I anden linie ses det at andet argument bliver evalueret først. I fjerde linie går vi stadig ud fra andet argument bliver evalueret først, men det giver ikke det forventede resultat

/Esben

Der er tale om "undefined behaviour", at forsøge at forstå eller forudse hvad der sker i disse tilfælde er frugtesløst.

Jeg har kigget lidt i assembler koden og jeg synes det ligner en underlig form for optimering.

Kaldet f(z,z=16666) vil generere denne kode. Læg mærke til konstanten 16666 optræder to gange i stedet for at læse den fra hukommelsen, hvilket også burde spare en read instruktion.

        movl    $16666, -16(%ebp)
        movl    $16666, 4(%esp)
        movl    -16(%ebp), %eax
        movl    %eax, (%esp)
        call    _f


/Esben

Det er også interessant at se at med -O3 på gcc vil den evaluere første argument først.

/Esben