(Nesne) 0 == (nesne) 0, ((nesne) 0). Eşit ((nesne) 0) 'dan neden farklı?

Aşağıdaki ifadeler neden farklı?

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

Aslında [1] 'i tamamen anlayabiliyorum çünkü muhtemelen .NET çalışma zamanı boxtam sayı olacak ve bunun yerine referansları karşılaştırmaya başlayacak. Ama [2] neden farklı?

Çağrıların farklı davranmasının nedeni, çok farklı yöntemlere bağlanmalarıdır.

Durum ==, statik referans eşitlik operatörüne bağlanacaktır. intOluşturulan 2 bağımsız kutulu değer vardır, bu nedenle aynı referans değildirler.

İkinci durumda, örnek yöntemine bağlanırsınız Object.Equals. Bu, filtrelenecek sanal bir yöntemdir Int32.Equalsve bu, kutulu bir tamsayıyı kontrol eder. Her iki tamsayı değeri de 0 olduğundan eşittirler

İnt değerini 0(veya başka bir değer türünü) objectiçine çevirdiğinizde , değer kutu içine alınır . Her biri objectfarklı bir kutu (yani farklı bir nesne örneği) üretir. Türün ==operatörü objectbir referans karşılaştırması gerçekleştirir, bu nedenle sol taraf ve sağ taraf aynı örnek olmadığından yanlış döndürür.

Öte yandan, Equalssanal bir yöntem olan kullandığınızda, gerçek kutulu tipin uygulamasını kullanır, yani Int32.Equalsher iki nesne de aynı değere sahip olduğundan true döndürür.

==Operatör, statik olan sanal değildir. Her objectiki nesnenin çalışma zamanı türünden bağımsız olarak bir referans karşılaştırması yapacak olan sınıfın tanımladığı (`nesne, işlenenlerin derleme zamanı türüdür) tam kodu çalıştıracaktır .

EqualsYöntem, bir sanal örnek bir yöntemdir. objectSınıftaki kodda değil, (birinci) nesnenin gerçek çalışma zamanı türünde tanımlanan kodu çalıştıracaktır . Bu durumda, nesne intbir değer karşılaştırması yapacaktır, çünkü inttürün Equalsyöntemi için tanımladığı şey budur .

Equals()Yöntem sanaldır.
Bu nedenle, çağrı sitesine çevrildiğinde bile her zaman somut uygulamayı çağırır object. değere göre karşılaştırmayı intgeçersiz kılar Equals(), böylece değer karşılaştırması elde edersiniz.

== kullanın: Object.ReferenceEquals

Object.Equals değeri karşılaştırır.

object.ReferenceEqualsYöntem referanslar karşılaştırır. Bir nesneyi ayırdığınızda, bellek yığınındaki nesnenin verilerine ek olarak bellek konumunu belirten bir değer içeren bir referans alırsınız.

object.EqualsYöntem nesnelerin içeriği karşılaştırır. Önce object.ReferenceEquals gibi referansların eşit olup olmadığını kontrol eder. Ancak daha sonra eşitliği daha fazla test etmek için türetilmiş Eşittir yöntemlerini çağırır. Bunu gör:

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

C # operatörü, ==iki farklı operatörü temsil etmek için jetonu kullanır : statik olarak aşırı yüklenebilir bir karşılaştırma operatörü ve aşırı yüklenemez bir referans karşılaştırma operatörü. Jetonla karşılaştığında, ==önce işlenen türleri için geçerli olan herhangi bir eşitlik testi aşırı yüklemesi olup olmadığını kontrol eder. Eğer öyleyse, bu aşırı yüklemeyi başlatacaktır. Aksi takdirde, türlerin referans karşılaştırma operatörü için geçerli olup olmadığını kontrol edecektir. Eğer öyleyse, o operatörü kullanacaktır. Operand türlerine hiçbir operatör uygulanamazsa, derleme başarısız olur.

Kod (Object)0bir hava bacası değil, sadece does Int32ToObject :, Int32tüm değer türleri gibi, aslında biri değerleri ve depolama konumlarını (değişmez sıfır gibi) açıklayan, ancak hiçbir şeyden türetmeyen ve biri açıklayan iki türü temsil eder. yığın nesneleri ve türetilir Object; yalnızca ikinci tür yukarı çevrilebileceğinden Object, derleyicinin bu ikinci türden yeni bir yığın nesnesi oluşturması gerekir. Her çağrılması (Object)0yeni bir yığın nesnesi oluşturur, böylece iki işlenen ==farklı nesnelerdir ve her biri bağımsız olarak Int320 değerini içerir.

Sınıf Object, eşittir operatörü için tanımlanmış herhangi bir kullanılabilir aşırı yüklemeye sahip değil. Sonuç olarak, derleyici aşırı yüklenmiş eşitlik testi işlecini kullanamayacak ve referans eşitlik testini kullanmaya geri dönecektir. İki işlenen ==farklı nesnelere atıfta bulunduğundan, rapor verecektir false. İkinci karşılaştırma başarılı olur çünkü bir yığın nesne örneğinin diğerine Int32eşit olup olmadığını sorar . Bu örnek, başka bir farklı örneğe eşit olmanın ne anlama geldiğini bildiği için yanıt verebilir true.

Her iki kontrol de farklı. Birincisi kimliği kontrol eder , ikincisi eşitlik için . Aynı nesneye atıfta bulunuyorlarsa, genel olarak iki terim aynıdır. Bu onların eşit oldukları anlamına gelir. Değerleri aynıysa iki terim eşittir.

Programlama açısından kimlik genellikle referans eşitliği ile karıştırılır. Her iki terimin göstericisi eşitse (!), İşaret ettikleri nesne tamamen aynıdır. Bununla birlikte, işaretçiler farklıysa, işaret ettikleri nesnelerin değeri yine de eşit olabilir. C # 'da kimlik statik Object.ReferenceEqualsüye kullanılarak kontrol edilebilirken, eşitlik statik olmayan Object.Equalsüye kullanılarak kontrol edilebilir . Eğer operatior, (Btw, "boks" olarak adlandırılır) nesnelere iki tamsayı döküm olduğundan ==arasındaobject gerçekleştirir varsayılan olarak ilk onay, eşlenen Object.ReferenceEqualsve kimlik denetler. Açıkça statik olmayan Equalsüyeyi çağırırsanız, dinamik göndermeInt32.Equals , eşitliği kontrol edenbir çağrıyla sonuçlanır.

Her iki kavram da benzerdir, ancak aynı değildir. İlk başta kafa karıştırıcı görünebilirler, ancak küçük fark çok önemlidir! İki kişiyi, yani "Alice" ve "Bob" hayal edin. İkisi de sarı bir evde yaşıyor. Alice ve Bob'un evlerin sadece renklerinin farklı olduğu bir semtte yaşadıkları varsayımına göre, ikisi de farklı sarı evlerde yaşayabilirler. Her iki evi de karşılaştırırsanız, kesinlikle aynı olduklarını, çünkü ikisinin de sarı olduğunu fark edeceksiniz! Ancak aynı evi paylaşmıyorlar ve bu nedenle evleri eşit ama aynı değil . Kimlik, aynı evde yaşadıkları anlamına gelir .

Not : Bazı diller, ===operatörü kimlik kontrolü için tanımlamaktadır .