Comportamento non definito o: Swift ha punti sequenza?

Question

In C/C++, la seconda memoria di

int i = 0; 
int j = i++ + i++ + ++i; 

invoca sia

• comportamento specificato, perché l'ordine di valutazione degli operandi è specificata, e
• comportamento indefinito , perché gli effetti collaterali sullo stesso oggetto i sono non correlati l'uno rispetto all'altro.

veda ad esempio

• Why are these constructs (using ++) undefined behavior?
• Undefined behavior and sequence points

Ora, dato che la Swift è stato progettato come un linguaggio sicura, qual è la situazione corrispondente qui? Il risultato è

var i = 0 
let j = i++ + i++ + ++i 

ben definito? Si può concludere dal riferimento alla lingua nel libro Swift che j == 4?

Answer 1

La domanda è stato risposto dallo sviluppatore Apple e progettista Swift Chris Lattner in Apple Developer Forum https://forums.developer.apple.com/thread/20001#63783:

Sì, il risultato di tale espressione saranno sempre 4. Swift valuta le espressioni da sinistra a destra, non è indefinito o implementazione definito un comportamento simile C.

Chris ha anche aggiunto:

Detto questo, se si scrive il codice del genere, qualcuno che cerca di mantenerla non sarà probabilmente molto felice con te

Concordato! È stato pensato come un esempio estremo per dimostrare il problema.