Kalıtım hiyerarşisinde Liskov ikame ilkesi nasıl doğrulanır?

Bu yanıttan ilham alındı :

Liskov İkame İlkesi şunu gerektirir :

• Bir alt tipte önkoşullar güçlendirilemez.
• Alt koşullar bir alt türde zayıflatılamaz.
• Süpertipin değişmezleri bir alt tipte korunmalıdır.
• Geçmiş kısıtı ("geçmiş kuralı"). Nesneler yalnızca yöntemleri (kapsülleme) yoluyla değiştirilebilir olarak kabul edilir. Alt tipler, üst tipte bulunmayan yöntemler getirebileceğinden, bu yöntemlerin eklenmesi, alt tipte üst tipte izin verilmeyen durum değişikliklerine izin verebilir. Tarih kısıtı bunu yasaklar.

Birinin bu 4 noktayı ihlal eden bir sınıf hiyerarşisi yayınlayıp yayınlamayacağını ve bunları nasıl çözeceğini umuyordum.
Hiyerarşideki 4 noktanın her birini nasıl tanımlayacağınız ve düzeltmenin en iyi yolu hakkında eğitim amaçlı ayrıntılı bir açıklama arıyorum.

Not:
İnsanların üzerinde çalışması için bir kod örneği göndermeyi umuyordum, ancak sorunun kendisi hiyerarşilerin nasıl tanımlanacağıyla ilgili :)

Bu alıntıyı ses çıkardığından çok daha basit, olduğu gibi doğru.

Bir miras hiyerarşisine baktığınızda, temel sınıfın bir nesnesini alan bir yöntem düşünün. Şimdi kendinize sorun, bu yöntemi düzenleyen birinin o sınıf için geçersiz olacağı varsayımları var mı?

Örneğin ( aslen Bob Amca'nın sitesinde görülür ):

public class Square : Rectangle
{
    public Square(double width) : base(width, width)
    {
    }

    public override double Width
    {
        set
        {
            base.Width = value;
            base.Height = value;
        }
        get
        {
            return base.Width;
        }
    }

    public override double Height
    {
        set
        {
            base.Width = value;
            base.Height = value;
        }
        get
        {
            return base.Height;
        }
    }
}

Yeterince adil görünüyor değil mi? Square adında, Genişliğin her zaman Yüksekliğe eşit olması gerektiğini savunan özel bir tür Dikdörtgen oluşturdum. Kare bir dikdörtgendir, bu yüzden OO ilkelerine uyar, değil mi?

Ama bekleyin, biri şimdi bu yöntemi yazarsa:

public void Enlarge(Rectangle rect, double factor)
{
    rect.Width *= factor;
    rect.Height *= factor;
}

Hiç hoş değil. Ancak bu yöntemin yazarının potansiyel bir sorun olabileceğini bilmesi için hiçbir neden yoktur.

Bir sınıfı diğerinden türettiğiniz her seferinde, temel sınıfı ve insanların bu konuda ne alabileceğini düşünün (örneğin, "bir Genişliği ve Yüksekliği vardır ve ikisi de bağımsız olacaktır"). O zaman "bu varsayımlar alt sınıfımda geçerliliğini koruyor mu?" Diye düşünün. Değilse, tasarımınızı yeniden düşünün.