虚继承与虚函数

虚继承
当我们学习了继承以后，我们会碰到这样一个问题。
A派生出B和C，而B和C一起派生出了D，这时候D中会有两份一样的数据成员与成员函数，如图：

例：

class Base
{
public：
	void fn()
	{
		cout<<"this is Base::fn()"<<endl;	
	}
}；
class Base1:public Base
{
}；
class Base2:public Base
{
}；
class Derived:public Base1,public Base2
{
}；

这时候因为Base1从Base里继承了一个fn（），Base2从Base里也继承了一个fn（），而Base1和Base2共同派生出一个Derived，它里面现在就会有两个fn（），一个是继承Base1的，一个是继承Base2的，这时候我们定义一个Derived对象的话，直接调用fn（）会导致不知道调用哪一个。

为了解决这样的问题，我们学习了虚继承（virtual）。
如图：

这里我们对class A进行修饰就不会有这种情况发生了。

注意：
在派生类执行构造函数时，先调用虚基类的构造函数。

例： 床，沙发，沙发床

#include <iostream>
using namespace std;

class Furniture {
public:
	Furniture(int d = 100) :data(d) {
		cout << "Furniture()" << data << endl;
	}
	int data;
};

class Sofa :virtual public Furniture {
public:
	Sofa() :Furniture() {
		cout << "Sofa()" << data << endl;
	}
	void setD(int d)
	{
		data = d;
	}
};

class Bed :virtual public Furniture {
public:
	Bed() :Furniture() {
		cout << "Bed()" << data << endl;
	}
	int getD()
	{
		return data;
	}
};

class SofaBed :public Sofa, public Bed {
public:
	SofaBed() :Sofa(), Bed(), Furniture(100) {
		cout << "C()" << data << endl;
	}
	void dis() {
		cout << data << endl;
		cout << Sofa::data << endl;
		cout << Bed::data << endl;
	}
};

int main() {
	SofaBed c;
	c.dis();
	c.setD(10000);
	c.setD(2000);
	cout << c.getD() << endl;
	c.dis();
}

更改床、沙发、沙发床的长宽高它们的不同状态的长宽高都会发生变化。

虚函数
在我们实现类的多态时，会定义一个抽象类和好多个实例类
他们其中会有相同的函数，但是实现的功能不能相同，这时候我们就要用到虚函数。

虚函数多态：
1.至少有两个有继承关系的类；
2.基类与派生类之间有同名同参的函数，且基类函数被virtual修饰（覆盖）
3.必须通过基类的引用或指针调用该函数。

说虚函数之前说说重载、覆盖与隐藏的概念：
重载：在同一作用域中，同名不同参的函数叫重载
覆盖：分别位于基类和派生类之中，同名同参且基类函数被virtual所修饰
隐藏：分别位于基类和派生类中
a.同名同参积累函数未被virtual所修饰
b.同名不同参

例如：

class Stuff  //职工
{
public:
	virtual void work()=0;
};
class Coder:public Stuff		//码农
{
public:
	void work()
	{
		cout<<"编码"<<endl;
	}
};
class Driver:public Stuff		//司机
{
public:
	void work()
	{
		cout<<"开车"<<endl;
	}
};

int main()
{
	Coder c;
	Stuff* p=&c;
	p->work();
	return 0;
}

这时候输出的就是“编码”，这就是虚函数的作用，而例子中写的 virtual void work()=0;是一个纯虚函数，他所在的Stuff类就是一个抽象类。

虚函数写法：
virtual 函数类型 函数名 （形参表）

注：
如果基类函数为虚函数，则其派生类中同名同参的函数即使没有virtual修饰也是虚函数（一虚到底）。

虚函数实现原理：
虚函数表（虚表）：是一个存放本类中所以虚函数地址的静态指针数组。
在类中如果有虚函数，则会有一个隐藏的成员指针变量来指向虚表，所以有虚函数的类会比多出四个字节来存放指针。

实现过程：