Ini Sparta, atau apakah itu?

Berikut ini adalah pertanyaan wawancara. Saya datang dengan solusi, tetapi saya tidak yakin mengapa itu berhasil.

Pertanyaan:

Tanpa mengubah Spartakelas, tulis beberapa kode yang menghasilkan MakeItReturnFalsereturn false.

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

Solusi saya: (SPOILER)

public class Place
{
public interface Sparta { }
}

Tapi kenapa Spartadi MakeItReturnFalse()rujuk {namespace}.Place.Spartabukan {namespace}.Sparta?

Tapi kenapa Spartadi MakeItReturnFalse()rujuk {namespace}.Place.Spartabukan {namespace}.Sparta?

Pada dasarnya, karena itulah yang dikatakan oleh aturan pencarian nama. Dalam spesifikasi C # 5, aturan penamaan yang relevan ada di bagian 3.8 ("Namespace dan nama jenis").

Beberapa peluru pertama - terpotong dan diberi catatan - baca:

• Jika namespace-or-type-name adalah dari bentuk Iatau bentuk I<A1, ..., AK> [jadi K = 0 dalam kasus kami] :
  • Jika K adalah nol dan namespace-or-type-name muncul dalam deklarasi metode umum [tidak, tidak ada metode generik]
  • Sebaliknya, jika namespace-or-type-name muncul dalam deklarasi tipe, maka untuk setiap instans tipe T (§10.3.1), dimulai dengan tipe instans dari deklarasi tipe tersebut dan dilanjutkan dengan tipe instans dari setiap kelas yang melingkupi atau deklarasi struct (jika ada):
    • Jika Knol dan deklarasi Tmenyertakan parameter tipe dengan nama I, maka namespace-or-type-name merujuk ke parameter tipe itu. [Nggak]
    • Jika tidak, jika namespace-or-type-name muncul di dalam isi deklarasi type, dan T atau salah satu tipe dasarnya berisi tipe yang dapat diakses bersarang yang memiliki parameter nama Idan Ktipe, maka namespace-or-type-name merujuk padanya tipe yang dibangun dengan argumen tipe yang diberikan. [Bingo!]
• Jika langkah sebelumnya tidak berhasil, untuk setiap namespace N, dimulai dengan namespace di mana namespace-or-type-name terjadi, dilanjutkan dengan setiap namespace penutup (jika ada), dan diakhiri dengan namespace global, langkah-langkah berikut dievaluasi sampai entitas berada:
  • Jika Knol dan Imerupakan nama namespace di N, maka ... [Ya, itu akan berhasil]

Jadi poin terakhir itulah yang mengambil Sparta kelas jika poin pertama tidak menemukan apa pun ... tetapi ketika kelas dasar Placemendefinisikan antarmuka Sparta, itu ditemukan sebelum kita mempertimbangkanSparta kelas.

Perhatikan bahwa jika Anda menjadikan tipe bertingkat Place.Spartasebagai kelas daripada antarmuka, ia masih mengkompilasi dan mengembalikan false- tetapi kompilator mengeluarkan peringatan karena tahu bahwa instance dari Spartatidak akan pernah menjadi instance kelas Place.Sparta. Demikian juga jika Anda menyimpan Place.Spartaantarmuka tetapi membuat Spartakelas sealed, Anda akan mendapatkan peringatan karena tidak ada Spartainstance yang dapat mengimplementasikan antarmuka tersebut.

Saat menentukan nama sesuai nilainya, "kedekatan" dari definisi tersebut digunakan untuk menyelesaikan ambiguitas. Definisi apapun yang "paling dekat" adalah definisi yang dipilih.

Antarmuka Spartadidefinisikan dalam kelas dasar. Kelas Spartadidefinisikan dalam namespace yang memuat. Hal-hal yang didefinisikan dalam kelas dasar "lebih dekat" daripada hal-hal yang didefinisikan dalam namespace yang sama.

Pertanyaan yang indah! Saya ingin menambahkan penjelasan yang sedikit lebih panjang untuk mereka yang tidak melakukan C # setiap hari ... karena pertanyaan ini merupakan pengingat yang baik tentang masalah resolusi nama secara umum.

Ambil kode aslinya, sedikit dimodifikasi dengan cara berikut:

• Mari kita cetak nama tipe daripada membandingkannya seperti pada ekspresi asli (yaitu return this is Sparta).
• Mari tentukan antarmuka Athenadi filePlace superclass untuk mengilustrasikan resolusi nama antarmuka.
• Mari kita juga mencetak nama tipe thiskarena terikat di Spartakelas, hanya untuk memperjelas semuanya.

Kodenya terlihat seperti ini:

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));
    }
}

Kami sekarang membuat Spartaobjek dan memanggil tiga metode.

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

Output yang kami dapatkan adalah:

Sparta
Athena
Place+Athena

Namun, jika kita memodifikasi kelas Place dan mendefinisikan antarmuka Sparta:

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

maka inilah Sparta- antarmuka - yang akan tersedia terlebih dahulu untuk mekanisme pencarian nama dan keluaran kode kita akan berubah menjadi:

Sparta
Place+Sparta
Place+Athena

Jadi kami secara efektif mengacaukan perbandingan tipe dalam MakeItReturnFalsedefinisi fungsi hanya dengan mendefinisikan antarmuka Sparta di superclass, yang ditemukan pertama kali oleh resolusi nama.

Tetapi mengapa C # memilih untuk memprioritaskan antarmuka yang ditentukan dalam superclass dalam resolusi nama? @JonSet tahu! Dan jika Anda membaca jawabannya, Anda akan mendapatkan detail dari protokol resolusi nama di C #.