기본 콘텐츠로 건너뛰기

초코 커피

virtual destructor in C++

소스
#include <iostream>
using namespace std;

#define SHOWFUN() do { cerr << __PRETTY_FUNCTION__ << endl; } while(false)

class CParent1
{
public:
    explicit CParent1() {SHOWFUN();}
    ~CParent1() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

class CChild1 : public CParent1
{
public:
    explicit CChild1() {SHOWFUN();}
    ~CChild1() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

class CParent2
{
public:
    explicit CParent2() {SHOWFUN();}
    virtual ~CParent2() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

class CChild2 : public CParent2
{
public:
    explicit CChild2() {SHOWFUN();}
    virtual ~CChild2() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

class CChild3 : public CParent1
{
public:
    explicit CChild3() {SHOWFUN();}
    virtual ~CChild3() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

class CChild4 : public CParent2
{
public:
    explicit CChild4() {SHOWFUN();}
    ~CChild4() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

class CGrandChild1 : public CChild1
{
public:
    explicit CGrandChild1() {SHOWFUN();}
    ~CGrandChild1() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

class CGrandChild2 : public CChild2
{
public:
    explicit CGrandChild2() {SHOWFUN();}
    ~CGrandChild2() {SHOWFUN();}
    virtual void doWhat(void) const {SHOWFUN();}
};

template<typename _T>
void
show1(void)
{
    cerr << "-------------------------------------------------------" << endl;
    cerr << "Type: " << typeid(_T).name() << endl;
    _T a;
}

template<typename _T1, typename _T2>
void
show2(void)
{
    cerr << "-------------------------------------------------------" << endl;
    cerr << "Type: " << typeid(_T2).name() << endl;
    _T1* a(new _T2);
    delete a;
}

int
main(int,char**)
{
    show1<CChild1>();
    show1<CChild2>();
    show1<CChild3>();
    show2<CParent1,CChild1>();
    show2<CParent2,CChild2>();
    show2<CParent1,CChild3>();
    show2<CParent2,CChild4>();
    show2<CParent1,CGrandChild1>();
    show2<CParent2,CGrandChild2>();

    return 0;
}

컴파일 및 결과
$g++ -Wall vd.cpp -o vd
vd.cpp:7: warning: ‘class CParent1’ has virtual functions but non-virtual destructor
vd.cpp:15: warning: ‘class CChild1’ has virtual functions but non-virtual destructor
vd.cpp:55: warning: ‘class CGrandChild1’ has virtual functions but non-virtual destructor

$./vd
-------------------------------------------------------
Type: 7CChild1
CParent1::CParent1()
CChild1::CChild1()
CChild1::~CChild1()
CParent1::~CParent1()
-------------------------------------------------------
Type: 7CChild2
CParent2::CParent2()
CChild2::CChild2()
virtual CChild2::~CChild2()
virtual CParent2::~CParent2()
-------------------------------------------------------
Type: 7CChild3
CParent1::CParent1()
CChild3::CChild3()
virtual CChild3::~CChild3()
CParent1::~CParent1()
-------------------------------------------------------
Type: 7CChild1
CParent1::CParent1()
CChild1::CChild1()
CParent1::~CParent1()
-------------------------------------------------------
Type: 7CChild2
CParent2::CParent2()
CChild2::CChild2()
virtual CChild2::~CChild2()
virtual CParent2::~CParent2()
-------------------------------------------------------
Type: 7CChild3
CParent1::CParent1()
CChild3::CChild3()
CParent1::~CParent1()
-------------------------------------------------------
Type: 7CChild4
CParent2::CParent2()
CChild4::CChild4()
virtual CChild4::~CChild4()
virtual CParent2::~CParent2()
-------------------------------------------------------
Type: 12CGrandChild1
CParent1::CParent1()
CChild1::CChild1()
CGrandChild1::CGrandChild1()
CParent1::~CParent1()
-------------------------------------------------------
Type: 12CGrandChild2
CParent2::CParent2()
CChild2::CChild2()
CGrandChild2::CGrandChild2()
virtual CGrandChild2::~CGrandChild2()
virtual CChild2::~CChild2()
virtual CParent2::~CParent2()

결론
  1. virtual destructor 여부와 관계 없이 pointer를 delete하는 경우가 아니라면 일반 instance에 대해서는 동일한 결과를 내놓는다.
  2. virtual destructor가 아니면 부모 타입 pointer를 delete하는 경우 자식 instance의 destructor를 호출하지 않는다.
  3. 부모에서 한 번 virtual destructor로 정의하면 자식에서 virtual이 아니더라도 그 의미를 받는다. (CChild4)
  4. 요즘 컴파일러는 virtual method가 있는데도 virtual destructor를 정의하지 않았다고 궁시렁거려준다.

Powered by ScribeFire.

댓글

이 블로그의 인기 게시물

Bash Array, Map 정리

Bash에서 Array, Map에 대한 정리. (매번 찾기 귀찮) 찾아보진 않았지만, Bash에서 Array든 Map이든 동일하게 Map(C++에서 Unordered Map)으로 동작하는 것 같다. 왜냐하면, Array의 Index가 연속하지 않아도 동작한다. 그저 Key가 0 이상의 정수인 Map이랑 비슷하게 동작한다. 예) 1, 2, 3, 9, 10 Array # 생성 declare -a empty_array declare -a ar=(haha hoho baba "long string haha hoho") # 접근 echo "ar[0]=${ar[0]}" echo "all as array=${ar[@]}" # 큰따옴표 안에서 각 원소를 따로따로 전달한다. echo "all as one=${ar[*]}" # 큰따옴표 안에서 각 원소를 문자열 하나로 합쳐 전달한다. echo "indexes=${!ar[@]}" echo "indexes=${!ar[*]}" echo "length=${#ar[@]}" echo "length=${#ar[*]}" echo "last=${ar[-1]}" echo "last=${ar[@]: -1}" # 콜론 뒤에 빈 칸이 꼭 필요하다. 옛 방식 # 현재 상황 declare -p ar #(출력) declare -a ar=([0]="haha" [1]="hoho" [2]="baba" [3]="long string haha hoho") ar[100]=hello # 인덱스를 건너 뛰어도 동작한다. declare -p ar #(출력) declare -a ar=([0]="haha" [1]="hoho" [2]="baba" [3]=&

SQLite에서 파일 크기 줄이기

간단한 개인 프로젝트를 하고 있는데, SQLite DB파일 크기가 매우 커져서 테이블에 필요 없는 레코드를 날렸다. 그런데 날리고도 파일크기가 그대로라서 여기저기 뒤져보니 VACUUM 커맨드를 사용하란다. 사용법은 매우 간단하다. 그저 "VACUUM;"이라고 날려주면 동작한다. (참조: http://sqlite.org/lang_vacuum.html ) 다만, 동작이 매우 느려서 자주 쓸만한 것은 아니다. 실제로 100MB짜리 파일을 7KB로 줄이는데 수 분이 걸렸다. 소스를 봐야겠지만, DB를 EXPORT한 뒤에, 파일을 지우고 다시 IMPORT하는게 아닐까 하는 의구심이 든다. 매번 하기 귀찮으면 "PRAGMA auto_vacuum=1;"를 하면, 새로운 빈 페이지(DELETE나 DROP TABLE 같은...)가 생길 때마다, VACUUM을 실행한다. 다만, SQLite구조 문제로 테이블을 생성하기 전에 미리 날려야하는 안타까움이 있다. (참조: http://sqlite.org/pragma.html#pragma_auto_vacuum )