LSP(Liskov Substitution Principle) 리스코프 치환 원칙이란 자식 클래스는 자신의 부모 클래스를 대체할 수 있다는 것을 말한다. 리스코프 치환 원칙은 바바라 리스코프가 '자료 추상화와 계층'이라는 제목으로 기초 연설을 한 1987년 콘퍼런스에서 처음 소개한 내용으로, 이 원칙을 엄밀한 용어로 말하자면 (강한) 행동적 하위형화라고 부르는 하위형화 관계의 특정한 사례이다. 이 정의는 1994년 논문에서 다음 원칙을 만들어낸 자료형의 의미론적 상호 처리를 보장하기 때문에 단순한 문법적 관계일 뿐만 아니라 의미론적 관계다. 더보기 q(x)를 자료형 T의 객체 x에 대해 증명할 수 있는 속성이라 하자. 그렇다면 S가 T의 하위형이라면 q(y)는 자료형 S의 객체 y에 대해 증명할 수 있어..