CH7-1 · MODEL

클래스와 객체의 책임의 성공과 실패 증거

같은 Account 클래스로 만든 두 객체가 각자의 balance를 독립적으로 보관합니다.

성공 출력

관찰 가능한 결과

Ada:100 / Linus:40

실패 경계

왜 실패하는가

같은 Account 클래스로 만든 두 객체가 각자의 balance를 독립적으로 보관합니다.

선택 기준

코드에 남길 계약

클래스를 설계할 때는 어떤 데이터를 갖는가보다 그 데이터의 유효성을 누가 책임지는가를 먼저 정해야 합니다.

관찰 증거 클래스를 설계할 때는 어떤 데이터를 갖는가보다 그 데이터의 유효성을 누가 책임지는가를 먼저 정해야 합니다.