Klasse Verwendung Gefahren brechen Liskov Substitutionsprinzip

Question

In einem Projekt, das ich vor kurzem arbeitete, bemerken, dass einige Methoden, die eine Klasse wurden zu akzeptieren, die zu einer Hierarchie gehört, Code hatten ähnlich wie folgt vor:

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

Nun, das schlug mich als eklatante Verletzung von LSP, denn jetzt , wenn Sie eine Unterklasse eines Hundes, entweder in Produktionscode, Unit-Test-Mock, oder als Teil der Abhängigkeits-Injektion Interceptor dieser Code wird nicht auf die gleiche Weise arbeiten. Ich glaube, diese speziellen Szenario leicht behoben werden kann, durch an sich ändernde Bedingung:

if (animal is Dog) 

Das hat mich allerdings bekam denken:

Gibt es noch andere Gefahren für das aussehen kann LSP brechen in Client-Code?

UPDATE

Nur um zu klären, ich bin für mögliche Gefahren im Code suchen, der die Klasse in einer Hierarchie verwendet. Ich bin mir bewusst, und ich suche keine Probleme mit schlecht konstituierten Hierarchien (z. B. Rechteck - Quadrat - Problem). Ich versuche herauszufinden, nach was ich suchen soll, um sicherzustellen, dass der Code dynamische Mocks, Interceptors, dekorierte Klassen (z. B. LoggingDog) genauso unterstützt wie die ursprüngliche Klasse.

So weit nach dem Durchlaufen der Antworten und Links kann ich sehen, dass die einzige Falle wäre, Typ der Klasse direkt zu verwenden - das ist GetType() Methode direkt oder durch eine andere Technologie zu verwenden. Trotz einiger Kommentare hier is und as Operatoren, und sogar Gießen zu Basistyp wird LSP in diesem Fall nicht brechen, wie Unterklassen werden auf die gleiche Weise wie die ursprüngliche Klasse würde.

Answer 1

Wenn wir für den Moment ignorieren, dass es tatsächlich Fälle, in denen Sie auf eine bestimmte Art werfen müssen in den meisten Fällen das Problem durch eine Änderung der Konstruktion gelöst werden können:

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

Durch diesen Entwurf mit vermeiden wir die Notwendigkeit, in den Code der Verarbeitung der Tiere zu werfen:

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