Kiedy żyrafa nie jest żyrafą?

Mam nadzieję, że ten rodzaj „zagadki” jest ontopyczny w Programowaniu łamigłówek i Code Golf.

Podaj przykład sytuacji, w której poniższa metoda C # zwracafalse :

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

Reguły: Powyższe wiersze kodu nie mogą być w żaden sposób zmieniane, ale należy umieścić kod w aplikacji, aby kompilacja „projektu” i wywołanie metody Po uruchomieniu metoda musi zwrócić false. Rozwiązanie, które mam na myśli, nie emituje własnej IL w czasie wykonywania ani podobnych „egzotycznych” rzeczy, jest to zwykłe wywołanie metody instancji.

Tak, znalazłem to!

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

Ponieważ Giraffe 1jest członkiem Animali Giraffe 2jest o jeden poziom dalej, nazwa Giraffew isteście odnosi się do pierwszej (sekcja 7.6.2 specyfikacji C # 5).

Visual Studio wyświetla ostrzeżenie dla this is Giraffe:

Podane wyrażenie nigdy nie jest podanego typu

co jest oczywiście prawdą, ponieważ o to chodzi :)

Nie możesz umieścić Giraffe 1bezpośrednio w środku Giraffe 2, ponieważ

nazwy członków nie mogą być takie same jak ich typ zamknięcia

- ale taka zasada nie istnieje dla klas pochodnych.

Niezły problem, zajęło mi to trochę czasu.