Open kmw2378 opened 4 months ago
서브 타입의 사전 조건이 기존보다 더 강해지면 파라미터 문맥이 제한되므로 클라이언트 입장에서 사용 경험이 이전과 달라져 협력이 깨진다고 이해했습니다. 이 경우 서브 타입이 부모 타입의 모든 퍼블릭 인터페이스를 구현한다고 해도 클라이언트 관점에서 서브 타입이 부모 타입을 대체하지 못하므로 LSP를 위반한다고 생각합니다! 다른분들 의견은 어떠실까요?
서브 타입의 사전 조건이 기존보다 더 강해지면 파라미터 문맥이 제한되므로 클라이언트 입장에서 사용 경험이 이전과 달라져 협력이 깨진다고 이해했습니다. 이 경우 서브 타입이 부모 타입의 모든 퍼블릭 인터페이스를 구현한다고 해도 클라이언트 관점에서 서브 타입이 부모 타입을 대체하지 못하므로 LSP를 위반한다고 생각합니다! 다른분들 의견은 어떠실까요?