Warum liefert die Funktion == von Array nicht wahr für Array (1,2) == Array (1,2)?

Question

In Programming in Scala schreiben die Autoren, dass Scala == Funktion Wertgleichheit anstelle von Referenzgleichheit vergleicht.

Dies funktioniert auf Listen wie erwartet:

scala> List(1,2) == List(1,2) 
res0: Boolean = true 

Es ist jedoch auf Arrays nicht funktioniert:

scala> Array(1,2) == Array(1,2) 
res1: Boolean = false 

Die Autoren empfehlen, stattdessen die sameElements Funktion zu verwenden:

scala> Array(1,2).sameElements(Array(1,2)) 
res2: Boolean = true 

Als Erklärung schreiben sie:

Obwohl dies wie eine Inkonsistenz erscheinen mag, ist es ein konservativer Ansatz seitens der Sprachentwickler, einen expliziten Test der Gleichheit zweier veränderbarer Datenstrukturen zu unterstützen. Auf lange Sicht sollte es Sie vor unerwarteten Ergebnissen in Ihren Bedingungen bewahren.

1. Was bedeutet das? Welche Art von unerwartete Ergebnisse sprechen sie? Was könnte ich sonst von einem Array-Vergleich erwarten, als wenn true zurückgegeben würde, wenn die Arrays dieselben Elemente an derselben Position enthalten? Warum funktioniert die Gleichheitsfunktion unter List, aber nicht unter Array?

2. Wie kann ich die Gleichheitsfunktion auf Arrays arbeiten lassen?

Answer 1

Es ist wahr, dass die Erklärung, die im Buch angeboten wird, fragwürdig ist, aber um ehrlich zu sein, war es glaubwürdiger, als sie es schrieben. Es ist immer noch richtig in 2.8, aber wir müssen verschiedene Überlegungen nachrüsten, denn wie Sie bereits festgestellt haben, führen alle anderen Sammlungen Elementvergleiche durch, auch wenn sie veränderbar sind.

Es wurde viel Blut vergossen, um Arrays wie den Rest der Sammlungen erscheinen zu lassen, aber das war eine extrem undichte Abstraktion und am Ende war es unmöglich. Es wurde festgestellt, richtigerweise denke ich, dass wir zum anderen Extrem gehen sollten und native Arrays so bereitstellen sollten, wie sie sind, indem wir implizite Maschinerie verwenden, um ihre Fähigkeiten zu verbessern. Am deutlichsten fällt dies auf toString und equals, weil keiner von ihnen sich in Arrays vernünftig verhält, aber wir können diese Aufrufe mit impliziten Konvertierungen nicht abfangen, weil sie auf java.lang.Object definiert sind. (Konvertierungen finden nur statt, wenn ein Ausdruck keine Prüfung eingibt und diese immer eine Prüfung eingibt.)

So können Sie Ihre Erklärung wählen, aber am Ende werden Arrays grundlegend anders durch die zugrunde liegende Architektur behandelt und es gibt keine Möglichkeit, dies zu überschlagen, ohne irgendwo einen Preis zu bezahlen. Es ist keine schreckliche Situation, aber Sie müssen sich dessen bewusst sein.

Answer 2

Es geht um referentielle Transparenz. Die Idee ist, wenn zwei Werte == sind, sollte es egal sein, welche Sie für etwas verwenden. Wenn Sie zwei Arrays mit dem gleichen Inhalt haben, ist es wichtig, welche Sie ändern, also == gibt false zurück, es sei denn, sie sind die selben eins.

Answer 3

Diese genaue Frage wurde viele Male geäußert (von mir selbst, siehe Strange behaviour of the Array type).

Beachten Sie, dass es nur die Array Sammlung ist, die == nicht unterstützt, alle anderen Sammlungen tun. Die Ursache ist, dass Array das Java array ist.