面试中的问题 -虚函数多态

最新推荐文章于 2024-10-06 16:28:11 发布

致一

最新推荐文章于 2024-10-06 16:28:11 发布

阅读量2.1k

点赞数 1

分类专栏： C++

本文链接：https://blog.csdn.net/lcalqf/article/details/52841472

版权

C++ 专栏收录该内容

33 篇文章 1 订阅

订阅专栏

1、c++多态实现

C++中的虚函数的作用主要是实现多态的机制。关于多态，简而言之就是用父类型的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。

例如：

#include <iostream>
#include <stdlib.h>
using namespace std;
class Base
{
public:
	Base(){};
	~Base(){};
	virtual void Fun()
	{
		cout<<"Base Func"<<endl;
	}
};
class SubClass:public Base
{
public:
	SubClass(){};
	~SubClass(){};
	 void Fun()
	{
		cout<<"SubClass Fun"<<endl;
	}
};
int main()
{
	SubClass sub;
	Base *pBase = ⊂//父类型的指针指向其子类的实例
	pBase->Fun();
	system("pause");
	return 0;
}

这种技术可以让父类的指针有“多种形态”，这是一种泛型技术。所谓泛型技术，说白了就是试图使用不变的代码来实现可变的算法。比如：模板技术，RTTI技术，虚函数技术，要么是试图做到在编译时决议，要么试图做到运行时决议。

编译器会为每个有虚函数的类创建一个虚函数表（编译的时候），该虚函数表将被该类的所有对象共享。类的每个虚成员占据虚函数表中的一行。如果类中有N个虚函数，那么其虚函数表将有N*4字节的大小。

动态绑定与静态绑定

静态绑定：编译时绑定，通过对象调用

动态绑定：运行时绑定，通过地址实现

只有采用“指针->函数()”或“引用变量.函数()”的方式调用C++类中的虚函数才会执行动态绑定。对于C++中的非虚函数，因为其不具备动态绑定的特征，所以不管采用什么样的方式调用，都不会执行动态绑定。

即所谓动态绑定，就是基类的指针或引用有可能指向不同的派生类对象，对于非虚函数，执行时实际调用该函数的对象类型即为该指针或引用的静态类型（基类类型）；而对于虚函数，执行时实际调用该函数的对象类型为该指针或引用所指对象的实际类型

多重继承时

C++中虚析构函数的作用

用来做基类的类的析构函数一般都是虚函数。可是，为什么要这样做呢？

class ClxBase
{
public:
    ClxBase() {};
    virtual ~ClxBase() {};

    virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; };
};

class ClxDerived : public ClxBase
{
public:
    ClxDerived() {};
    ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; }; 

    void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};

ClxBase * pTest = new ClxDerived;
pTest -> DoSomething();
delete pTest;

的输出结果是：

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

也就是说，类ClxDerived的析构函数根本没有被调用！一般情况下类的析构函数里面都是释放内存资源，而析构函数不被调用的话就会造成内存泄漏。我想所有的C++程序员都知道这样的危险性。当然，如果在析构函数中做了其他工作的话，那你的所有努力也都是白费力气。
所以，文章开头的那个问题的答案就是－－这样做是为了当用一个基类的指针删除一个派生类的对象时，派生类的析构函数会被调用。
当然，并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候，编译器会给类添加一个虚函数表，里面来存放虚函数指针，这样就会增加类的存储空间。所以，只有当一个类被用来作为基类的时候，才把析构函数写成虚函数。

为什么构造函数不能为虚函数：

　　因为如果构造函数为虚函数的话，它将在执行期间被构造，而执行期则需要对象已经建立，构造函数所完成的工作就是为了建立合适的对象，因此在没有构建好的对象上不可能执行多态（虚函数的目的就在于实现多态性）的工作。在继承体系中，构造的顺序就是从基类到派生类，其目的就在于确保对象能够成功地构建。构造函数同时承担着虚函数表的建立，如果它本身都是虚函数的话，如何确保vtbl的构建成功呢？