관찰 가능한 결과
warning / amber
오버라이딩과 동적 디스패치의 성공과 실패 증거
format은 실제 Warning 구현이 실행되지만 color 호출 가능성은 Message라는 정적 타입으로 검사됩니다.
왜 실패하는가
format은 실제 Warning 구현이 실행되지만 color 호출 가능성은 Message라는 정적 타입으로 검사됩니다.
코드에 남길 계약
다형성은 상위 타입으로 호출을 고정하고 실제 객체가 구현을 선택하게 해 조건 분기를 객체 경계로 옮깁니다.
관찰 증거 다형성은 상위 타입으로 호출을 고정하고 실제 객체가 구현을 선택하게 해 조건 분기를 객체 경계로 옮깁니다.