c++对象模型-虚拟析构函数
2014-07-30 21:01
260 查看
看《inside the c++ object model》第二章,汇总一下一些知识点
( 转自:http://www.cppblog.com/aaxron/archive/2010/12/23/137293.html)
作为通常原则,如果一个类定义了虚函数,那么它的析构函数就应该定义成虚函数。因为定义了虚函数则意味着这个类会被继承,并且会通过基类的指针指向子类,从而得到多态。因此,基类的析构函数是否为虚函数将决定子类的对象是否被析构。
很多时候只能获得基类的指针,但是并不知道它实际上是哪一个类,这时候删除基类指针的时候,析构函数就很有用了,如以下代码:
#include <iostream>
using namespace std;
struct A
{
A(){cout << "A::()"<<endl;}
virtual ~A() {cout<<"~A()\n";}
};
struct B: public A
{
B(){cout << "B::()"<<endl;}
~B() {cout<<"~B()\n";}
};
int main()
{
A* p = new B;
delete p;
//B b;
return 0;
}
如果A的析构函数不是virtual,那么输出的就是~A();
如果A的析构函数是virtual,那么删除p的时候,实际上是调用B的析构函数,因此会首先调用b的析构函数,然后再调用A的析构函数,输出的结果是:
~B();
~A();
类如果会被派生,一般都会采用析构函数,不是防止内存泄露,而是为了正确的析构。如果是个封闭类,那么就不要定义virtual,因此虚函数的代价比较大。
不用virtual的几种情况:
1.作为非公共基类。仅作为private base class不需要使用虚拟析构函数。
2.不作为接口使用的基类、
3.如果你可以保证这个类不被public继承(private/protected继承的话,在非friend函数/类中就无法用基类指针指向派生类了)
4.如果它的所有派生类(包括派生类的派生类)的析构函数都是trivial的(这里的trivial指的是在程序员的层次什么事也不做)
5. 如果不需要用基类的指针指向派生类的对象
在这五种情况下,不把析构函数声明为virtual都是可以的,何况效率会高一些——但前提是你得保证前提的成立——不过这些保证常常是很难100%。谁能保证别人在派生你的类的时候,析构函数是trivial的,或者别人不用你提供的基类的指针指向派生类对象?这些常常是很难得到保证的。
声明基类的析构函数为virtual并非总是为了防止memory leak 另外这也只是作为一般的原则(基类中有虚函数则把其析构函数声明为virtual)。如果你的析构函数什么事也不作,从效果上来说,不声明为virtual也无妨
( 转自:http://www.cppblog.com/aaxron/archive/2010/12/23/137293.html)
作为通常原则,如果一个类定义了虚函数,那么它的析构函数就应该定义成虚函数。因为定义了虚函数则意味着这个类会被继承,并且会通过基类的指针指向子类,从而得到多态。因此,基类的析构函数是否为虚函数将决定子类的对象是否被析构。
很多时候只能获得基类的指针,但是并不知道它实际上是哪一个类,这时候删除基类指针的时候,析构函数就很有用了,如以下代码:
#include <iostream>
using namespace std;
struct A
{
A(){cout << "A::()"<<endl;}
virtual ~A() {cout<<"~A()\n";}
};
struct B: public A
{
B(){cout << "B::()"<<endl;}
~B() {cout<<"~B()\n";}
};
int main()
{
A* p = new B;
delete p;
//B b;
return 0;
}
如果A的析构函数不是virtual,那么输出的就是~A();
如果A的析构函数是virtual,那么删除p的时候,实际上是调用B的析构函数,因此会首先调用b的析构函数,然后再调用A的析构函数,输出的结果是:
~B();
~A();
类如果会被派生,一般都会采用析构函数,不是防止内存泄露,而是为了正确的析构。如果是个封闭类,那么就不要定义virtual,因此虚函数的代价比较大。
不用virtual的几种情况:
1.作为非公共基类。仅作为private base class不需要使用虚拟析构函数。
2.不作为接口使用的基类、
3.如果你可以保证这个类不被public继承(private/protected继承的话,在非friend函数/类中就无法用基类指针指向派生类了)
4.如果它的所有派生类(包括派生类的派生类)的析构函数都是trivial的(这里的trivial指的是在程序员的层次什么事也不做)
5. 如果不需要用基类的指针指向派生类的对象
在这五种情况下,不把析构函数声明为virtual都是可以的,何况效率会高一些——但前提是你得保证前提的成立——不过这些保证常常是很难100%。谁能保证别人在派生你的类的时候,析构函数是trivial的,或者别人不用你提供的基类的指针指向派生类对象?这些常常是很难得到保证的。
声明基类的析构函数为virtual并非总是为了防止memory leak 另外这也只是作为一般的原则(基类中有虚函数则把其析构函数声明为virtual)。如果你的析构函数什么事也不作,从效果上来说,不声明为virtual也无妨
相关文章推荐
- C++多重继承和虚拟继承对象模型、效率分析
- C++虚拟继承中的对象模型
- 浅谈C++对象模型——理解构造函数、析构函数执行顺序
- C++多重继承和虚拟继承对象模型、效率分析
- c++多态对象模型:菱形继承和菱形虚拟继承
- 【C++】深度探索C++对象模型之虚拟成员函数(virtual member function)
- C++多重继承和虚拟继承对象模型、效率分析
- C++ - 对象模型之 构造和析构函数都干了什么
- C++ 多重继承和虚拟继承对象模型、效率分析
- C++ - 多重继承和虚拟继承对象模型、效率分析
- C++ — 关于菱形虚拟继承对象模型的探究
- 浅出C++对象模型——理解构造函数、析构函数执行顺序
- C++析构函数的自动调用(析构函数必须是虚拟的,这样删除父类指针指向的子类对象,才能同时调用两者的析构函数,否则就没有机会调用子类析构函数)
- C++ - 对象模型之 构造和析构函数都干了什么
- 宋体、构造函数-浅出C++对象模型——理解构造函数、析构函数执行顺序-by小雨
- C++对象模型——Virtual Member Functions (虚拟成员函数)(第四章)
- C++虚拟多重继承对象模型讨论
- C++虚拟多重继承对象模型讨论
- Microsoft Visual C++虚拟多继承 对象模型初步分析
- 深度搜索C++对象模型 Function 语意学-虚拟成员函数