Warum unterscheidet sich (Objekt) 0 == (Objekt) 0 von ((Objekt) 0) .Gleich ((Objekt) 0)?

Warum unterscheiden sich die folgenden Ausdrücke?

[1]  (object)0 == (object)0 //false
[2]  ((object)0).Equals((object)0) // true

Eigentlich kann ich [1] völlig verstehen, da wahrscheinlich die .NET-Laufzeit boxdie Ganzzahl ist und stattdessen die Referenzen vergleicht. Aber warum ist [2] anders?

Der Grund, warum sich die Aufrufe unterschiedlich verhalten, ist, dass sie an sehr unterschiedliche Methoden gebunden sind.

Der ==Fall wird an den Gleichheitsoperator für statische Referenzen gebunden. Es werden 2 unabhängige Boxwerte interstellt, daher handelt es sich nicht um dieselbe Referenz.

Im zweiten Fall binden Sie an die Instanzmethode Object.Equals. Dies ist eine virtuelle Methode, die nach unten filtert Int32.Equalsund nach einer Ganzzahl mit Kästchen sucht. Beide ganzzahligen Werte sind 0, daher sind sie gleich

Wenn Sie den int-Wert 0(oder einen anderen Werttyp) in umwandelnobject , wird der Wert eingerahmt . Jede Umwandlung objecterzeugt eine andere Box (dh eine andere Objektinstanz). Der ==Operator für den objectTyp führt einen Referenzvergleich durch, gibt also false zurück, da die linke und die rechte Seite nicht dieselbe Instanz sind.

Wenn Sie dagegen Equalseine virtuelle Methode verwenden, wird die Implementierung des tatsächlichen Box-Typs verwendet, dh Int32.Equals, der true zurückgibt, da beide Objekte denselben Wert haben.

