[Java] Type Safe란?

Type Safe(타입 세이프) 란 말그대로 타입에 안정적인 것을 의미합니다.타입에 불안정적이다 라고 하는것은 타입을 판별(Type Check) 하지 못해 Runtime 시 타입으로 인한 문제가 발생하는 것입니다.Type Safe 하다 라는 것은 그 반대로 타입을 판별(Type Check) 할 수 있어 Runtime시가 아닌 컴파일시 문제를 잡을 수 있는 것입니다.예를 들어보겠습니다.다음과 같은 상속 관계의 클래스들이 있습니다.물론 실제로 이렇게 클래스들을 설계하는 것은 매우 무의미한 행동이지만 여기서는 예를 들기 위함임을 감안해 주세요.저희 동물원을 객체지향적으로 표현했을 때 최상위 클래스(Object 제외)로 Animal이 있고 그 하위에 Lion과 Duck이 있습니다.Lion 클래스에는 hunt()..