Ist i + = ++ ich undefiniertes Verhalten in C++ 0x?

Question

Ich bin sehr überzeugt mit der Erklärung, die ich gefunden habe, dass i = ++i is not undefined so weit wie C++ 0x betrifft, aber ich bin nicht in der Lage zu beurteilen, ob das Verhalten von i += ++i gut definiert ist oder nicht. Irgendwelche Abnehmer?

Answer 1

Die Argumentation, die i = ++i wohldefiniert macht, kann ebenso verwendet werden, um zu beweisen, dass i += ++i auch wohldefiniert sein muss.

i += ++i entspricht i += (i += 1) und die neuen Sequenzregeln erfordern, dass die Zuordnung vor der Wertberechnung des i += 1-Unterausdrucks stattfindet.
Dies bedeutet, dass das Ergebnis des Ausdrucks i += ++i derselbe wie für i = 2 * i + 1 sein muss.

Edit: Ich muss meine Antwort revidieren, weil das Verhalten schließlich undefiniert ist.
Das Verhalten von i += ++i ist undefiniert, weil die Wertberechnungen der Unterausdrücke i (Argument der linken Seite) und ++i zueinander nicht sequenziell sind und eine davon eine Aktualisierung des Objekts i enthält.

Dies ist kein Problem für den Ausdruck i = ++i, weil es die i auf der linke Seite nicht eine L-Wert-to-rvalue Umwandlung erfährt, die im i += ++i Fall geschieht.

---

Nebenbei: Schreiben Sie keinen solchen Code in einem seriösen Projekt. Es hängt zu sehr davon ab, die Sequenzierungsregeln genau zu kennen, und es wird viele Leute geben, die entweder die Sequenzierungsregeln nicht richtig verstehen, sich der Änderung der Regeln, die das Ergebnis von DR 637 ist, nicht bewusst sind oder durch das Fehlen wichtiger Informationen stolpern Aspekte des fraglichen Ausdrucks (wie es mir bei der ersten Überarbeitung dieser Antwort passiert ist).