Der ==Operator ist statisch und nicht virtuell. Es wird der genaue Code ausgeführt, den die objectKlasse definiert (`Objekt ist der Kompilierungszeittyp der Operanden), der unabhängig vom Laufzeittyp eines der beiden Objekte einen Referenzvergleich durchführt.

Die EqualsMethode ist eine virtuelle Instanzmethode. Es wird der Code ausgeführt, der im tatsächlichen Laufzeittyp des (ersten) Objekts definiert ist, nicht der Code in der objectKlasse. In diesem Fall ist das Objekt ein Objekt int, daher wird ein Wertevergleich durchgeführt, da dies vom intTyp für seine EqualsMethode definiert wird.

Die Equals()Methode ist virtuell.
Daher wird die konkrete Implementierung immer aufgerufen, auch wenn die Call-Site gegossen wird object. intÜberschreibt Equals()den Vergleich nach Wert, sodass Sie einen Wertvergleich erhalten.

== Verwenden: Object.ReferenceEquals

Object.Equals vergleicht den Wert.

Die object.ReferenceEqualsMethode vergleicht Referenzen. Wenn Sie ein Objekt zuweisen, erhalten Sie zusätzlich zu den Daten des Objekts auf dem Speicherheap eine Referenz, die einen Wert enthält, der seinen Speicherort angibt.

Die object.EqualsMethode vergleicht den Inhalt von Objekten. Zunächst wird geprüft, ob die Referenzen gleich sind, ebenso wie object.ReferenceEquals. Dann werden jedoch abgeleitete Equals-Methoden aufgerufen, um die Gleichheit weiter zu testen. Sieh dir das an:

   System.Object a = new System.Object();
System.Object b = a;
System.Object.ReferenceEquals(a, b);  //returns true

Der C # -Operator verwendet das Token ==, um zwei verschiedene Operatoren darzustellen: einen statisch überladbaren Vergleichsoperator und einen nicht überladbaren Referenzvergleichsoperator. Wenn es auf das ==Token stößt , prüft es zunächst, ob eine Überlastung des Gleichheitstests vorliegt, die für die Operandentypen gilt. In diesem Fall wird diese Überlastung ausgelöst. Andernfalls wird geprüft, ob die Typen für den Referenzvergleichsoperator gelten. In diesem Fall wird dieser Operator verwendet. Wenn keiner der Operatoren auf die Operandentypen anwendbar ist, schlägt die Kompilierung fehl.

Der Code (Object)0sendet nicht nur ein Int32to Object: Int32wie alle Werttypen tatsächlich zwei Typen, von denen einer Werte und Speicherorte beschreibt (wie die wörtliche Null), sondern von nichts abgeleitet ist und einer beschreibt Haufen Objekte und stammt von Object; Da nur der letztere Typ gesendet werden kann, Objectmuss der Compiler ein neues Heap-Objekt dieses letzteren Typs erstellen. Jeder Aufruf von (Object)0erstellt ein neues Heap-Objekt, sodass die beiden Operanden ==unterschiedliche Objekte sind, von denen jedes unabhängig den Int32Wert 0 kapselt .

Für die Klasse Objectsind keine verwendbaren Überladungen für den Operator equals definiert. Folglich kann der Compiler den überladenen Gleichheitstestoperator nicht verwenden und greift auf die Verwendung des Referenzgleichheitstests zurück. Da sich die beiden Operanden ==auf unterschiedliche Objekte beziehen, wird ein Bericht erstellt false. Der zweite Vergleich ist erfolgreich, da eine Heap-Objekt-Instanz Int32gefragt wird, ob sie der anderen entspricht. Da diese Instanz weiß, was es bedeutet, einer anderen bestimmten Instanz gleich zu sein, kann sie antworten true.

Beide Prüfungen sind unterschiedlich. Der erste prüft auf Identität , der zweite auf Gleichheit . Im Allgemeinen sind zwei Begriffe identisch, wenn sie sich auf dasselbe Objekt beziehen. Dies impliziert, dass sie gleich sind. Zwei Terme sind gleich, wenn ihre Werte gleich sind.

In Bezug auf die Programmierung wird Identität normalerweise durch Referenzgleichheit beeinträchtigt. Wenn der Zeiger auf beide Begriffe gleich (!) Ist, ist das Objekt, auf das sie zeigen, genau das gleiche. Wenn sich die Zeiger jedoch unterscheiden, kann der Wert der Objekte, auf die sie zeigen, immer noch gleich sein. In C # kann die Identität mit dem statischen Object.ReferenceEqualsElement überprüft werden, während die Gleichheit mit dem nicht statischen Element überprüft wird Object.Equals. Da Sie zwei Ganzzahlen in Objekte umwandeln (was übrigens als "Boxen" bezeichnet wird), führt der Operator ==von objectdie erste Prüfung durch, die standardmäßig zugeordnet ist, Object.ReferenceEqualsund prüft die Identität. Wenn Sie das nicht statische EqualsMitglied explizit aufrufen , führt der dynamische Versand zu einem Aufruf von Int32.Equals, der die Gleichheit überprüft.

Beide Konzepte sind ähnlich, aber nicht gleich. Sie mögen zunächst verwirrend erscheinen, aber der kleine Unterschied ist sehr wichtig! Stellen Sie sich zwei Personen vor, nämlich "Alice" und "Bob". Sie leben beide in einem gelben Haus. Unter der Annahme, dass Alice und Bob in einem Viertel leben, in dem Häuser nur in ihrer Farbe unterschiedlich sind, könnten sie beide in verschiedenen gelben Häusern leben. Wenn Sie beide Häuser vergleichen, werden Sie feststellen, dass sie absolut gleich sind, weil sie beide gelb sind! Sie teilen sich jedoch nicht dasselbe Haus und daher sind ihre Häuser gleich , aber nicht identisch . Identität würde bedeuten, dass sie im selben Haus leben.

Hinweis : Einige Sprachen definieren den ===Operator, der auf Identität überprüft werden soll.