Ejemplo del principio de sustitución de Liskov (LSP)

LSP_Animal.Refactorizado.cs

namespace LSP_Animal.Refactorizado
{
    public abstract class Animal
    {
        public abstract void Alimentar();
    }

    public interface IMascota
    {
        void Acariciar();
    }

    public class Perro : Animal, IMascota
    {
        public override void Alimentar()
        {
            // Alimentar al perro
        }

        public void Acariciar()
        {
            // Acariciar al perro
        }
    }

    public class Escorpion : Animal
    {
        public override void Alimentar()
        {
            // Alimentar al escorpion
        }
    }
}

LSP_Animal.SinRefactorizar.cs

namespace LSP_Animal.SinRefactorizar
{
    public abstract class Animal
    {
        public abstract void Alimentar();
        public abstract void Acariciar();
    }

    public class Perro : Animal
    {
        public override void Alimentar()
        {
            // Alimentar al perro
        }

        public override void Acariciar()
        {
            // Acariciar al perro
        }
    }

    public class Escorpion : Animal
    {
        public override void Alimentar()
        {
            // Alimentar al escorpion
        }

        public override void Acariciar()
        {
            // Estas loco ????!
        }
    }
}