Bir zürafa ne zaman bir zürafa değil?

Umarım bu tür "bilmece" Programming Puzzles & Code Golf programında ontopiktir.

Aşağıdaki C # yönteminin geri döndüğüfalse duruma bir örnek verin :

public class Giraffe : Animal
{
  public bool Test()
  {
    return this is Giraffe;
  }
}

Kurallar: Yukarıdaki kod satırları hiçbir şekilde değiştirilmemelidir, ancak "proje" derlenecek ve yöntem çağrılacak şekilde kodu bir uygulamaya koyacaksınız. Çalıştırıldığında, yöntem geri dönmelidir false. Aklımdaki çözüm, çalışma zamanında veya benzer "egzotik" şeylerde kendi IL'sini yaymıyor, sıradan bir örnek yöntem çağrısı.

Yay, buldum!

public class Animal
{
    public class Giraffe { } // 1
}
public class Giraffe : Animal // 2
{
    public bool Test()
    {
        return this is Giraffe;
    }
}

Bu yana Giraffe 1bir üyesidir Animalve Giraffe 2bir seviye daha dışarı, adı Giraffeiçinde istesti (Cı 5. spec bölüm 7.6.2) önceki belirtmektedir.

Visual Studio aşağıdakiler için bir uyarı gösterir this is Giraffe:

Verilen ifade hiçbir zaman sağlanan tipte değildir.

Bu kesinlikle doğru, çünkü asıl mesele bu :)

Giraffe 1Doğrudan içine koyamazsınız Giraffe 2çünkü

üye adları, ek türleriyle aynı olamaz

- ama türetilmiş sınıflar için böyle bir kural yoktur.

Düzgün bir sorun, biraz zaman aldı.