다형성

조상 타입의 참조변수로 자손 타입 객체를 다루는 것.

즉, 여러가지 형태를 가질 수 있는 능력이다.

 

원래 객체를 생성할 때에는

 

1) SmartTv s = new SmartTv(); 처럼 참조변수와 인스턴스의 타입이 일치했으나

 

2) Tv t = new SmartTv(); 처럼 타입이 불일치 할 수도 있다. - > 이것이 다형성.

     조상           자손

 

이것은 조상-자손 관계에 한해 적용된다.

그러나 좌변 조상, 우변 자손은 변할 수 없다.

자손 타입의 참조변수로는 조상의 객체를 가리킬 수 없다.

 

SmartTv s = new Tv; (x)

Tv t = new SmartTv(); (o)

 

 

참조변수가 조상 타입일 때에는 좀 더 폭 넓은 멤버를 사용할 수 있다.

그러나 자손과 자손의 관계일 때에는 자손의 멤버만 사용 가능하다.