final로 확장 경계를 닫을 수 있다
변경되면 계약이 깨지는 클래스나 메서드는 final로 하위 재정의를 막습니다.
상속과 super: 실제 코드에서 남는 경계
변경되면 계약이 깨지는 클래스나 메서드는 final로 하위 재정의를 막습니다.
하위 타입은 상위 타입의 약속을 지킨다
상속은 코드를 재사용하는 문법보다 상위 타입을 기대하는 모든 위치에 하위 객체를 넣을 수 있다는 계약입니다.
확장 조건 상속은 코드를 재사용하는 문법보다 상위 타입을 기대하는 모든 위치에 하위 객체를 넣을 수 있다는 계약입니다.