04

main thema : 가상 함수.

가상에 대한 개념은 앞 과제에서 정리.

ex00

목적 : Polymorphism과 virtual 소멸자 및 함수.

Animal클래스를 상속하는 Cat과 Dog클래스를 만들고, 각 동물의 소리 및 소멸자를 가상으로 선언.

다형성(Polymorphism)

다형성(多形性, polymorphism; 폴리모피즘)은 그 프로그래밍 언어의 자료형 체계의 성질을 나타내는 것으로, 프로그램 언어의 각 요소들(상수, 변수, 식, 오브젝트, 함수, 메소드 등)이 다양한 자료형(type)에 속하는 것이 허가되는 성질을 가리킨다. 반댓말은 단형성(monomorphism)으로, 프로그램 언어의 각 요소가 한가지 형태만 가지는 성질을 가리킨다.-위키피디아-

다형성에 의해 객체의 맴버 상황(cast)에 따라 다른 특성을 가질수 있다. 이는 overridng과 virtual같은 키워드 등에 의해 생긴다.

• Animal클래스를 상속하는 Cat과 Dog클래스는 똑같이 void makeSound()라는 함수를 상속받지만, 각자의 구현에 의해 전혀 다르게 동작한다.

ex01

목적 : deep copy

포인터형 맴버를 복사하는 경우,

• 포인터 주소를 그대로 복사하면 얉은 복사.
  • A를 얇은 복사한 객체가 B라면, A가 변경되면 B도 값이 수정된다(포인터만 복사해서).
• 복사할 포인터와 다른 저장공간에 내용을 복사하면 깊은 복사.
  • A를 깊은 복사한 객체가 B라면, A와 B객체는 전혀 다른 객체이다.

얋은 복사는 일반적으로 디폴트 복사생성자/연산자가 쓰는 방식이고, 깊은복사를 하러면 이를 별도로 구현해주어야한다.

deep copy에 따른 영향은 main문 참고.

ex02

목적 : 추상 클래스 구현 및 사용.

인터페이스처럼 인스턴스화 되지 않는 클래스로 animal클래스를 구현한다.

1. 순수 가상함수가 하나라도 있는 클래스는 추상클래스이며, 인스턴스화 불가하다(컴파일 에러 발생).
2. canonical form 및 getter를 선언/정의한다. 인스턴스화가 불가하지만, 자식클래스에서 사용할수도 있으므로.

형태

virtual void makeSound() const = 0;

인스턴스화 시도시 발생하는 컴파일 에러

C++ error: object of abstract class type is not allowed: pure virtual function has no overrider