C++/소멸자에 virtual을 쓰는 이유

C++/소멸자에 virtual을 쓰는 이유

먼저 상속을 받은 클래스의 생성과 소멸 과정을 보자. 생성자는 부모 클래스의 생성자가 먼저 불려지고, 소멸자는 자식 클래스의 소멸자가 먼저 불려지고 나서 부모 클래스의 소멸자가 불려진다.

그런데 다형성 이용을 위해 부모 클래스의 포인터로부터 자식 클래스를 호출할 때, 가상 함수로 정의되지 않은 자식 클래스의 오버라이딩된 함수를 호출하면 부모 클래스의 멤버 함수가 호출된다. 소멸자도 자식 클래스에서 오버라이딩된 함수라고 볼 수 있기 때문에 만약 부모 포인터로 객체를 삭제하면 부모 클래스의 소멸자가 호출된다.

따라서 소멸자를 가상 함수로 선언하지 않으면 이 경우 자식 클래스의 소멸자는 결코 호출되지 않는다. 가상 함수 키워드 virtual이 사용되었다면 이것은 자식 클래스에서 재정의될 수 있음을 명시하기 때문에 포인터의 종류에 상관없이 항상 자식 클래스의 메서드가 호출된다. 즉, 자식 클래스의 소멸자가 호출되고 나서 부모 클래스의 소멸자가 호출된다.

따라서 상속 관계가 있고 소멸자에서 리소스를 해제해야 하는 경우 반드시 소멸자를 가상 함수로 선언해야 한다.

예제 코드

view plain

1. #include <iostream>
2. 
   
3. using namespace std;
4. 
   
5. class classA
6. {
7. public:
8.   classA();
9.   virtual ~classA();
10. };
11. 
    
12. class classB : public classA
13. {
14. public:
15.   classB();
16.   ~classB();
17. };
18. 
    
19. classA::classA()
20. {
21.   cout << "A" << endl;
22. }
23. 
    
24. classA::~classA()
25. {
26.   cout << "~A" << endl;
27. }
28. 
    
29. classB::classB()
30. {
31.   cout << "B"<< endl;
32. }
33. 
    
34. classB::~classB()
35. {
36.   cout << "~B" << endl;
37. }
38. 
    
39. int main()
40. {
41.   cout << "START" << endl;
42. 
    
43.   classB *B = new classB;
44.   classA *A = B;
45. 
    
46.   delete A;
47. 
    
48.   return 0;
49. }

---

결과 1 - classA 소멸자에 virtual을 쓰지 않았을 때

START
A
B
~A

결과 2 - classA 소멸자에 virtual을 사용했을 때

START
A
B
~B
~A

출처 : http://hyacinth.byus.net/moniwiki/wiki.php/C%2B%2B/%EC%86%8C%EB%A9%B8%EC%9E%90%EC%97%90%20virtual%EC%9D%84%20%EC%93%B0%EB%8A%94%20%EC%9D%B4%EC%9C%A0