ist das undefined behaviour?

[Martin (Gast)]

x = (x == 16) ? 4 : x++;

ich würde sagen ja, x wird 2 mal modifiziert.
Einmal Zuweisung, einmal x++.

[Mark B. (markbrandis)]

if (x == 16)
{
    x = 4;
}
else
{
    x++;
}

Denk ich jetzt mal so. Anschaulichkeit und ternärer Operator geht nicht 
immer zusammen ;)
Edit: Der gcc sagt "warning: operation on `x' may be undefined". Er mag 
das x++ tatsächlich nicht, da sollte wohl laut Standard keine Anweisung 
stehen?

[Mark B. (markbrandis)]

Aha: Wenn man es so schreibt wird es akzeptziert -

x = (x == 16) ? 4 : x+1;

[(prx) A. K. (prx)]

Mark Brandis schrieb:

> Edit: Der gcc sagt "warning: operation on `x' may be undefined". Er mag
> das x++ tatsächlich nicht, da sollte wohl laut Standard keine Anweisung
> stehen?

Es ist im Standard ausdrücklich nicht definiert, ob die Inkrement 
Operation auf "x" vor oder nach der Zuweisung erfolgt.

Deshalb könnte
   x = (x == 16) ? 4 : x++;
sowohl als
   temp = (x == 16) ? 4 : x;
   if (x == 16) x += 1;
   x = temp;
also
   x = (x == 16) ? 4 : x;
wie auch als
   x = (x == 16) ? 4 : x;
   if (x == 16) x += 1;
ausgeführt werden.

[Μαtthias W. (matthias)]

Mark Brandis schrieb:
>

> if (x == 16)
> {
>     x = 4;
> }
> else
> {
>     x++;
> }
>

>
> Denk ich jetzt mal so. Anschaulichkeit und ternärer Operator geht nicht
> immer zusammen ;)

Genau. Denn da steht

if (x == 16)
{
    x = 4;
}
else
{
   x = x++;
}

Und das ist, wie der GCC korrekt erkennt "Undefined behavior"

[Sven P. (Gast)]

A. K. schrieb:
> Es ist im Standard ausdrücklich nicht definiert, ob die Inkrement
> Operation auf "x" vor oder nach der Zuweisung erfolgt.

Ich dachte, es wird immer zuerst die RECHTE Seite bewertet? Also erst 
den ternären Ausdruck einschließlich x++ und DANN die Zuweisung?

Edit sagt:
Achso, ich seh das Problem. Aber dann müsste doch sowas:

x = ++x;

wohldefiniert sein, oder?!

[(prx) A. K. (prx)]

Sven P. schrieb:

> Ich dachte, es wird immer zuerst die RECHTE Seite bewertet? Also erst
> den ternären Ausdruck einschließlich x++ und DANN die Zuweisung?

Nein. Eine Zuweisung ist kein Sequence Point, der liegt erst am Ende 
dieses Statements.

[(prx) A. K. (prx)]

Sven P. schrieb:

> x = ++x;
> wohldefiniert sein, oder?!

Nein. Er darf das nämlich als
   x += 1;
   x = x;
und als
   temp = x + 1;
   x += 1;
   x = temp;
wie auch als
   temp = x + 1;
   x = temp;
   x += 1;
implementieren. Letzteres überrascht dann vielleicht etwas.