Bu Sparta mı yoksa değil mi?

Aşağıdaki bir mülakat sorusudur. Bir çözüm buldum ama neden işe yaradığından emin değilim.

Soru:

SpartaSınıfı değiştirmeden, MakeItReturnFalsegeri dönüş yapan bir kod yazın false.

public class Sparta : Place
{
    public bool MakeItReturnFalse()
    {
        return this is Sparta;
    }
}

Benim çözümüm: (SPOILER)

public class Place
{
public interface Sparta { }
}

Ama neden yok Spartaiçinde MakeItReturnFalse()başvurmak {namespace}.Place.Spartayerine {namespace}.Sparta?

Ama neden yok Spartaiçinde MakeItReturnFalse()başvurmak {namespace}.Place.Spartayerine {namespace}.Sparta?

Temel olarak, çünkü ad arama kurallarının söylediği budur. C # 5 belirtiminde, ilgili adlandırma kuralları bölüm 3.8'de ("Ad alanı ve tür adları") bulunmaktadır.

İlk iki madde işareti - kısaltılmış ve açıklamalı - okuyun:

• Ad-alanı-veya-tür-adı formda Iveya formdaysa I<A1, ..., AK> [bizim durumumuzda K = 0] :
  • K sıfırsa ve ad alanı veya tür adı genel bir yöntem bildiriminde görünüyorsa [hayır, genel yöntem yok]
  • Aksi takdirde, ad alanı veya tür adı bir tür bildiriminde görünürse, o tür bildiriminin örnek türünden başlayarak ve her çevreleyen sınıfın örnek türüyle devam ederek her örnek türü için T (§10.3.1) veya struct bildirimi (varsa):
    • Eğer Ksıfır ve beyanı Tadıyla bir tür parametresi içerir I, daha sonra isim ya da tipi adı bu tür parametresine karşılık gelir. [Hayır]
    • Aksi takdirde, ad-alanı-veya-tür-adı, tür bildiriminin gövdesinde görünürse ve T veya temel türlerinden herhangi biri, ad Ive Ktür parametrelerine sahip iç içe erişilebilir bir tür içeriyorsa , ad alanı veya tür adı buna başvurur. verilen tür bağımsız değişkenleriyle oluşturulan tür.[Bingo!]
• Önceki adımlar başarısız olduysa N, her ad alanı için ad alanı veya tür adının geçtiği ad alanından başlayarak, her bir ad alanını çevreleyen (varsa) devam eden ve genel ad alanıyla biten aşağıdaki adımlar değerlendirilir. bir varlık bulunana kadar:
  • Eğer Ksıfırdır ve Ibir ad adıdır N, o zaman ... [Evet, bu olur başarılı]

Bu son madde işareti noktası Yani alır ne Sparta sınıfını İlk kurşun şey bulamazsa ... ama taban sınıfı ne zaman Placebir arabirim tanımlar Sparta, bu tespit alır önce düşündüğümüz Spartasınıfı.

İç içe türü Place.Spartabir arabirim yerine bir sınıf yaparsanız, yine de derler ve geri döner false- ancak derleyici bir uyarı verir çünkü bir örneğinin Spartaasla sınıfın bir örneği olmayacağını bilir Place.Sparta. Aynı şekilde, Place.Spartabir arabirimi tutup Spartasınıfı sealedyaparsanız, hiçbir Spartaörnek arabirimi uygulayamayacağı için bir uyarı alırsınız .

Bir ismi değerine çözümlerken, belirsizlikleri çözmek için tanımın "yakınlığı" kullanılır. Hangi tanım "en yakın" ise, seçilmiş olanıdır.

Arayüz Sparta, bir temel sınıf içinde tanımlanmıştır. Sınıf Sparta, içeren ad alanında tanımlanır. Bir temel sınıf içinde tanımlanan şeyler, aynı ad alanında tanımlanan şeylerden "daha yakındır".

Güzel soru! Günlük olarak C # yapmayanlar için biraz daha uzun bir açıklama eklemek istiyorum ... çünkü soru genel olarak ad çözümleme sorunlarının iyi bir hatırlatıcısıdır.

Aşağıdaki şekillerde biraz değiştirilmiş orijinal kodu alın:

• Orijinal ifadedeki gibi karşılaştırmak yerine tür adlarını yazdıralım (ör. return this is Sparta ) .
• Arayüzü tanımlayalım Athena.PlaceArayüz adı çözümlemesini göstermek üst sınıfta .
• Ayrıca , her şeyi çok netleştirmek thisiçin Spartasınıfta bağlı olduğu gibi tür adını da yazdıralım .

Kod şuna benzer:

public class Place {
    public interface Athena { }
}

public class Sparta : Place
{
    public void printTypeOfThis()
    {
        Console.WriteLine (this.GetType().Name);
    }

    public void printTypeOfSparta()
    {
        Console.WriteLine (typeof(Sparta));
    }

    public void printTypeOfAthena()
    {
        Console.WriteLine (typeof(Athena));
    }
}

Şimdi bir Spartanesne oluşturuyoruz ve üç yöntemi çağırıyoruz.

public static void Main(string[] args)
    {
        Sparta s = new Sparta();
        s.printTypeOfThis();
        s.printTypeOfSparta();
        s.printTypeOfAthena();
    }
}

Elde ettiğimiz çıktı:

Sparta
Athena
Place+Athena

Ancak, Place sınıfını değiştirir ve Sparta arabirimini tanımlarsak:

   public class Place {
        public interface Athena { }
        public interface Sparta { } 
    }

o zaman bu Sparta- arayüz - ilk önce ad arama mekanizmasına sunulacak ve kodumuzun çıktısı şu şekilde değişecek:

Sparta
Place+Sparta
Place+Athena

Bu nedenle, sayfadaki tür karşılaştırmasını etkili bir şekilde MakeItReturnFalse , ilk önce ad çözümlemesiyle bulunan, süper sınıfta Sparta arayüzünü tanımlayarak, fonksiyon tanımındaki .

Peki C # neden ad çözümlemesinde süper sınıfta tanımlanan arayüzlere öncelik vermeyi seçti? @JonSkeet biliyor! Cevabını okursanız, ad çözümleme protokolünün ayrıntılarını C # olarak alacaksınız.