[오브젝트] 부록 A '계약에 의한 설계'

부록 A에서는 사전조건, 사후조건, 불변식을 알아보고 다형성의 측면에서 슈퍼타입과 서브타입이 준수해야 하는 제약조건을 계약의 관점에서 설명한다.  

 

계약에 의한 설계(Design by Contract, DBC)를 사용하면 협력에 필요한 다양한 제약과 부수효과를 명시적으로 정의하고 문서화할 수 있다(p.535).

 

계약에 의한 설계 구성요소

1. 사전조건 (precondition): 메서드가 호출되기 위해 만족돼야 하는 조건. 요구사항(requires)을 명시하며, 사전조건을 만족시키는 것은 메서드를 실행하는 클라이언트의 의무다. 
2. 사후조건 (postcondition): 메서드가 실행된 후에 클라이언트에게 보장해야 하는 조건. 사후조건(effects)을 서버가 만족시키지 못하면 클라이언트에게 예외를 던져줘야 하며, 이것은 서버의 의무이다. 
3. 불변식 (invariant): 항상 참이라고 보장되는 서버의 조건. 메서드 실행 중에는 불변식을 만족시키지 못할 수도 있지만 메서드를 실행하기 전이나 후에는 불변식이 항상 참이어야 한다. 불변식은 인스턴스 생명주기 전반에 걸쳐 지켜져야 하는 규칙을 명세한다. 클래스의 모든 메서드의 사전조건과 사후조건에 추가되는 공통의 조건으로 생각할 수 있다. 

 

진정한 서브타이핑 관계를 만들고자 한다면, 서브타입에
1. 더 강력한 사전조건이나
2. 더 완화된 사후조건
을 정의해서는 안 된다. 슈퍼타입의 불변식을 유지해야 하고 서브타입에서 슈퍼타입에서 정의하지 않은 예외를 던져서는 안 된다(p.572).