użytkowania Klasa pułapek łamanie zasada podstawienia liskov

Question

W projekcie pracowałem ostatnio zauważyłem, że niektóre metody, które zostały przyjmowanie klasę, która należy do hierarchii, miał kodu podobnego do następującego:

public void Process(Animal animal) { 
    if(animal.GetType() == typeof(Dog)) { 
     Console.WriteLine("We have a dog"); 
    } 
    else { 
     Console.WriteLine("not a dog"); 
    } 
} 

Dobrze, że uderzyło mnie jako rażące naruszenie LSP, ponieważ teraz , jeśli używasz podklasy psa, albo w kodzie produkcyjnym, próbnym testowaniu jednostkowym, albo jako część przechwytującego zależność wtrysku ten kod nie będzie działał w ten sam sposób. Wierzę, że ten konkretny scenariusz może być ustalona z łatwością, zmieniając warunek:

if (animal is Dog) 

To dało mi do myślenia choć:

Czy są jakieś inne pułapki do poszukiwania, które mogą złamać LSP w kodzie klienta?

UPDATE

Właśnie w celu wyjaśnienia, szukam możliwych pułapek w kodzie, który używa klasy w hierarchii. Jestem świadomy i nie szukam problemów z źle skonstruowanymi hierarchiami (np. Prostokąt - kwadratowy problem). Próbuję dowiedzieć się, czego szukać, aby upewnić się, że kod będzie obsługiwał dynamiczne makiety, przechwytywacze, urządzone klasy (na przykład LoggingDog) w taki sam sposób, w jaki obsługuje klasę oryginalną.

Do tej pory po przejrzeniu odpowiedzi i linków widzę, że jedyną pułapką byłoby użycie typu klasy bezpośrednio - to jest metoda GetType() bezpośrednio lub za pomocą innej technologii. Pomimo pewnych komentarzy tutaj operatory, a nawet rzutowanie na typ bazowy nie złamie LSP w tym przypadku, ponieważ podklasy będą oceniać w ten sam sposób co oryginalna klasa.

Answer 1

Jeżeli zignorujemy na chwilę, że faktycznie istnieją przypadki, w których może być konieczne, aby rzucić się do konkretnego typu, w większości przypadków problem można rozwiązać poprzez zmianę motywu:

public class Animal 
{ 
    public virtual void Process() 
    { 
     Console.WriteLine("Animal (not a dog)"); 
    } 
} 

public class Dog : Animal 
{ 
    public override void Process() 
    { 
     Console.WriteLine("We have a dog"); 
    } 
} 

Stosując ten projekt , unikamy potrzeby wrzucania kodu do przetwarzania zwierząt:

var animal = ...; // maybe a Dog, maybe not 
animal.Process();