搞清虚析构函数的使用场合

作者：网络转载发布时间：[ 2013/2/18 10:50:04 ] 推荐标签：

　　马上要找工作了，开始复习一下c/c++基础知识了。看到虚析构这一块，产生几个疑问，发现自己以前的理解还不够透彻，写了几个程序测试验证了一下，终于算搞清楚了。

　　疑问：什么情况下必须用虚析构？

　　先看个例子：

    #include <iostream>
    class A
    {
    public:
        A(){};
        ~A()
        {
            std::cout << "~A" << std::endl;
        };
    private:
        int a;
    };

    class B : public A
    {
    public:
        B(){};
        ~B()
        {
            std::cout << "~B" << std::endl;
        }
    private:
        int b;
    };

    int main()
    {
        B b;
        return 0;
    }

　　调试发现，窗口依次输出： ~B 和 ~A，也是说，B类对象b析构的时候，先调用了B类的析构函数，然后调用了基类的析构函数。

　　如果 main 函数中的代码，替换为如下呢？

    int main()
    {
        A *pb = new B();
        delete pb;
        return 0;
    }

　　你会发现，还是依次输出了 ~B 和 ~A，也是说，当使用子类指针指向子类对象的时候，析构的时候，依然会依次调用子类和基类的析构函数。

　　如果 main 函数中的代码，替换为如下呢？

    int main()
    {
        A * pa = new B();
        delete pa;
        return 0;
    }

　　调试发现，这份代码，只会输出 ~A，哦，到此终于明白了，当用基类指针指向派生类对象时，如果基类析构函数不设置为 virtual 的话，则在 delete 基类指针的时候，无法成功调用子类的析构函数。这才是虚析构函数发挥作用的真正场合。

　　上述代码解决方法：把基类 A 的析构函数设置为virtual，则可以成功实现delete pa的时候依次调用B类和A类的析构函数了。

　　那么，进一步讲，我们是否应该把所有类的析构函数都设置为虚析构呢？

　　不应该，这样设置不合理，只有在该类可能作为基类的情况下，并且可能使用到多态特性的时候，才有必要把基类的析构函数设置为虚析构，否则，没有必要，因为设置为虚析构会产生额外的开销，即下一个问题：

　　一个类如果把析构函数设置为 virtual 是否也会产生虚函数表？

　　我们把上述代码稍微改一下：

    class A
    {
    public:
       A(){};
       ~A()
       {
           std::cout << "~A" << std::endl;
       };
       void test()
       {
          std::cout << "~test" << std::endl;
       }
    private:
        int a;
    };

    int main()
    {
        std::cout << sizeof(A) << std::endl;
    }