반공변 입력과 공변 반환의 타입 규칙을 지키면 행동 치환도 보장되나요? 사전·사후조건은 어떻게 따로 검사하나요?

꼬리 질문을 독립 문항으로 확장했습니다. 원래 문항에서 맥락 보기 →

잠깐, 답변을 보기 전에
먼저 내 말로 설명해 볼까요?

답변과 점검 포인트 펼치기답변 접기

구두 답변

정의를 외우기보다, 원리와 조건을 연결해 설명해 보세요.

타입 variance는 허용 입력·반환 타입의 관계를 검사하지만 예외·상태·부수 효과·성능 약속의 행동 호환을 모두 증명하지 않습니다. 하위 타입은 부모의 유효 입력을 더 좁히거나 결과 보장을 약화하면 안 됩니다.

client가 의존하는 최소 계약을 명시하고 모든 구현에 같은 시험을 적용합니다. 계약에 없는 구현 우연을 모두 고정하지 않습니다. 읽기·변경 역할을 분리하면 불필요한 치환 충돌을 줄일 수 있습니다.

이해가 드러나는 지점을 확인해 보세요.

타입 variance는 허용 입력·반환 타입의 관계를 검사하지만 예외·상태·부수 효과·성능 약속의 행동 호환을 모두 증명하지 않습니다. 하위 타입은 부모의 유효 입력을 더 좁히거나 결과 보장을 약화하면 안 됩니다.
읽기·변경 역할을 분리하면 불필요한 치환 충돌을 줄일 수 있습니다.

놓치기 쉬운 조건과 오해를 짚어 보세요.

다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: 타입 variance는 허용 입력·반환 타입의 관계를 검사하지만 예외·상태·부수 효과·성능 약속의 행동 호환을 모두 증명하지 않습니다.

하나 더 질문하며 이해의 범위를 넓혀 보세요.

득점·감점 포인트는 학습용 자기 점검 기준이며, 특정 회사의 실제 채점표가 아닙니다.

답변을 보충하는 개념·예제·슈도코드를 읽어 보세요.