I + = ++ Ho un comportamento non definito in C++ 0x?

Question

Sono molto convinto della spiegazione che ho trovato che diceva che i = ++i is not undefined per quanto riguarda il C++ 0x, ma non sono in grado di giudicare se il comportamento di i += ++i è ben definito o meno. Qualche acquirente?

Answer 1

Il ragionamento che rende ben definito i = ++ii = ++i per dimostrare che i += ++i deve anche essere ben definito.

i += ++i equivale a i += (i += 1) e le nuove regole di sequenza richiedono che l'assegnazione avvenga prima del calcolo del valore della sottoespressione i += 1.
Ciò significa che il risultato dell'espressione i += ++i deve essere lo stesso di i = 2 * i + 1.

Modifica: Devo rivedere la mia risposta, perché il comportamento non è definito dopo tutto.
Il comportamento di i += ++i non è definito, poiché i calcoli dei valori delle sottoespressioni i (argomento lato sinistro) e ++i sono non correlati l'uno con l'altro e uno di essi contiene un aggiornamento dell'oggetto i.

Questo non è un problema per l'espressione i = ++i, perché il i sul lato sinistro non subisce una conversione lvalue a rvalue, il che accade nel caso i += ++i.

---

Su una nota secondaria: non scrivere tale codice in alcun progetto serio. Si basa troppo sulla conoscenza esatta delle regole del sequenziamento e ci saranno molte persone che non comprendono correttamente le regole del sequenziamento, non sono a conoscenza del cambiamento delle regole che è il risultato del DR 637 o sono inciampate mancando alcune importanti aspetti dell'espressione in questione (come è successo a me durante la composizione della prima revisione di questa risposta).