C++析构函数为什么建议是虚函数

原创已于 2022-02-08 17:11:40 修改 · 812 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #mfc #开发语言

于 2021-12-26 21:50:12 首次发布

C++ 专栏收录该内容

20 篇文章

订阅专栏

本文探讨了C++中为何建议将基类的析构函数设置为虚函数，并通过代码实例展示了如果不这样做可能导致的问题。当基类析构函数为虚函数时，使用基类指针删除派生类对象时，能够正确调用派生类和基类的析构函数，确保资源的完整释放。反之，若非虚函数，只会调用基类的析构函数，可能造成内存泄漏。因此，为了正确实现多态和资源管理，基类的析构函数通常应声明为虚函数，虽然这会带来一定的性能开销。

学习C++时，看到书上有建议析构函数函数设置为虚函数，一直不理解，现在我们写代码验证下这一建议。
先看下不带virtual 的析构函数

using namespace std;

class TBase {
public:
    TBase() {}

    ~TBase() {
        cout << "Base Destructor" << endl;
    }

    void show() {
        cout << "base show" << endl;
    }
};

class TDerived : public TBase {
public:
    TDerived() {}

    ~TDerived() {
        cout << "Derived Destructor" << endl;
    }

    void show() {
        cout << "derived show" << endl;
    }
};

分别使用基类对象，基类指针，派生类对象，派生类指针进行测试。

int main() {
    {
        TDerived tv;
        TDerived *tp = new TDerived();
        tv.show();
        tp->show();
        delete tp;
    }
    return 0;
}
// output
derived show
derived show
Derived Destructor
Base Destructor
Derived Destructor
Base Destructor

int main() {
    {
        TBase bv;
        TBase *bp = new TBase();
        bv.show();
        bp->show();
        delete bp;
    }
    return 0;
}
// output
base show
base show
Base Destructor
Base Destructor

通过观察结果可以看到，对于派生类而言，如果基类虚构函数不是虚函数，那么派生类对象或派生类指针在程序结束或调用delete后，都会先调用派生类的析构函数再调用基类的析构函数。但是基类对象和基类指针都只会调用基类的析构函数。

我们再来看下如果析构函数是虚函数，结果会是怎样，测试函数如下：

class TBase {
public:
    TBase() {}

    virtual ~TBase() {
        cout << "Base Destructor" << endl;
    }

    void show() {
        cout << "base show" << endl;
    }
};

class TDerived : public TBase {
public:
    TDerived() {}

    virtual ~TDerived() {
        cout << "Derived Destructor" << endl;
    }

    void show() {
        cout << "derived show" << endl;
    }
};

测试main函数

int main() {
    {
        TDerived tv;
        TDerived *tp = new TDerived();
        tv.show();
        tp->show();
        delete tp;
     }
}
// output
derived show
derived show
Derived Destructor
Base Destructor
Derived Destructor
Base Destructor
int main() {
    {
        TBase* bp = new TDerived;
        delete bp;
    }
    return 0;
}
// output
Derived Destructor
Base Destructor
int main() {
    {
        TBase* bp = new TBase();
        delete bp;
    }
    return 0;
}
// output
Base Destructor