핵심 인사이트 (3줄 요약)
- 본질: 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)은 하위 타입이 상위 타입을 대체해도 기대한 계약이 깨지지 않게 하는 설계 원칙이다.
- 가치: 클라이언트 코드가 구체 타입 차이를 몰라도 안전하게 동작하게 한다.
- 판단 포인트: 부모-자식 관계를 선언하기 전에 “같은 약속으로 대체 가능한가”를 먼저 검증해야 한다.
Ⅰ. 개요 및 필요성
리스코프 치환 원칙 (Liskov Substitution Principle, LSP)은 하위 타입이 상위 타입을 대체해도 기대한 계약이 깨지지 않게 하는 설계 원칙이다. 상속을 재사용 수단으로만 쓰면 자식 클래스가 부모의 약속을 몰래 바꿔 버리는 문제가 생긴다. 이 개념이 필요한 이유는 상속과 다형성에서 계약 일관성을 지키는 일을 시스템 수준의 규칙으로 끌어올리기 위해서다. 반대로 이를 무시하면 다형성을 믿고 호출한 코드가 런타임에서 예외나 잘못된 결과를 만든다.
아래 그림은 왜 이 주제가 “문제 인식 → 설계 규칙 → 안정화 결과”의 흐름으로 이해되어야 하는지를 압축한다.
┌────────────┐ ┌────────────┐ ┌────────────┐
│ Change │──▶│ LSP │──▶│ Stable │
└────────────┘ └────────────┘ └────────────┘
이 흐름의 핵심은 기능 하나를 설명하는 것이 아니라, 어떤 압력이 들어와도 구조가 흔들리지 않게 만드는 기준을 세우는 데 있다.
- 📢 섹션 요약 비유: 서랍을 용도별로 나누지 않으면 필요한 물건을 찾을 때마다 전체를 뒤집어야 하는 상황과 같다.
Ⅱ. 아키텍처 및 핵심 원리
리스코프 치환 원칙 (Liskov Substitution Principle, LSP)의 핵심 원리는 "상속과 다형성에서 계약 일관성을 지키는 일"을 구현 규칙으로 고정하는 데 있다. 실제 설계에서는 사전조건은 더 강하게 만들지 않고, 사후조건과 불변식을 유지하며 행위를 치환 가능하게 설계한다. 동시에 형식적 상속 구조에만 집착하면 합성보다 나쁜 상속 계층을 늘릴 수 있다.
| 항목 | 설명 | 포인트 |
|---|---|---|
| 핵심 문제 | 상속과 다형성에서 계약 일관성을 지키는 일 | 이 축이 흔들리면 설계 목적이 사라진다 |
| 구현 방식 | 사전조건은 더 강하게 만들지 않고, 사후조건과 불변식을 유지하며 행위를 치환 가능하게 설계한다 | 코드·계층·배포 단위에 일관되게 반영해야 한다 |
| 트레이드오프 | 형식적 상속 구조에만 집착하면 합성보다 나쁜 상속 계층을 늘릴 수 있다 | 복잡도와 운영 비용을 함께 관리해야 한다 |
다음 그림은 입력, 경계, 핵심 규칙, 결과가 어디서 갈리는지 보여 준다.
┌──────────┐ ┌──────────┐ ┌──────────┐ ┌──────────┐
│ Reason │──▶│ Boundary │──▶│ LSP │──▶│ Test │
└──────────┘ └──────────┘ └──────────┘ └──────────┘
이때 중요한 것은 도구 이름보다 경계와 책임의 방향이다. 동일한 기술을 써도 이 방향이 다르면 유지보수성, 테스트성, 운영 난도가 크게 달라진다.
- 📢 섹션 요약 비유: 톱니가 맞게 설계된 기어처럼, 책임과 의존이 맞물려야 힘이 새지 않는다.
Ⅲ. 비교 및 연결
기술사 답안에서는 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)을 단독 정의보다 대안 구조와 함께 써야 경계가 살아난다. 여기서는 원칙 준수 구조 와 원칙 무시 구조 를 대비해 핵심 차이를 정리한다.
| 비교 축 | A | B |
|---|---|---|
| 변경 대응 | 원칙 준수 구조는 상속과 다형성에서 계약 일관성을 지키는 일에 맞춰 영향 범위를 줄인다 | 원칙 무시 구조는 변경이 주변 모듈로 번지기 쉽다 |
| 구조 안정성 | 원칙 준수 구조는 사전조건은 더 강하게 만들지 않고, 사후조건과 불변식을 유지하며 행위를 치환 가능하게 설계한다 | 원칙 무시 구조는 책임과 의존이 섞여 규칙이 흐려진다 |
| 운영 결과 | 원칙 준수 구조는 클라이언트 코드가 구체 타입 차이를 몰라도 안전하게 동작하게 한다 | 원칙 무시 구조는 다형성을 믿고 호출한 코드가 런타임에서 예외나 잘못된 결과를 만든다 |
연결 개념으로는 계약 기반 설계, 상속 같은 주변 주제를 함께 써 주면, 단순 암기보다 적용 맥락이 살아난다.
- 📢 섹션 요약 비유: 전용 공구와 만능 공구를 비교해 보는 순간 어떤 문제가 줄어드는지가 선명해진다.
Ⅳ. 실무 적용 및 기술사 판단
실무에서는 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)을 무조건 채택하기보다 부모-자식 관계를 선언하기 전에 “같은 약속으로 대체 가능한가”를 먼저 검증해야 한다. 아래 체크리스트는 설계 감리 시 최소한으로 확인해야 할 질문이다.
판단 체크리스트
- 변경 이유를 한 문장으로 설명할 수 있는가?
- 공개 인터페이스가 실제 책임보다 넓지 않은가?
- 숨은 결합 없이 단위 테스트가 가능한가?
- 추상화 추가 비용이 얻는 안정성보다 크지 않은가?
답안을 마무리할 때는 “어디에 쓰는가”만이 아니라 “언제 과한가”를 함께 적어야 한다. 그래야 설계 원칙, 패턴, 아키텍처가 구호가 아니라 의사결정 기준으로 읽힌다.
- 📢 섹션 요약 비유: 출항 전 점검표처럼, 적용 조건을 확인해야 원칙이 장식이 아니라 안전장치가 된다.
Ⅴ. 기대효과 및 결론
리스코프 치환 원칙 (Liskov Substitution Principle, LSP)의 기대효과는 분명하다. 클라이언트 코드가 구체 타입 차이를 몰라도 안전하게 동작하게 한다. 다만 형식적 상속 구조에만 집착하면 합성보다 나쁜 상속 계층을 늘릴 수 있다. 결국 기억할 관점은 상속과 다형성에서 계약 일관성을 지키는 일을 구조 규칙으로 만드는 데 있다는 점이다.
- 📢 섹션 요약 비유: 반복해서 꺼내 보는 사용 설명서처럼, 오래 갈 설계일수록 핵심 규칙이 짧고 분명해야 한다.
📌 관련 개념 맵
| 개념 | 연결 포인트 |
|---|---|
| 계약 기반 설계 | 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)을 설계하고 감리할 때 함께 보는 연관 개념 |
| 상속 | 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)을 설계하고 감리할 때 함께 보는 연관 개념 |
| 다형성 | 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)을 설계하고 감리할 때 함께 보는 연관 개념 |
| 합성 우선 | 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)을 설계하고 감리할 때 함께 보는 연관 개념 |
📈 관련 키워드 및 발전 흐름도
[코드 재사용 상속] → [LSP 검증] → [계약 중심 타입 설계]
👶 어린이를 위한 3줄 비유 설명
- 리스코프 치환 원칙 (Liskov Substitution Principle, LSP)은 같은 규칙으로 놀 수 있는 팀원만 같은 유니폼을 입히는 것처럼 약속을 먼저 정하는 거예요.
- 그러면 서로 다른 사람이 해도 같은 규칙으로 움직일 수 있어요.
- 그래서 규모가 커질수록 상속과 다형성에서 계약 일관성을 지키는 일이 더 중요해져요.