관찰 가능한 결과
Ada@1 / Linus@3
생성자와 불변식의 성공과 실패 증거
한 인자 생성자는 기본 level을 채워 주 생성자에 위임하므로 검증 경로가 하나입니다.
왜 실패하는가
한 인자 생성자는 기본 level을 채워 주 생성자에 위임하므로 검증 경로가 하나입니다.
코드에 남길 계약
좋은 생성자는 필드를 채우는 함수가 아니라 객체가 유효하다는 사실을 보장하는 입구입니다.
관찰 증거 좋은 생성자는 필드를 채우는 함수가 아니라 객체가 유효하다는 사실을 보장하는 입구입니다.