Standard-ML: Verwirrung über Referenzzellen

Question

Ich lese Harpers Intro zu SML und bin ein wenig verwirrt auf Referenzzellen. Auf P. 114, er das folgende Beispiel gibt:

val r = ref 0 
val s = ref 0 
val _ = r := 3 
val x = !s + !r 
val t = r 
val _ = t := 5 
val y = !s + !r 
val z = !t !r 

„Nach der Ausführung dieser Bindungen, x bis 3 gebunden ist, wird y bis 5 gebunden ist, und Z gebunden ist, bis 10.“

Hier ist meine Spur seines Code:

val r = ref 0 //allocates storage for r and sets to 0 
val s = ref 0 //allocates storage for s and sets to 0 
val _ = r := 3 //sets r = 3 
val x = !s + !r //sets x = 0 + 3 = 3 
val t = r //sets t = 3 
val _ = t := 5 //sets t = 5 
val y = !s + !r //sets y = 0 + 3 = 3 
val z = !t !r //sets z = 5 + 3 = 8 

My x korrekt ist (3), aber meine y und z beide falsch (mein y 3 statt 5 und meine z 5 statt 10).

Wohin gehe ich hier falsch?

Auch warum ist val _ = t := 5 anstelle von einfach t := 5 erforderlich?

Danke, bclayman

Answer 1

val t = r setzt t nicht auf 3. Es setzt t als die gleiche Referenzzelle, die r ist. Wenn Sie t := 5 tun, setzen Sie also den Inhalt von t und r auf 5, da beide dieselbe Referenzzelle enthalten. Für Ihre andere Frage ist t := 5 ein Funktionsaufruf der Funktion := : 'a ref * 'a -> unit. Daher ist t := 5 ein Ausdruck, der () auswertet.

val _ = t := 5 wirft einfach die () weg und verwandelt es in eine Deklaration statt in einen Ausdruck.

Answer 2

val t = r macht t ein alias für r. Sie beziehen sich beide auf den gleichen Ort im Laden. Somit hat t := 5 den Nebeneffekt, den Inhalt des Speicherplatzes zu ändern, auf den sich auch r bezieht (da t und r sich auf den gleichen Platz beziehen). Daher

val y = !s + !t 

Sätze y = 0 + 5 = 5.

Sie sind richtig, dass val _ = t := 5 ist grundsätzlich die gleiche wie t := 5, obwohl das erstere Ausgangsunterdrückt in dem REPL (durch den Wert des Zuweisungsausdruck Verwerfen).