C++ 在构造函数和析构函数中调用虚函数究竟会怎么样？

最新推荐文章于 2024-04-10 11:00:20 发布

icky_1024

最新推荐文章于 2024-04-10 11:00:20 发布

阅读量5.3k

点赞数 26

分类专栏： C++

本文链接：https://blog.csdn.net/donotgogentle/article/details/107222597

版权

C++ 专栏收录该内容

7 篇文章 0 订阅

订阅专栏

首先摘取一段来自《Effective C++》的解释：

派生类对象构造期间进入基类的构造函数时，对象类型变成了基类类型，而不是派生类类型。同样，进入基类析构函数时，对象也是基类类型。

再来看一段经验性的总结：

从语法上讲，调用完全没有问题。
但是从效果上看，往往不能达到需要的目的。

接着写段代码来探究一下究竟能否达到需要的目的，在此之前，我们先搞清楚目的是什么？

既然在子类中的构造和析构函数中都调用虚函数，那么我们肯定是希望子类中的构造和析构函数都能调用自己的虚函数版本，例如在下例中，我们的目的是：

A 在构造时先调用 Base 类构造函数（Base 类的构造函数中调用了虚函数），再调用 A 的构造函数（A 类的构造函数中调用了虚函数）
A 在析构时先调用 A 类析构函数（A 类的析构函数中调用了虚函数），再调用 Base 类的析构函数（Base 类的析构函数中调用了虚函数）

我们要探究的是：

Base 类的构造函数中调用 Base 版本的虚函数，A 类的构造函数中调用 A 版本的虚函数
A 类的析构函数中调用 A 版本的虚函数，Base 类的析构函数中调用 Base 版本的虚函数

此探究目的符合：派生类对象构造期间进入基类的构造函数时，对象类型变成了基类类型，而不是派生类类型。同样，进入基类析构函数时，对象也是基类类型。

接下来我们写段代码验证其正确与否：

#include<iostream>
using namespace std;

class Base
{
public:
    Base()
    {
       Function();
       cout << "Base constructor" << endl; 
    }

    virtual void Function()
    {
        cout << "Base::Fuction" << endl;
    }

	virtual ~Base()
	{
		Function();
		cout << "Base destructor" << endl; 
	}
};

class A : public Base
{
public:
    A()
    {
      Function();
      cout << "A constructor" << endl; 
    }

    virtual void Function()
    {
        cout << "A::Function" << endl;
    }

	virtual ~A()
	{
		Function();
		cout << "A destructor" << endl; 
	}
};

int main()
{
    Base* a = new Base;
	delete a;

	cout << "-------------------------" <<endl;

	Base* b = new A;//语句1
	delete b;
}

以上代码输出为：