Se você acha que, porque todo quadrado é um retângulo na geometria, também deve ser em um sistema, está na hora de rever seus conceitos. Ou você ainda é do tempo que herança se define como “é um”. Um quadrado “é um” retângulo.

Imagine o retângulo:

public class Retangulo
{
    public int Altura {get; set;}
    public int Largura {get; set;}
    public int Area {get; set;}
}

E um quadrado:

public class Quadrado : Retangulo
{
    private int _lado;
    public int Altura 
    {
        get
        { return _lado; }
        set
        {
            this._lado = value;
        }
    }
    //mesma coisa para largura
    //usando a variável _lado
}

Neste caso, um quadrado herda de um retângulo. Só que, em um retângulo, os lados variam independentemente. O que acontece com este teste unitário se ele receber um quadrado?

public void Area_eh_igual_altura_vezes_largura()
{
    Retangulo r = ObterRetangulo();
    r.Altura = 10;
    r.Largura = 5;
    Assert.AreEqual(50, r.Area);
}

Ele falha! Ao setar a largura para 5, acabei setando também a altura, deixando a área com 25, e não 50. Oras, mas um retângulo não é um quadrado?

A questão é que, neste caso, não é. Ele é conceitualmente, mas não no caso de reaproveitamento de código hierarquicamente, que é o que herança faz. Herança não tem nada a ver com “é um”. Esse conceito até ajuda, mas não é sempre verdadeiro, como acabo de mostrar.

O quadrado quebra o Princípio de substituição de Liskov, onde uma classe filha deve substituir plenamente uma classe base. Se um conceito era válido na base, deve ser válido na filha. Nesse caso, o conceito é que os lados variam independentemente, o que não foi respeitado pelo quadrado. Em sistemas, se você não respeita o princípio, a aplicação de polimorfismo pode acabar introduzindo bugs horrorosos, como foi exatamente o caso com o teste.