Undefiniertes Verhalten, oder: Hat Swift Sequenzpunkte?

Question

in C/C++, die zweite Anweisung in

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

ruft sowohl

• unspezifiziert Verhalten, weil die Reihenfolge der Auswertung der Operanden nicht spezifiziert ist, und
• undefiniertes Verhalten , weil die Nebenwirkungen auf das gleiche Objekt i relativ zueinander nicht sequenziert sind.

Siehe zum Beispiel

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

, nun da Swift als sicher Sprache entwickelt wurde, was die hier entsprechende Situation? Ist das Ergebnis von

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

gut definiert? Kann man aus der Sprachreferenz im Swift Buch schließen, dass j == 4?

Answer 1

Die Frage von Apple Entwickler und Swift Designer Chris Lattner in der Apple Developer Forum https://forums.developer.apple.com/thread/20001#63783 beantwortet wurde:

Ja, das Ergebnis dieses Ausdrucks wird immer 4. Swift wertet Ausdrücke werden von links nach rechts, es ist nicht wie C nicht definiert oder Implementierung

Chris auch hinzugefügt Verhalten definiert:

Das heißt, wenn Sie Code so schreiben, jemand versucht, es zu halten wird wahrscheinlich nicht sehr glücklich sein, mit Ihnen

Einverstanden! Es war ein extremes Beispiel, um das Problem zu demonstrieren.