มีชื่อเฉพาะสำหรับบุคคลที่ผิดธรรมดา“ Square ที่สืบทอดมาจาก Rectangle” หรือไม่?

ความล้มเหลวบางอย่างของ OOP แสดงขึ้นพร้อมกับคลาส Square ที่สืบทอดมาจาก Rectangle โดยที่ Logical Square เป็นความเชี่ยวชาญเฉพาะของ Rectangle และควรสืบทอดมาจากมัน แต่ทุกอย่างจะแยกจากกันเมื่อคุณพยายามเปลี่ยนความยาวหรือความกว้างของ Square

มีคำเฉพาะสำหรับการอธิบายสิ่งที่เกิดขึ้นกับกรณีนี้หรือไม่?

วิกิพีเดียอ้างถึงว่าเป็นปัญหาของวง - วงรี

ปัญหาวงกลมวงรีในการพัฒนาซอฟต์แวร์ (บางครั้งเรียกว่าปัญหาตารางสี่เหลี่ยม ) แสดงให้เห็นถึงจำนวนของข้อผิดพลาดซึ่งสามารถเกิดขึ้นเมื่อมีการใช้หลายรูปแบบชนิดย่อยในการสร้างแบบจำลองวัตถุ ปัญหาที่พบบ่อยที่สุดเมื่อใช้การเขียนโปรแกรมเชิงวัตถุ

นี่คือ L ในตัวย่อที่SOLIDซึ่งเป็นที่รู้จักกันในหลักการทดแทน Liskov ปัญหานี้เกิดขึ้นจากการละเมิดหลักการดังกล่าว

ปัญหาเกี่ยวข้องกับความสัมพันธ์ย่อยหรือการสืบทอดที่ควรมีอยู่ระหว่างคลาสที่แสดงถึงวงกลมและจุดไข่ปลา (หรือในทำนองเดียวกันสี่เหลี่ยมและสี่เหลี่ยม) โดยทั่วไปปัญหาแสดงให้เห็นถึงความยากลำบากที่สามารถเกิดขึ้นได้เมื่อชั้นฐานมีวิธีการที่กลายพันธุ์วัตถุในลักษณะที่อาจทำให้ค่าคงที่ (แข็งแกร่ง) ที่พบในชั้นเรียนกลายเป็นโมฆะทำให้หลักการแทน Liskov ถูกละเมิด ...

ฉันคิดว่านี่เป็นการละเมิดหลักการทดแทน Liskov - Squareคลาสย่อยละเมิดการเปลี่ยนแปลงที่มีความยาวและความกว้างโดยเฉพาะ

ในระดับพื้นฐานมากกว่าหลักการทดแทน Liskov นี่เป็นข้อผิดพลาดหมวดหมู่หรือข้อผิดพลาดหมวดหมู่

ในบริบทของพฤติกรรมการสร้างแบบจำลองสแควร์ก็ไม่ใช่ประเภทของรูปสี่เหลี่ยมผืนผ้า

เมื่อคุณตระหนักถึงปัญหานี้จะหายไปนับตั้งแต่การสันนิษฐานเบื้องต้น (สี่เหลี่ยมจัตุรัสเป็นประเภทสี่เหลี่ยมจัตุรัส) ถูกลบออกจากการเล่น

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