SOLID prinsiplari ichida qaysi biri amalda qo'llashda…

Barbara Liskovning o'rnini almashtirish prinsipi (LSP).

Qiyinchilik shundaki, LSP buzilishi har doim birinchi qarashda aniq bo'lmaydi va faqat subklasslarni foydalanishda, asosiy klassning kutilyotgan xulq-atvorida aniqlanishi mumkin. Bu, asosiy klassning kutilayotgan xulq-atvorini chuqur tushunishni va sinovlarni talab qiladi.

Buzilish misoli:

class Rectangle {
    var width: Double = 0
    var height: Double = 0

    func setWidth(_ width: Double) { self.width = width }
    func setHeight(_ height: Double) { self.height = height }

    func area() -> Double { width * height }
}

class Square: Rectangle {
    override func setWidth(_ width: Double) {
        super.setWidth(width)
        super.setHeight(width) // LSP buzilishi: kenglikni o'zgartirish balandlikka ta'sir qiladi
    }

    override func setHeight(_ height: Double) {
        super.setHeight(height)
        super.setWidth(height) // LSP buzilishi: balandlikni o'zgartirish kenglikka ta'sir qiladi
    }
}

Agar Square ni Rectangle kutilyotgan joyda ishlatsangiz, Square ning faqat bir tomonini (kenglik yoki balandlik) o'zgartirish xulq-atvori, asosiy klass Rectangle ning bunday xulq-atvori bo'lmagani uchun, oldindan aytib bo'lmaydigan natijalarga olib keladi.

LSP buzilishlarini oldini olish uchun, odatda, klasslar hierarxiyasini qayta ko'rib chiqish, meros o'rniga kompozitsiyani qo'llash yoki yanada abstrakt interfeyslar/protokollarni joriy etish zarur. Bu, dastlabki bosqichlarda dizaynga murakkablik qo'shishi mumkin.

Taqqoslash jadvali:

SOLID tamoyili	Qisqa tavsifi	LSP ni qo'llashdagi asosiy qiyinchilik
S (SRP)	Bir klass - o'zgarish uchun yagona sabab	"Yagona sabab" ni topish
O (OCP)	Kengaytirishga ochiq, o'zgartirishga yopiq	Abstraktsiyalarni to'g'ri ishlatish
L (LSP)	Subklasslar, asosiy klasslar bilan almashtirilishi mumkin bo'lishi kerak	Buzilishlar aniq emas, asosiy klass shartnomasini tushunishni talab qiladi
I (ISP)	Mijozlar, foydalanilmaydigan metodlarga bog'lanmasligi kerak	Interfeyslarni bo'lish
D (DIP)	Abstraktsiyalarga bog'liqlik, aniq implementatsiyalarga emas	Bog'liqliklarni inject qilish

SOLID prinsiplari ichida qaysi biri amalda qo'llashda eng qiyin bo'ladi?