虚析构函数的作用
转载▼
标签: |
|
例1:
1 class ITest
2 {
3 public:
4 virtual void Test() = 0;
5
6 };
7
8 class CTest : public ITest
9 {
10 public:
11 CTest() { printf("constructor.n"); };
12 ~CTest() { printf("destructor.n"); };
13 virtual void Test() { printf("This is a Test.n"); };
14 };
15
16 void TestMain()
17 {
18 CTest *p1 = new CTest;
19 ^~~~~
20 p1->Test();
21 delete p1;
22 }
上述例中,程序会按照设计的意图,正常打印出:
constructor. This is a Test. destructor. |
但若将第18行改改为:
18 ITest *p1 = new CTest;则输出的结果为:
constructor. This is a Test. | |
也就是说,CTest类的析构函数并未调用 |
也就是说,我将接口类添加虚析构函数是正确的,即使我们不准备用ITest接口
究其原因,是在delete一个接口类时,由于析构函数不是虚的,系统直接将ITest的析构函数(编译器会自动生成)删除了之,而不去查找真正需要调用的析构函数。
也许,在一个接口类中定义虚的析构函数,会让人产生歧义。而这正是老大嘲笑我的原因所在。
那么,试着换一种定义
1 class ITest
2 {
3 public:
4 virtual void Test() = 0;
5 virtual ~ITest() = 0
6 };
7 ITest::~ITest() {}; //不要写入定义中
现在语法能够明确表明ITest是一个抽角类,不能产生对象.需要注意的是,第7行必须有实现,否则在链接时会通不过的(因为析构函数、构造函数和其他内部函数不一样,在调用时,编译器需要产生一个调用链)。
再考虑多重继承的情况
例2:
1 class ITest
2 {
3 public:
4 virtual void Test() = 0;
5
6 };
7
8
9 class IGuest
10 {
11 public:
12 virtual void Guest() = 0;
13
14 };
15
16
17 class CTest : public ITest, public IGuest
18 {
19 public:
20 CTest() { printf("constructor.n"); };
21 ~CTest() { printf("destructor.n"); };
22 virtual void Test() { printf("This is a Test.n"); };
23 virtual void Guest() { printf("I am Guest.n"); };
24 };
25
26 void TestMain()
27 {
28 CTest *p1 = new CTest;
29 ^~~~~
30 p1->Test();
31 p1->Guest();
32
33 delete p1;
34 }
35
36 void Test2()
37 {
38 CTest *p1 = new CTest;
39
40 ITest *pTest = dynamic_cast<ITest*>(p1);
41 pTest->Test();
42 IGuest *pGuest = dynamic_cast<IGuest*>(p1);
43 pGuest->Guest();
44
45 delete pTest;
46 }
?/P>
执行TestMain函数时,系统会输出以下结果:
construstor. |
但以另外一种方式来执行,在某个封装中实现了第28行,然后导出指针供外部使用,如Test2函数所示,则系统输出的结果为:construstor. |
CTest的析构函数仍未被调用。
若将第45行改成:
45 delete pGuest系统在显示以上结果时会强出错误提示框。ITest是CTest的第一个继承,两者的地址是一致的,而IGuest则要偏移4个字节,但为什么会导致程序crash,仍未有明确的解释。
将上述代码中缺失的补上:
5 virtual ~ITest() = 0;
7 ITest::~ITest(){};
13 virtual ~IGuest() = 0;
15 IGuest::~IGuest(){};
则不论是TestMain函数,或Test2函数(或者调用delete pGuest),结果都显示正确。
当然,若没有采用封装导出接口,直接对CTest类进行操作,自然不会有遗忘调用析构函数的情况。但无论从程序的健壮性,或者是可扩展性来说,对接口类添加纯虚的析构函数,是百利而无一害的。
当然,并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候,编译器会给类添加一个虚函数 表,里面来存放虚函数指针,这样就会增加类的存储空间。所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数。另外,纯虚析构函数必须有实 现,不然会出现连接错误。
/##############################################3
基类虚析构函数问题, 其实, 很简单很基础。 下面我们来看程序:
- #include <iostream>
- using namespace std;
- class A
- {
- public:
- ~A()
- {
- cout << "~A" << endl;
- }
- };
- class B : public A
- {
- public:
- ~B()
- {
- cout << "~B" << endl;
- }
- };
- int main()
- {
- A *p = new B;
- return 0;
- }
- #include <iostream>
- using namespace std;
- class A
- {
- public:
- ~A()
- {
- cout << "~A" << endl;
- }
- };
- class B : public A
- {
- public:
- ~B()
- {
- cout << "~B" << endl;
- }
- };
- int main()
- {
- A *p = new B;
- delete p;
- return 0;
- }
好, 继续看:
- #include <iostream>
- using namespace std;
- class A
- {
- public:
- virtual ~A()
- {
- cout << "~A" << endl;
- }
- };
- class B : public A
- {
- public:
- ~B()
- {
- cout << "~B" << endl;
- }
- };
- int main()
- {
- A *p = new B;
- delete p;
- return 0;
- }
~B
~A
可见, 应该为多态基类声明virtual析构函数, 否则调用不到派生类的析构函数, 容易造成资源泄露。
当然, 并不是所有基类的存在都是为了派生、多态的, 比如STL的string类, 所以标准string是不含virtual函数的。 那怎么验证string的析构函数不是virtual函数呢? 很简单, 且看:
- #include <iostream>
- #include <string>
- using namespace std;
- class Test : public string
- {
- public:
- ~Test()
- {
- cout << "~Test" << endl;
- }
- };
- int main()
- {
- string *p = new Test;
- delete p;
- return 0;
- }
OK, 本文先介绍到这里。