자바의 정석 ch7-23 다형성 (polymorphism)

다형성 (polymorphism)

• 여러 가지 형태를 가질 수 있는 능력
• 조상 타입 참조 변수로 자손 타입 객체를 다루는 것

---

객체와 참조변수 타입이 일치할 때와 일치 하지 않을때의 차이?

// SmartTV가 Tv를 extends 하고 있을 때
SmartTv s = new SmartTv(); // 참조 변수와 인스턴스 타입이 일치
TV      t = new SmartTV(); // 조상 타입 참조변수로 자손 타입 인스턴스 참조

---

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

TV      t = new SmartTV();  // OK. 허용
SmartTV s = new TV();       // 에러. 허용 안됨