วิธีการตรวจสอบหลักการทดแทน Liskov ในลำดับชั้นการสืบทอด?

แรงบันดาลใจจากคำตอบนี้ :

หลักการทดแทน Liskov ต้องการ สิ่งนั้น

• เงื่อนไขเบื้องต้นไม่สามารถเสริมความแข็งแกร่งในประเภทย่อย
• Postconditions ไม่สามารถลดลงในประเภทย่อย
• ค่าคงที่ของซูเปอร์ไทป์จะต้องเก็บรักษาไว้ในประเภทย่อย
• ข้อ จำกัด ประวัติ ("กฎประวัติศาสตร์") วัตถุนั้นได้รับการยกย่องว่าสามารถปรับเปลี่ยนได้ด้วยวิธีการของพวกเขาเท่านั้น (encapsulation) เนื่องจากชนิดย่อยอาจแนะนำวิธีการที่ไม่ปรากฏใน supertype การแนะนำวิธีการเหล่านี้อาจอนุญาตให้มีการเปลี่ยนแปลงสถานะในชนิดย่อยที่ไม่อนุญาตใน supertype ข้อ จำกัด ประวัติห้ามสิ่งนี้

ฉันหวังว่าถ้ามีคนจะโพสต์ลำดับชั้นของชั้นเรียนที่ละเมิด 4 คะแนนและจะแก้ไขได้อย่างไร
ฉันกำลังมองหาคำอธิบายอย่างละเอียดเพื่อจุดประสงค์ด้านการศึกษาเกี่ยวกับวิธีระบุแต่ละจุดในลำดับชั้นและวิธีที่ดีที่สุดในการแก้ไข

หมายเหตุ:
ฉันหวังว่าจะโพสต์ตัวอย่างโค้ดเพื่อให้คนทำงาน แต่คำถามนั้นเกี่ยวกับวิธีระบุลำดับชั้นผิดพลาด :)

มันง่ายกว่าคำพูดนั้นทำให้ฟังดูแม่นยำและแม่นยำ

เมื่อคุณดูลำดับชั้นการสืบทอดให้จินตนาการถึงวิธีการที่ได้รับวัตถุของคลาสพื้นฐาน ตอนนี้ถามตัวเองว่ามีข้อสันนิษฐานใด ๆ ที่ใครบางคนกำลังแก้ไขวิธีการนี้อาจทำให้สิ่งที่ไม่ถูกต้องสำหรับชั้นเรียน

ตัวอย่างเช่น ( แต่เดิมเห็นในเว็บไซต์ของลุงบ็อบ ):

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

ดูเหมือนยุติธรรมพอใช่ไหม ฉันได้สร้างสี่เหลี่ยมผืนผ้าชนิดผู้เชี่ยวชาญที่เรียกว่า Square ซึ่งรักษาความกว้างนั้นต้องเท่ากับความสูงตลอดเวลา สี่เหลี่ยมจตุรัสเป็นสี่เหลี่ยมดังนั้นมันจึงเหมาะกับหลักการ OO ใช่ไหม

แต่เดี๋ยวก่อนจะเกิดอะไรขึ้นถ้ามีคนเขียนวิธีนี้:

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

ไม่เท่ห์ แต่ไม่มีเหตุผลที่ผู้เขียนวิธีการนี้ควรจะรู้ว่าอาจมีปัญหาที่อาจเกิดขึ้น

ทุกครั้งที่คุณได้คลาสหนึ่งจากคลาสอื่นให้คิดถึงคลาสพื้นฐานและสิ่งที่ผู้คนอาจคิดเกี่ยวกับมัน (เช่น "มันมีความกว้างและความสูงและพวกเขาทั้งคู่จะเป็นอิสระ") จากนั้นคิดว่า "สมมติฐานเหล่านั้นยังคงใช้ได้ในคลาสย่อยของฉัน" ถ้าไม่คิดใหม่การออกแบบของคุณ