C++中虚函数与函数

析构函数为什么要声明为虚 函数???

基类的析构函数需要声明为虚函数: 
当派生类对象经由一个基类指针被删除,而该基类带着一个non-virtual析构函数,实际执行时通常发生的是对象的派生类成员没有被销毁。这也就是局部销毁,会发生内存泄漏,所以我们通常将基类的析构函数需要声明为虚函数。

class Base
{
public:
    Base()
       :_b(1)
   {
       cout << "Base()" << endl;
   }
   ~Base()
   {
       cout << "~Base()" << endl;
   }
protected:
   int _b;
};
class Derived : public Base
{
public:
   Derived()
       :_d(2)
   {
       cout << "Derived()" << endl;
   }
   ~Derived()
   {
       cout << "~Derivde()" << endl;
   }
protected:
   int _d;
};
void test()
{
   Base *p;
   p = new Derived;
   delete p;
}

运行结果:

可以发现程序只删除了base class对象,造成了局部销毁。
解决:将基类的析构函数生命为virtual,此后删除派生类对象就会销毁整个对象,包括派生类成分。

class Base
{
public:
    Base()
       :_b(1)
   {
       cout << "Base()" << endl;
   }
   virtual ~Base()
   {
       cout << "~Base()" << endl;
   }
protected:
   int _b;
};
class Derived : public Base
{
public:
   Derived()
       :_d(2)
   {
       cout << "Derived()" << endl;
   }
   ~Derived()
   {
       cout << "~Derivde()" << endl;
   }
protected:
   int _d;
};
void test()
{
   Base *p;
   p = new Derived;
   delete p;
}

运行结果:

可以发现,如果将base class的析构函数声明为虚函数,就不存在局部销毁的问题。

注意:

1.任何类只要带有 virtual 函数都几乎应该也有一个 virtual 析构函数。 

2.如果类不含 virtual 函数,通常表示他并不意图被用做一个基类。当类不企图被当作基类时候令其析构函数为virtual 往往是个馊主意,这个原因大家也可以想一下。

 

不能被声明为虚函数的函数

1.普通函数

普通函数只能被重载,不能被重写,声明为虚函数没有任何意义,因为编译器会在编译时绑定函数。

2.构造函数: 
因为构造函数本身就是为了明确初始化对象成员才产生的。如果构造函数是虚函数,就需要通过 vtable 来调用,但是此时对象还没有实例化,无法找到 vtable ,所以不能为虚函数。 
从实现上来看,vtable 是在构造函数调用之后才建立的,因而构造函数不能为虚函数,同时编译器也根本无法通过编译。

3.内联成员函数: 
因为内联函数是为了在代码中直接展开,减少函数调用的花费,而虚函数是为了在继承后对象能够准确的执行自己的动作。 
而且内联函数在编译时被展开,虚函数在运行时才能动态绑定

4.静态成员函数: 
静态成员函数对于每一个类来说只有一份,所有的对象公用一份代码,它的实现就不是为了构成多态,也没有要动态绑定的必要性。

5.友元函数: 
因为友元函数并不支持继承,对于没有继承特性的函数没有虚函数的说法。

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值