SOLID · 세 번째 원칙

자대부 — 자식 카드도 똑같이 긁혀야

LSP

Liskov Substitution

정의

자식 타입은 언제나 부모 타입을 완전히 대체할 수 있어야 한다.
1987년 바버라 리스코프가 정리.

💳

아빠 명의 신용카드를 자식이 들고 가도 마트·주유소에서 아빠 카드와 똑같이 결제돼야 해요. 자식 카드라고 결제 거부·다른 화폐·한도 0원이면 안 되죠. Penguin이 fly()에 예외를 던지면 = 전형적 LSP 위반.

💡 합격 암기 · 자대부

자식이 부모를 대체 — 다섯 번 뱉기. '상위 타입을 하위 타입으로 대체' 정의가 토씨까지 그대로 출제. 통째로 외우기.