자바 질문(다형성)

Question

Animal 타입은 Animal 클래스로 생성된 객체를 가리킬 수 있는 변수의 타입을 의미합니다. 즉, Animal 타입은 Animal 클래스의 객체를 참조할 수 있는 변수의 데이터 타입입니다.이게 음 Animal 타입이 Animal 클래스 안의 필드나 메소드를 이용할수 있다는 말인가요?Animal mycat = new Animal();이랑Animal mycat = new Dog();이게 좀 헷갈려요

와플치킨 · Answer

Animal로 선언된 변수는 Animal에 정의된 기능만 쓸 수 있어요.그리고 Dog처럼 Animal의 자식 클래스에는 Animal 객체를 넣을 수 없구요.

siva6 · Answer

Animal이라는 Type은 어떤 멤버를 가지고 있는지만 정의 되어 있다고만 생각하시면 됩니다.Animal mycat = new Dog();이렇게 했다면, mycat은 실제로는 Dog이지만 접근해서 사용할 수 있는 것은 Animal에 정의된 것만 가능합니다.

또닉 · Answer

다형성이 타입/클래스에대한 내용이긴하지만 저 문구 자체는 다형성에 대한 내용이라고 볼순 없습니다.Animal 타입은 Animal 클래스로 생성된 객체를 가리킬 수 있는 변수의 타입을 의미합니다. 즉, Animal 타입은 Animal 클래스의 객체를 참조할 수 있는 변수의 데이터 타입입니다.말을 어렵게 했는데 아래의 문장이면 충분합니다‘클래스’는 ‘타입‘이다클래스는 참조형 타입(자료형)이기 때문에 해당 클래스형 변수를 선언가능하고 Animal mycat그 변수에 들어가는 값의 실상은 참조이므로 new Animal() 생성된 객체(메모리청크)를 가리킵니다그리고 헷갈린다고 한것은 형변환인데, 멤버를 함께 생각하면 이해하기 쉽습니다Animal MakeSound()Dog : Animal 충성()이라고 할때Animal mycat1 = new Animal() 하면 MakeSound() 가 있는 메모리청크가 생성되고 mycat1이 그것을 가리키게 됩니다. Animal mycat2 = new Dog() 는 New Dog() 에서 MakeSound()와 충성()이 있는 메모리청크가 생성되고, 그게 mycat2에 할당될때 부모타입인 Animal로 자동 형변환이 일어납니다(업캐스팅). (이 자동 형변환은 =연산자로 가능한 신택스 슈가일뿐입니다.)그리고 그것을 가리키지만 Animal 타입정의서(클래스 구현코드)에는 충성()이없기때문에 mycat2로는 해당 메서드를 쓸수 없습니다.하지만 mycat2가 가리키는 이미생성된 메모리청크에는 여전히 있기때믄에 역으로 Dog타입으로 다운캐스팅이 가능하고 하면 사용(접근)할 수 있습니다

otonapoi · Answer

Polymorphism과 Method Overriding에 대한 이야기

wharup · Answer

뭔가 문장/예제도 조금씩 빠져있는 것 같아서 제 마음대로 복구해봤습니다.밑에 같은 문장과 예시 아닐까요?Animal이란 클래스가 있고, 이를 상속하는 Cat이랑 Dog이란 클래스가 있을 때타입이 Animal인 변수 myAnimal을 선언해하고, Cat이나 Dog을 클래스를 생성해서 대입하면myAnimal 변수는 Animal 클래스의 변수/메소드만 참조할 수 있습니다.Animal myAnimal = new Cat();Animal myAnimal = new Dog();이 경우라면 Cat, Dog 같은 다양한 클래스가 있더라도동물이라는 개념으로 함께 다룰 수 있다는 점이 다형성의 특징이 되겠네요.나중에 Horse 같은 걸 추가하더라고 Animal로 다루는 코드는 변경이 필요 없고요.

사과맛오렌지 · Answer

Animal mycat = new Dog();이때 mycat 객체는 Animal 클래스 안의 필드와 메소드밖에 호출할 수 없습니다.다만 메소드 호출 시 Dog 클래스에서 override한게 있다면 그 메소드가 호출됩니다.(실제 인스턴스 타입은 Dog이므로...)

자바 질문(다형성)

6개의 답변

기타 목록