[C++] OOP 소멸자의 virtual 키워드

객체지향의 특성 중 다형성의 개념을 적용한 것이다.
다형성은 각각의 객체를 구분하기 위해 함수에 쓰기도 하지만 소멸자에도 사용된다.

 

클래스 내 소멸자에는 왜 virtual 키워드가 붙을까?

먼저, 상속에는 3가지 관계가 존재한다.

• is-a: 데이터 형은 부모 클래스로 선언하고 생성은 자식 클래스로 할당한다.
  • 부모 클래스의 변수와 함수만 호출할 수 있다.
  • 만약, 자식 클래스에 Override 한 함수가 존재한다면 그 함수는 호출 가능하다.
• has-a: 소유관계로서 다른 객체를 포함하여 그 객체의 기능(변수, 함수)을 사용한다.
  • 생성 시 상속받은 부모 클래스부터 호출하고 소멸 시 자식 클래스부터 호출된다.
• is implemented of

#include <iostream>
using namespace std;

class Has {
public:
	Has() {
		cout << "Has 생성자" << endl;
	}
	~Has() {
		cout << "Has 소멸자" << endl;
	}
};

class Base {
private:
	Has* h; // has-a 상속
public:
	Base() {
		h = new Has();
		cout << "Base 생성자" << endl;
	}
	~Base() {
		delete h;
		cout << "Base 소멸자" << endl;
	}
};

class Derived : public Base {
public:
	Derived() {
		cout << "Derived 생성자" << endl;
	}
	~Derived() {
		cout << "Derived 소멸자" << endl;
	}
};

int main()
{
	Base* b1 = new Base();
	Base* b2 = new Derived(); // is-a 상속
	//Derived* d = new Base(); 실행되지 않는다.

	delete b1;
	delete b2;
}


// 출력
// Has 생성자 // b1
// Base 생성자 // b1
// Has 생성자 // b2
// Base 생성자 // b2
// Derived 생성자 // b2
// Has 소멸자 // b1
// Base 소멸자 // b1
// Has 소멸자 // b2
// Base 소멸자 // b2

 

is-a에 주목하자

생성할 때는 Base, Derived의 생성자를 모두 호출하지만 소멸할 때는 Base의 소멸자만 호출된다. 이러한 문제는 메모리 누수의 원인이 된다.

 

잠깐, b1, b2 객체는 왜 둘 다 Base* 데이터 형으로 받을까?

어떤 함수 내에서 인자로 입력받은 객체가 어느 클래스의 객체인지 모른다면 부모 클래스로 선언하는 게 좋다. 인자를 부모 클래스로 받지 않는다면 if 문으로 모든 객체를 구분해야 한다.

 

#include <iostream>
using namespace std;

class Base {
public:
	Base() {
		cout << "Base 생성자" << endl;
	}
	virtual ~Base() {
		cout << "Base 소멸자" << endl;
	}
};

class Derived : public Base {
public:
	Derived() {
		cout << "Derived 생성자" << endl;
	}
	virtual ~Derived() {
		cout << "Derived 소멸자" << endl;
	}
};

int main()
{
	Base* b1 = new Base();
	Base* b2 = new Derived();

	delete b1;
	delete b2;
}

// 출력
// Base 생성자 // b1
// Base 생성자 // b2
// Derived 생성자 // b2
// Base 소멸자 // b1
// Derived 소멸자 // b2
// Base 소멸자 //b2

 

소멸자에 virtual 키워드를 추가하니 정상적으로 호출된다!

 

 

https://makefortune2.tistory.com/243?category=695910

[내가 받은 C++ 기술면접 질문들] - 소멸자의 virtual 키워드 (2)