Ich bin hier über folgendes Codefragment gestolpert und bin mir nicht sicher, ob es definiert ist oder nicht:

*p++ = *p * s;

p und s sind POD-Typen, es greifen also die Regeln für eingebaute Operatoren. Die Unsichterheit kommt nun dadurch, dass ich mich frage, ob das p++ auf der linken Seite vor dem *p auf der rechten Seite des Zuweisungsoperators ausgewertet werden kann (was in dem Falle undefiniert wäre). Im Standard im Kapitel 5 habe ich für den Assignment Operator aber auch nicht gefunden, dass auf der rechten Seite alle Seiteneffekte abgeschlossen sein müssen, bevor die Zuweisung ausgeführt wird (oder es steht noch an einer anderen Stelle und ich übersehe es).

Klar, ich kann es anders hinschreiben, dass es eindeutig ist - aber ich möchte diesen Ausdruck und das Warum verstehen (damit ich später dafür oder dagegen argumentieren kann).

(*(p++)) = ((*p) * s);

wenn wir davon ausgehen, daß p ein Pointer auf einen numerischen Typ und s eine numerische Variable ist, ist der Code legal - er dereferenziert p, multipliziert den Wert mit s und speichert das Ergebnis an der Position, auf die p zeigt, außerdem wird p eine Position im speicher weitergeschoben.

Stell es mal so um:

operator=( *p++, *p * s);

Jetzt wäre es in jedem Falle undefiniert, da die Auswertungsreihenfolge vom ersten und zweiten Argument nicht festgelegt ist.

Die spannende Frage für mich ist nur: Wird der Ausdruck rechts vom Zuweisungsoperator vollständig abgearbeitet und sind alle Seiteneffekte abgeschlossen, bevor der linke Ausdruck angeschaut wird?

Die spannende Frage für mich ist nur: Wird der Ausdruck rechts vom Zuweisungsoperator vollständig abgearbeitet und sind alle Seiteneffekte abgeschlossen, bevor der linke Ausdruck angeschaut wird?

Nein, ein Zuweisungsoperator ist kein Sequenzpunkt.

Nein, ein Zuweisungsoperator ist kein Sequenzpunkt.

Gut, genau das hatte ich nämlich auch im Kopf. (habe aber eine explizite Aussage im Standard vermisst bzw. nicht gefunden) Dann sollte es damit wohl beantwortet sein, danke.
(Es sei denn, jemand hat noch Einsprüche)