C++ 虚析构函数

转载于：http://www.cnblogs.com/kanego/archive/2011/10/03/virtual_destructor.html

类型需要虚析构函数的另外一个特征 是该类型具有指针成员或引用成员。如果有指针成员和引用成员，则该类型通常需要实现析构函数以及拷贝操作。

 

通常，一个实现了析构函数的类型同时也需要实现拷贝构造函数与拷贝复制函数。

 

作为一个经验法则：

如果你有一个带有虚函数功能的类，则它需要一个虚析构函数，原因如下：

 

1. 如果一个类有虚函数功能，它经常作为一个基类使用。

 

2.如果它是一个基类，它的派生类经常使用new来分配。

 

3.如果一个派生类对象使用new来分配，并且通过一个指向它的基类的指针来控制，那么它经常通过一个指向它的基类的指针来删除它（如果基类没有虚析构函数，结果将是不确定的，实际发生时，派生类的析构函数永远不会被调用）。

基类有虚析构函数的话，最底层的派生类的析构函数最先被调用，然后各个基类的析构函数被调用。

现在还不明白的，作为保护性的析构函数的作用何在？这里有一种解释http://blog.csdn.net/huzzyy/article/details/2562804  。理解了，以后再补充。

1、如果一个类被继承，同时定义了基类以外的成员对象，且基类析构函数不是virtual修饰的，
那么当基类指针或引用指向派生类对象并析构（例如自动对象在函数作用域结束时；或者通过delete）时，
会调用基类的析构函数而导致派生类定义的成员没有被析构，产生内存泄露等问题。
虽然把析构函数定义成virtual的可以解决这个问题，但是当其它成员函数都不是virtual函数时，
会在基类和派生类引入vtable，实例引入vptr造成运行时的性能损失。如果确定不需要直接而是只通过派生类对象使用基类，
可以把析构函数定义为protected（这样会导致基类和派生类外使用自动对象和delete时的错误，因为访问权限禁止调用析构函数），
就不会导致以上问题。
2、保证对象只生成在堆上。
看见一篇博文，问到了和我类似的问题，摘录如下：
我看到有些程序中，将构造函数，析构函数声明为私有和保护的，那么对象如何创建？已经不能从外部调用构造函数了，但是对象必须被构造，应该如何解决，麻烦大家帮忙说明，关于构造，析构函数声明为私有和保护时的用法，谢谢了！ 从语法上来讲，一个函数被声明为protected或者private，那么这个函数就不能从“外部”直接被调用了。
对于protected的函数，子类的“内部”的其他函数可以调用之。
而对于private的函数，只能被本类“内部”的其他函数说调用。


语法上就是这么规定的，你肯定也知道的咯。
那么为什么有时候将构造函数或者析构函数声明为protected的或者private的？


通常使用的场景如下：
1。如果你不想让外面的用户直接构造一个类（假设这个类的名字为A）的对象，而希望用户只能构造这个类A的子类，那你就可以将类A的构造函数/析构函数声明为protected，而将类A的子类的构造函数/析构函数声明为public。例如：
class A
{ protected: A(){}
  public: ....
};
calss B : public A
{ public: B(){}
  ....
};


A a; // error
B b; // ok


2. 如果将构造函数/析构函数声明为private，那只能这个类的“内部”的函数才能构造这个类的对象了。这里所说的“内部”不知道你是否能明白，下面举个例子吧。
class A
{
private:
    A(){  }
    ~A(){ }


public:
    void Instance()//类A的内部的一个函数
    {
        A a;
    }
};
上面的代码是能通过编译的。上面代码里的Instance函数就是类A的内部的一个函数。Instance函数体里就构建了一个A的对象。
但是，这个Instance函数还是不能够被外面调用的。为什么呢？
如果要调用Instance函数，必须有一个对象被构造出来。但是构造函数被声明为private的了。外部不能直接构造一个对象出来。
A aObj; // 编译通不过
aObj.Instance();
但是，如果Instance是一个static静态函数的话，就可以不需要通过一个对象，而可以直接被调用。如下：class A
{
private:
    A():data(10){ cout << "A" << endl; }
    ~A(){ cout << "~A" << endl; }


    public:
    static A& Instance()
    {
        static A a;
        return a;
    }


    void Print()
    {
        cout << data << endl;
    }


private:
    int data;
};


A& ra = A::Instance();
ra.Print();


上面的代码其实是设计模式singleton模式的一个简单的C++代码实现。




还有一个情况是：通常将拷贝构造函数和operator=(赋值操作符重载)声明成private，但是没有实现体。
这个的目的是禁止一个类的外部用户对这个类的对象进行复制动作。
细节请看《effective C++》里面的一个条款。具体哪个条款不记得了。你自己去找吧。