虚函数&虚继承

虚函数

虚函数的作用主要是实现运行时的多态，子类可以重写父类的虚函数，以实现子类的特殊化，当父类pa_ptr指针指向子类对象，且调用子类重写了对方法时：

• 如果此方法在父类中是普通函数，那么pa_ptr调用的是父类方法
• 如果此方法在父类中是虚函数，那么pa_ptr调用的是子类方法

#include <iostream>

class Base
{
public:
	int a;
	int b;
	virtual void fun1() { printf("Base fun1\n"); }
	virtual void fun2() { printf("Base fun2\n"); }
};

class Child : public Base
{
public:
	int c;
	void fun1() { printf("Child fun1\n"); }
};

int main(int argc, char* argv[])
{
	Base* ptr = new Child;

	ptr->fun1();
	ptr->fun2();

	delete ptr;
    Base* baseptr = new Base;
    delete baseptr;
	return 0;
}

原理：

基类指针指向子类对象（多态）：

ptr指向对象的内存分布如下：

内存偏移	变量	归属
vfptr	0-3	Base
a	4-7	Base
b	8-11	Base
c	12-15	Child

虚函数指针vfptr指向的虚函数vftable表如下：

基类指针指向基类对象（普通用法）

baseptr指向的对象的内存分布如下：

内存偏移	变量	归属
vfptr	0-3	Base
a	4-7	Base
b	8-11	Base

虚函数指针vfptr指向的虚函数vftable表如下：

纯虚函数

可以理解为不带实现的虚函数，类似于Java中的接口，eg:

class Base       
{// 抽象类
public:
	int a;
	int b;
	virtual void fun1() = 0; // 纯虚函数
};

• C++中包含纯虚函数的类，被称为是抽象类，它只能被继承，不能new出对象
• 纯虚函数通过被子类继承，也可以实现运行时的多态

多重继承

在前面的例子中，派生类都只有一个基类，称为单继承。除此之外，C++也支持多继承，即一个派生类继承自多个基类。
多继承容易让代码逻辑复杂、思路混乱，一直备受争议，后来一些高级编程语言不再支持多继承（Java等）
其中一个著名问题为菱形继承

#include <iostream>

class A
{
public:
	int a;
};

class B : public A
{
public:
	int b;
};

class C : public A
{
public:
	int c;
};

class Target : public B, public C
{
public:
	int t;
};
int main(int argc, char* argv[])
{
	Target target;
	//target.a = 1; // 访问会出错，编译不通过
	target.B::a = 1;
	target.C::a = 2;  // 需要添加限定符

	return 0;
}

target在内存中的分布如下：

内存偏移	变量	归属
a	0-3	B
b	4-7	B
a	8-11	C
c	12-15	C
d	16-19	Target

可以看到，如果不利用域限定需要访问的函数，那么就会出现模糊调用的问题；虚继承可以用来解决多继承中的二义性问题，并且节约内存空间（只利用vbptr存储一份拷贝）

虚继承解决二义性与数据冗余的原理

#include <iostream>

class A
{
public:
	int a;
};

class B : virtual public A
{
public:
	int b;
};

class C : virtual public A
{
public:
	int c;
};

class Target : public B, public C
{
public:
	int t;
};
int main(int argc, char* argv[])
{
	Target target;

	target.a = 1;

	return 0;
}

target在内存中的分布如下：

内存偏移	变量	归属	偏移值(vbptr)
vbptr	0-3	B	20
b	4-7	B
vbptr	8-11	C	12
c	12-15	C
t	16-19	Target
a	20-23	A

vbptr 中的偏移量加上vbptr相对Target首地址的偏移，即为a的地址