Liskov 대체 원칙

객체는 코드의 정확성에 영향을 주지 않고 해당 하위 유형으로 대체 가능해야 합니다

상속(is-a관계)으로 이해해보자
예: 타조는 새, 꼽추는 자동차 등

예: 레이싱카는 자동차입니다

으아악 으아악

RacingCar는 자동차 클래스의 getCabinWidth()를 재정의하지만 이를구현되지 않은 상태로 둡니다. 왜냐하면 경주용 자동차에는 캐빈 폭이 없기 때문입니다(F1 경주용 자동차를 보면 내부 공간이 없으며, 가지고 있는 것은 단지 운전자가 앉는 조종석)
그래서 경주용 자동차의 내부 공간을 조종석이라고 부릅니다.
참고: 레이싱카에는 일반 자동차와 일치하지 않을 수 있는 일부 사양이 있습니다

으아악

3번째 반복에서는 for 루프가 실패하므로 노출된 디자인입니다.
이 문제를 해결하려면 상속 자체인 루트를 공격해야 합니다.

---

해결책 1: (계층 구조 깨기)

우리는 상속을 깨야 합니다. 대신 Car와 RacingCar 모두에 대한 공통 부모를 생각해 낼 것입니다

Vehicle이라는 매우 일반적인 상위 클래스를 생성하겠습니다

으아악 으아악 으아악 으아악

**계층 구조 깨기: 대체가 실패하면 계층 구조 깨기

---

해결책 2:묻지 말고 말하세요

아마존의 또 다른 예를 들어보겠습니다
Amazon은 모든 타사 제품에 대해 x 금액의 할인을 제공합니다.
그리고 모든 사내 제품에 대해 1.5배 x 혜택을 제공합니다(Amazon Basics제품은 Amazon 사내 제품입니다)

으아악 으아악 으아악

if 문은Liskov 대체 원칙에 위배되는 InHouseProduct의 할인 금액을 업데이트하는 데 관련되어 있습니다(대상 Product를 해당 하위 유형 InHouseProduct로 대체할 수 있어야 했기 때문에). 그러나 여기 if 문에서는 수동으로 해서는 안되는 할인금액 업데이트

InHouseProduct 클래스를 약간 수정하면 이 문제가 해결됩니다

으아악

그리고 마침내 PricingUtils 클래스에서 if 문을 제거했습니다

으아악

묻지마 말하세요: 여기서는 utils 클래스에 모든 할인을 인쇄하라고 지시하고 있으며 utils 클래스는 아무것도 묻지 않아도 됩니다(앞서 if 문에서 요청한 것처럼)

---

위 내용은 Liskov 대체 원칙의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!