C++ 多态

目录

1.多态的概念

2.多态的定义及实现

(1)多态的构成条件 

(2)虚函数

(3) 虚函数重写

(4)虚函数重写的两个例外

(5)C++11 override和final 

(6)重载，覆盖(重写)，隐藏(重定义)比较 

3.抽象类 

(1)概念

(2)接口继承和实现继承

4.多态原理

(1)虚函数表

(2)虚函数表中到底放的是什么？  

(3)多态原理

(4)动态绑定和静态绑定

5.单继承和多继承关系的虚函数表

(1)单继承中的虚函数表

(2)多继承中的虚函数表

(3)菱形继承，菱形虚拟继承

6.继承和多态常见的面试问题

(1)继承和多态常见的面试问题

(2)简答题

---

        

 

1.多态的概念

多态就是函数调用的多种形态，使用多态能够使得不同的对象去完成同一件事时，产生不同的动作和结果。

• 在现实生活当中，普通人买票是全价，学生买票是半价，而军人允许优先买票。不同身份的人去买票，所产生的行为是不同的，这就是所谓的多态 。

                        

                                                

2.多态的定义及实现

(1)多态的构成条件 

多态是指不同继承关系的类对象，去调用同一函数，产生了不同的行为。在继承中要想构成多态需要满足两个条件：

• 必须通过基类的指针或者引用调用虚函数。
• 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写。

                 

 (2)虚函数

• 被virtual修饰的类成员函数被称为虚函数。

class Person
{
public:
	//被virtual修饰的类成员函数
	virtual void BuyTicket()
	{
		cout << "买票-全价" << endl;
	}
};

 提醒：

• 只有类的非静态成员函数前可以加virtual，普通函数前不能加virtual。
• 虚函数这里的virtual和虚继承中的virtual是同一个关键字，但是它们之间没有任何关系。虚函数这里的virtual是为了实现多态，而虚继承的virtual是为了解决菱形继承的数据冗余和二义性。

                         

(3) 虚函数重写

• 虚函数的重写也叫做虚函数的覆盖，若派生类中有一个和基类完全相同的虚函数(返回值类型相同、函数名相同以及参数列表完全相同)，此时我们称该派生类的虚函数重写了基类的虚函数。

         

①Student和Soldier两个子类重写了父类Person的虚函数。

//父类
class Person
{
public:
	//父类的虚函数
	virtual void BuyTicket()
	{
		cout << "买票-全价" << endl;
	}
};

//子类
class Student : public Person
{
public:
	//子类的虚函数重写了父类的虚函数
	virtual void BuyTicket()
	{
		cout << "买票-半价" << endl;
	}
};

//子类
class Soldier : public Person
{
public:
	//子类的虚函数重写了父类的虚函数
	virtual void BuyTicket()
	{
		cout << "优先-买票" << endl;
	}
};

                 

 ②可以通过父类Person的指针或者引用调用虚函数BuyTicket，此时不同类型的对象，调用的就是不同的函数，产生的也是不同的结果，进而实现了函数调用的多种形态。

void Func(Person& p)
{
	//通过父类的引用调用虚函数
	p.BuyTicket();
}

void Func(Person* p)
{
	//通过父类的指针调用虚函数
	p->BuyTicket();
}

int main()
{
	Person p;   //普通人
	Student st; //学生
	Soldier sd; //军人

	Func(p);  //买票-全价
	Func(st); //买票-半价
	Func(sd); //优先买票

	Func(&p);  //买票-全价
	Func(&st); //买票-半价
	Func(&sd); //优先买票
	return 0;
}

         

③在重写基类虚函数时，派生类的虚函数不加virtual关键字也可以构成重写，主要原因是因为继承后基类的虚函数被继承下来了，在派生类中依旧保持虚函数属性。但是这种写法不是很规范，因此建议在派生类的虚函数前也加上virtual关键字。

        

(4)虚函数重写的两个例外

协变（基类与派生类虚函数的返回值类型不同） 

• 派生类重写基类虚函数时，与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用，派生类虚函数返回派生类对象的指针或者引用，称为协变。

                 

①基类Person当中的虚函数fun的返回值类型是基类A对象的指针，派生类Student当中的虚函数fun的返回值类型是派生类B对象的指针，此时也认为派生类Student的虚函数重写了基类Person的虚函数。

//基类
class A
{};

//子类
class B : public A
{};

//基类
class Person
{
public:
	//返回基类A的指针
	virtual A* fun()
	{
		cout << "A* Person::f()" << endl;
		return new A;
	}
};

//子类
class Student : public Person
{
public:
	//返回子类B的指针
	virtual B* fun()
	{
		cout << "B* Student::f()" << endl;
		return new B;
	}
};

                 

②我们通过父类Person的指针调用虚函数fun，父类指针若指向的是父类对象，则调用父类的虚函数，父类指针若指向的是子类对象，则调用子类的虚函数。

int main()
{
	Person p;
	Student st;

	//父类指针指向父类对象
	Person* ptr1 = &p;
	//父类指针指向子类对象
	Person* ptr2 = &st;

	//父类指针ptr1指向的p是父类对象，调用父类的虚函数
	ptr1->fun(); //A* Person::f()

	//父类指针ptr2指向的st是子类对象，调用子类的虚函数
	ptr2->fun(); //B* Student::f()
	return 0;
}

                

析构函数的重写（基类与派生类析构函数的名字不同） 

• 如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。 
• 虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor

 

①父类Person和子类Student的析构函数构成重写。 

//父类
class Person
{
public:
	virtual ~Person()
	{
		cout << "~Person()" << endl;
	}
};

//子类
class Student : public Person
{
public:
	virtual ~Student()
	{
		cout << "~Student()" << endl;
	}
};

                 

②父类和子类的析构函数构成重写的意义何在？

int main()
{
	//分别new一个父类对象和子类对象，并均用父类指针指向它们
	Person* p1 = new Person;
	Person* p2 = new Student;

	//使用delete调用析构函数并释放对象空间
	delete p1; // destructor() + operator delete(p1);
	delete p2; // destructor() + operator delete(p2);
	return 0;
}

• 在这种场景下，若是父类和子类的析构函数没有构成重写就可能会导致内存泄漏，因为此时delete p1和delete p2都是调用的父类的析构函数( 如果子类析构函数没有做什么清理工作也就没什么事如果子类析构函数有清理那么就存在资源泄漏  )，而我们所期望的是p1调用父类的析构函数，p2调用子类的析构函数，即我们期望的是一种多态行为。
• 此时只有父类和子类的析构函数构成了重写，才能使得delete按照我们的预期进行析构函数的调用，才能实现多态。
• 为了避免出现这种情况，比较建议将父类的析构函数定义为虚函数 : 父类的指针可能new出来的是父类的对象，也可能是子类的对象，只有析构函数是虚函数完成重写以后，才能实现多态，指针delete的时候指向父类调用父类的析构函数，指向子类调用子类的析构函数
   

③补充

• 在重写基类虚函数时，派生类的虚函数不加virtual关键字也可以构成重写，主要原因是因为继承后基类的虚函数被继承下来了，在派生类中依旧保持虚函数属性。但是这种写法不是很规范，因此建议在派生类的虚函数前也加上virtual关键字。 (可以理解为第三种例外)
• 它是这样认为的，子类是先继承了父类的虚函数，继承下来了就有了virtual属性，子类只是重写这个virtual函数。
• 严格来说，这个也算C++语言设计者的坑，严格来说，就不应该开这样的绿灯。
• C++这样设计也有自己的理由∶如果父类的析构函数加了virtual，子类加不加都一定完成了重写，就保证了delete时一定能实现多态的正确调用析构函数。

                 

(5)C++11 override和final 

• 从上面可以看出，C++对函数重写的要求比较严格，有些情况下由于疏忽可能会导致函数名的字母次序写反而无法构成重写，而这种错误在编译期间是不会报错的，直到在程序运行时没有得到预期结果再来进行调试会得不偿失，因此，C++11提供了final和override两个关键字，可以帮助用户检测是否重写。
   

①final：修饰虚函数，表示该虚函数不能再被重写。 

• 父类Person的虚函数BuyTicket被final修饰后就不能再被重写了，子类若是重写了父类的BuyTicket函数则编译报错。

//父类
class Person
{
public:
	//被final修饰，该虚函数不能再被重写
	virtual void BuyTicket() final
	{
		cout << "买票-全价" << endl;
	}
};

//子类
class Student : public Person
{
public:
	//重写，编译报错
	virtual void BuyTicket()
	{
		cout << "买票-半价" << endl;
	}
};

//子类
class Soldier : public Person
{
public:
	//重写，编译报错
	virtual void BuyTicket()
	{
		cout << "优先-买票" << endl;
	}
};

                 

②override：检查派生类虚函数是否重写了基类的某个虚函数，如果没有重写则编译报错。 

• 子类Student和Soldier的虚函数BuyTicket被override修饰，编译时就会检查子类的这两个BuyTicket函数是否重写了父类的虚函数，如果没有则会编译报错。

//父类
class Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票-全价" << endl;
	}
};

//子类
class Student : public Person
{
public:
	//子类完成了父类虚函数的重写，编译通过
	virtual void BuyTicket() override
	{
		cout << "买票-半价" << endl;
	}
};

//子类
class Soldier : public Person
{
public:
	//子类没有完成了父类虚函数的重写，编译报错
	virtual void BuyTicket(int i) override
	{
		cout << "优先-买票" << endl;
	}
};

                 

(6)重载，覆盖(重写)，隐藏(重定义)比较 

                

                        

3.抽象类 

 (1)概念

• 在虚函数的后面写上=0，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。

#include <iostream>
using namespace std;
//抽象类（接口类）
class Car
{
public:
	//纯虚函数
	virtual void Drive() = 0;
};

int main()
{
	Car c; //抽象类不能实例化出对象，error
	return 0;
}

• 派生类继承抽象类后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。

#include <iostream>
using namespace std;
//抽象类（接口类）
class Car
{
public:
	//纯虚函数
	virtual void Drive() = 0;
};

//派生类
class Benz : public Car
{
public:
	//重写纯虚函数
	virtual void Drive()
	{
		cout << "Benz-舒适" << endl;
	}
};

//派生类
class BMV : public Car
{
public:
	//重写纯虚函数
	virtual void Drive()
	{
		cout << "BMV-操控" << endl;
	}
};

int main()
{
	//派生类重写了纯虚函数，可以实例化出对象
	Benz b1;
	BMV b2;

	//不同对象用基类指针调用Drive函数，完成不同的行为
	Car* p1 = &b1;
	Car* p2 = &b2;
	p1->Drive();  //Benz-舒适
	p2->Drive();  //BMV-操控
	return 0;
}

                

抽象类既然不能实例化出对象，那抽象类存在的意义是什么？

• 抽象类可以更好的去表示现实世界中，没有实例对象对应的抽象类型，比如：植物、人、动物等。
• 抽象类很好的体现了虚函数的继承是一种接口继承，强制子类去重写纯虚函数，因为子类若是不重写从父类继承下来的纯虚函数，那么子类也是抽象类也不能实例化出对象。
   

                 

(2)接口继承和实现继承

• 实现继承： 普通函数的继承是一种实现继承，派生类继承了基类函数的实现，可以使用该函数。
• 接口继承： 虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态。
• 建议： 所以如果不实现多态，就不要把函数定义成虚函数

                

                

4.多态原理

(1)虚函数表

笔试题：Base类实例化出对象的大小是多少？ 

class Base
{
public:
	virtual void Func1()
	{
		cout << "Func1()" << endl;
	}
private:
	int _b = 1;
};

• 我们发现Base类实例化的对象b的大小是8个字节。

int main()
{
	Base b;
	cout << sizeof(b) << endl; //8
	return 0;
}

•  b对象当中除了_b成员外，实际上还有一个_vfptr放在对象的前面（有些平台可能会放到对象的最后面，这个跟平台有关）
• 对象中的这个指针叫做虚函数表指针，简称虚表指针，虚表指针指向一个虚函数表，简称虚表，每一个含有虚函数的类中都至少有一个虚表指针。

        

(2)虚函数表中到底放的是什么？  

 ①Base类当中有三个成员函数，其中Func1和Func2是虚函数，Func3是普通成员函数，子类Derive当中仅对父类的Func1函数进行了重写。

#include <iostream>
using namespace std;

//父类
class Base
{
public:
	//虚函数
	virtual void Func1()
	{
		cout << "Base::Func1()" << endl;
	}

	//虚函数
	virtual void Func2()
	{
		cout << "Base::Func2()" << endl;
	}

	//普通成员函数
	void Func3()
	{
		cout << "Base::Func3()" << endl;
	}
private:
	int _b = 1;
};

//子类
class Derive : public Base
{
public:
	//重写虚函数Func1
	virtual void Func1()
	{
		cout << "Derive::Func1()" << endl;
	}
private:
	int _d = 2;
};

int main()
{
	Base b;
	Derive d;
	return 0;
}

• 调试发现，父类对象b和基类对象d当中除了自己的成员变量之外，父类和子类对象都有一个虚表指针，分别指向属于自己的虚表。
• 实际上虚表当中存储的就是虚函数的地址，因为父类当中的Func1和Func2都是虚函数，所以父类对象b的虚表当中存储的就是虚函数Func1和Func2的地址。
• 而子类虽然继承了父类的虚函数Func1和Func2，但是子类对父类的虚函数Func1进行了重写，因此，子类对象d的虚表当中存储的是父类的虚函数Func2的地址和重写的Func1的地址。这就是为什么虚函数的重写也叫做覆盖，覆盖就是指虚表中虚函数地址的覆盖，重写是语法的叫法，覆盖是原理层的叫法。
• 其次需要注意的是：Func2是虚函数，所以继承下来后放进了子类的虚表，而Func3是普通成员函数，继承下来后不会放进子类的虚表。此外，虚函数表本质是一个存虚函数指针的指针数组，一般情况下会在这个数组最后放一个nullptr

                        

②派生类的虚表生成步骤如下：

1. 先将基类中的虚表内容拷贝一份到派生类的虚表。
2. 如果派生类重写了基类中的某个虚函数，则用派生类自己的虚函数地址覆盖虚表中基类的虚函数地址。
3. 派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。

③虚表是什么阶段初始化的？  又是在哪个阶段生成的？ 虚函数存在哪里？虚表存在哪里？

• 虚表实际上是在构造函数初始化列表阶段进行初始化的，编译时就生成好了
• 注意虚表当中存的是虚函数的地址不是虚函数，虚函数和普通函数一样，都是存在代码段的，只是他的地址又存到了虚表当中。另外，对象中存的不是虚表而是指向虚表的指针。
• 代码当中打印了对象b当中的虚表指针，也就是虚表的地址，可以发现虚表地址与代码段的地址非常接近，由此我们可以得出虚表实际上是存在代码段的。

int j = 0;
int main()
{
	Base b;
	Base* p = &b;
	printf("vfptr:%p\n", *((int*)p)); 

	int i = 0;
	printf("栈空间地址:%p\n", &i);      
	printf("数据段地址:%p\n", &j);    

	int* temp = new int;
	printf("堆空间地址:%p\n", temp);     
 
	const char* str = "hello world";
	printf("代码段地址:%p\n", str);   

                 

④ 虚函数放到虚表里面，这句话对吗?
不准确，虚表里面存放的是虚函数的地址，虚函数和普通函数一样，编译完成后，都是放在代码段的。

                

(3)多态原理

①下面代码中，为什么当父类Person指针指向的是父类对象Mike时，调用的就是父类的BuyTicket，当父类Person指针指向的是子类对象Johnson时，调用的就是子类的BuyTicket?

#include <iostream>
using namespace std;
//父类
class Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票-全价" << endl;
	}
	int _p = 1;
};

//子类
class Student : public Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票-半价" << endl;
	}
	int _s = 2;
};

int main()
{
	Person Mike;
	Student Johnson;
	Johnson._p = 3; //以便观察是否完成切片

	Person* p1 = &Mike;
	Person* p2 = &Johnson;
	p1->BuyTicket(); //买票-全价
	p2->BuyTicket(); //买票-半价
	return 0;
}

• 调试发现，对象Mike中包含一个成员变量_p和一个虚表指针，对象Johnson中包含两个成员变量_p和_s以及一个虚表指针，这两个对象当中的虚表指针分别指向自己的虚表。

分析便可得到多态的原理：

• 父类指针p1指向Mike对象，p1->BuyTicket在Mike的虚表中找到的虚函数就是Person::BuyTicket。
• 父类指针p2指向Johnson对象，p2>BuyTicket在Johnson的虚表中找到的虚函数就是Student::BuyTicket。

这样就实现出了不同对象去完成同一行为时，展现出不同的形态。
                

②重新思考多态构成的两个条件，一是完成虚函数的重写，二是必须使用父类的指针或者引用去调用虚函数。必须完成虚函数的重写是因为我们需要完成子类虚表当中虚函数地址的覆盖，那为什么必须使用父类的指针或者引用去调用虚函数呢？为什么使用父类对象去调用虚函数达不到多态的效果呢？

Person* p1 = &Mike;
Person* p2 = &Johnson;

• 使用父类指针或者引用时，实际上是一种切片行为，切片时只会让父类指针或者引用得到父类对象或子类对象中切出来的那一部分。
• 我们后序用p1和p2调用虚函数时，p1和p2通过虚表指针找到的虚表是不一样的，最终调用的函数也是不一样的。

---

Person p1 = Mike;
Person p2 = Johnson;

•  使用父类对象时，切片得到部分成员变量后，会调用父类的拷贝构造函数对那部分成员变量进行拷贝构造，而拷贝构造出来的父类对象p1和p2当中的虚表指针指向的都是父类对象的虚表。因为同类型的对象共享一张虚表，他们的虚表指针指向的虚表是一样的。
• 因此，我们后序用p1和p2调用虚函数时，p1和p2通过虚表指针找到的虚表是一样的，最终调用的函数也是一样的，也就无法构成多态。

         

 ③小结

1. 构成多态，指向谁就调用谁的虚函数，跟对象有关。
2. 不构成多态，对象类型是什么就调用谁的虚函数，跟类型有关。
3. 满足多态条件以后，构成多态∶  指针或者引用，调用虚函数时，不是编译时确定的，是运行时到指向的对象中的虚表中去找对应虚函数调用，所以指向的父类对象，调用的就是父类的虚函数，指向的是子类的对象，调用的就是子列的虚函数。
    

                

(4)动态绑定和静态绑定

• 静态绑定： 静态绑定又称为前期绑定(早绑定)，在程序编译期间确定了程序的行为，也成为静态多态，比如：函数重载。
• 动态绑定： 动态绑定又称为后期绑定(晚绑定)，在程序运行期间，根据具体拿到的类型确定程序的具体行为，调用具体的函数，也称为动态多态。

        

通过汇编进一步理解动态绑定和静态绑定

 ①按照如下方式调用BuyTicket函数，则不构成多态，函数的调用是在编译时确定的。

//父类
class Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票-全价" << endl;
	}
};
//子类
class Student : public Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票-半价" << endl;
	}
};

int main()
{
	Student Johnson;
	Person p = Johnson; //不构成多态
	p.BuyTicket();
	return 0;
}

• 将调用函数的那句代码翻译成汇编就只有以下两条汇编指令，也就是直接调用的函数。 

 

②如下方式调用BuyTicket函数，则构成多态，函数的调用是在运行时确定的。

int main()
{
	Student Johnson;
	Person* p = &Johnson; //构成多态
	p->BuyTicket();
	return 0;
}

• 相比不构成多态时的代码，构成多态时调用函数的那句代码翻译成汇编后就变成了八条汇编指令，主要原因就是我们需要在运行时，先到指定对象的虚表中找到要调用的虚函数，然后才能进行函数的调用

③ 这样就很好的体现了静态绑定是在编译时确定的，而动态绑定是在运行时确定的。

                

                

                        

5.单继承和多继承关系的虚函数表

(1)单继承中的虚函数表

//基类
class Base
{
public:
	virtual void func1() { cout << "Base::func1()" << endl; }
	virtual void func2() { cout << "Base::func2()" << endl; }
private:
	int _a;
};

//派生类
class Derive : public Base
{
public:
	virtual void func1() { cout << "Derive::func1()" << endl; }
	virtual void func3() { cout << "Derive::func3()" << endl; }
	virtual void func4() { cout << "Derive::func4()" << endl; }
private:
	int _b;
};

①基类和派生类对象的虚表模型

 

②单继承关系当中，派生类的虚表生成过程如下：

1. 继承基类的虚表内容到派生类的虚表。
2. 对派生类重写了的虚函数地址进行覆盖，比如func1。
3. 虚表当中新增派生类当中新的虚函数地址，比如func3和func4

                 

在调试过程中，某些编译器的监视窗口当中看不到虚表当中的func3和func4，可能是编译器的监视窗口故意隐藏了这两个函数，也可以认为这是一个小bug，此时如果我们想要看到派生类对象完整的虚表有两个方法。

1.使用内存监视窗口

• 使用内存监视窗口看到的内容是最真实的，我们调出内存监视窗口，然后输入派生类对象当中的虚表指针，即可看到虚表当中存储的四个虚函数地址。 

 

 2.使用代码打印虚表内容

• 我们可以使用以下代码，打印上述基类和派生类对象的虚表内容，在打印过程中可以顺便用虚函数地址调用对应的虚函数，从而打印出虚函数的函数名，这样可以进一步确定虚表当中存储的是哪一个函数的地址。

 思路：取出b、d对象的头4bytes，就是虚表的指针，前面我们说了虚函数表本质是一个存虚函数指针的指针数组， 这个数组最后面放了一个nullptr

• 1.先取b的地址，强转成一个int*的指针
• 2.再解引用取值，就取到了b对象头4bytes的值，这个值就是指向虚表的指针
• 3.再强转成VFPTR*，因为虚表就是一个存VFPTR类型(虚函数指针类型)的数组。
• 4.虚表指针传递给PrintVTable进行打印虚表
• 5.需要说明的是这个打印虚表的代码经常会崩溃，因为编译器有时对虚表的处理不干净

typedef void(*VFPTR) (); //定义一个函数指针 这里我们的每个虚函数类型都是 void name(),
                         //所以所有的函数指针类型一样 ，这里只是为了测试

void PrintVTable(VFPTR vTable[])
{
	// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
	cout << "虚表地址 -> " << vTable << endl;
	for (int i = 0; vTable[i] != nullptr; ++i)
	{
		printf("ptr[%d]:0X%p -> ", i, vTable[i]);
		VFPTR f = vTable[i]; //使用虚函数地址
		f(); //调用虚函数
	}
	cout << endl;
}

int main()
{
	Base b;
	PrintVTable((VFPTR*)(*(int*)&b)); //打印基类对象b的虚表地址及其内容

	Derive d;
	PrintVTable((VFPTR*)(*(int*)&d)); //打印派生类对象d的虚表地址及其内容
	return 0;
}

                 

(2)多继承中的虚函数表

//基类1
class Base1
{
public:
	virtual void func1() { cout << "Base1::func1()" << endl; }
	virtual void func2() { cout << "Base1::func2()" << endl; }
private:
	int _b1;
};

//基类2
class Base2
{
public:
	virtual void func1() { cout << "Base2::func1()" << endl; }
	virtual void func2() { cout << "Base2::func2()" << endl; }
private:
	int _b2;
};

//多继承派生类
class Derive : public Base1, public Base2
{
public:
	virtual void func1() { cout << "Derive::func1()" << endl; }
	virtual void func3() { cout << "Derive::func3()" << endl; }
private:
	int _d1;
};

①基类虚表模型

 

②派生类基表模型

         

③在多继承关系当中，派生类的虚表生成过程如下：

• 分别继承各个基类的虚表内容到派生类的各个虚表当中。
• 对派生类重写了的虚函数地址进行覆盖(派生类中的各个虚表中存有该被重写虚函数地址的都需要进行覆盖)，比如func1。
• 在派生类第一个继承基类部分的虚表当中新增派生类当中新的虚函数地址，比如func3。
   

在调试时，在某些编译器下也会出现显示不全的问题，此时如果我们想要看到派生类对象完整的虚表用两种方法。 

1.使用内存窗口监视

                 

2.使用函数打印虚表

• 在派生类第一个虚表地址的基础上，向后移 sizeof(Base1)个字节即可得到第二个虚表的地址。

typedef void(*VFPTR) (); //定义一个函数指针 这里我们的每个虚函数类型都是 void name(),
                         //所以所有的函数指针类型一样 ，这里只是为了测试

void PrintVTable(VFPTR vTable[])
{
	// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
	cout << "虚表地址 -> " << vTable << endl;
	for (int i = 0; vTable[i] != nullptr; ++i)
	{
		printf("ptr[%d]:0X%p -> ", i, vTable[i]);
		VFPTR f = vTable[i]; //使用虚函数地址
		f(); //调用虚函数
	}
	cout << endl;
}

int main()
{
	   
		
	Base1 b1;
	Base2 b2;
	cout << "基类b1";
	PrintVTable((VFPTR*)(*(int*)&b1)); //打印基类对象b1的虚表地址及其内容
	cout << "基类b2";
	PrintVTable((VFPTR*)(*(int*)&b2)); //打印基类对象b2的虚表地址及其内容
	Derive d;

	cout << "派生类第一个";
	PrintVTable((VFPTR*)(*(int*)&d)); //打印派生类对象d的第一个虚表地址及其内容
	cout << "派生类第二个";
	PrintVTable((VFPTR*)(*(int*)((char*)&d + sizeof(Base1)))); //打印派生类对象d的第二个虚表地址及其内容

	return 0;
}

         

 (3)菱形继承，菱形虚拟继承

• 实际中我们不建议设计出菱形继承及菱形虚拟继承，一方面太复杂容易出问题，另一方面这样的模型，访问基类成员有一定得性能损耗。

                

                        

6.继承和多态常见的面试问题

(1)继承和多态常见的面试问题

①下面哪种面向对象的方法可以让你变得富有（）

A.继承 B.封装 C.多态 D.抽象

        

②是面向对象程序设计语言中的一种机制，这种机制实现了方法的定义与具体的对象无关，而方法的调用则可以关联于具体的对象。

A.继承 B.模板 C.对象的自身引用 D.动态绑定

        

③关于面向对象设计中的继承和组合，下面说法错误的是（）

• A.继承允许我们覆盖重写父类的实现细节，父类的实现对于子类是可见的，是一种静态复用，也称为白盒复用。
• B.组合的对象不需要关系各自的实现细节，之间的关系是在运行时候才确定的，是一种动态复用，也称为黑盒复用。
• C.优先使用继承，而不是组合，是面向对象设计的第二原则。
• D.继承可以使子类能自动继承父类的接口，但在设计模式中认为这是一种破坏了父类的封装性的表现。

④以下关于纯虚函数的说法，正确的是（）

• A.声明纯虚函数的类不能实例化对象
• B.声明纯虚函数的类是虚基类
• C.子类必须实现基类的纯虚函数
• D.纯虚函数必须是空函数

⑤关于虚函数的描述正确的是（）

• A.派生类的虚函数与基类的虚函数具有不同的参数个数和类型
• B.内联函数不能是虚函数
• C.派生类必须重新定义基类的虚函数
• D.虚函数可以是一个static型的函数

⑥关于虚表的说法正确的是（）

• A.一个类只能有一张虚表
• B.基类中有虚函数，如果子类中没有重写基类的虚函数，此时子类与基类共用同一张虚表
• C.虚表是在运行期间动态生成的
• D.一个类的不同对象共享该类的虚表

⑦假设A类中有虚函数，B继承自A，B重写A中的虚函数，也没有定义任何虚函数，则（）

• A .A类对象的前4个字节存储虚表地址，B类对象的前4个字节不是虚表地址
• B. A类对象和B类对象前4个字节存储的都是虚基表的地址
• C .A类对象和B类对象前4个字节存储的虚表地址相同
• D. A类和B类虚表中虚函数个数相同，但A类和B类使用的不是同一张虚表

        

⑧下面程序输出结果是什么？

#include <iostream>
using namespace std;
class A
{
public:
	A(char* s) { cout << s << endl; }
	~A() {};
};
class B : virtual public A
{
public:
	B(char* s1, char* s2)
		:A(s1)
	{
		cout << s2 << endl;
	}
};
class C : virtual public A
{
public:
	C(char* s1, char* s2)
		:A(s1)
	{
		cout << s2 << endl;
	}
};
class D : public B, public C
{
public:
	D(char* s1, char* s2, char* s3, char* s4)
		:B(s1, s2)
		, C(s1, s3)
		, A(s1)
	{
		cout << s4 << endl;
	}
};
int main()
{
    //初始列表执行顺序和声明有关，继承成员声明顺序，是按继承顺序算的
	D* p = new D("class A", "class B", "class C", "class D");
	delete p;
	return 0;
}

• A.class A class B class C class D
• B.class D class B class C class A
• C.class D class C class B class A
• D.class A class C class C class D

         

 ⑨下面说法正确的是？（多继承中指针的偏移问题）

class Base1
{
public:
	int _b1;
};
class Base2
{
public:
	int _b2;
};
class Derive : public Base1, public Base2
{
public:
	int _d;
};

int main()
{
	Derive d;
	Base1* p1 = &d;
	Base2* p2 = &d;
	Derive* p3 = &d;
	return 0;
}

• A.p1 == p2 == p3
• B.p1 < p2 < p3
• C.p1 == p3 != p2
• D.p1 != p2 != p3

                 

⑩ 以下程序输出结果是什么？

#include <iostream>
using namespace std;
class A
{
public:
	virtual void func(int val = 1)
	{
		cout << "A->" << val << endl;
	}
	virtual void test()
	{
		func();
	}
};
class B : public A
{
public:
	void func(int val = 0) //虚函数重写，重写的是函数的实现，继承父类的接口定义
	{
		cout << "B->" << val << endl;
	}
};
int main()
{
	B* p = new B;
	p->test();
	return 0;
}

A.A->0 B.B->1 C.A->1 D.B->0     E.编译错误 F.以上都不正确

        

答案：

题号	答案	题号	答案
1	A	6	D
2	D	7	D
3	C	8	A
4	A	9	C
5	B	10	B

        

(2)简答题

1. 什么是多态？

• 多态是指不同继承关系的类对象，去调用同一函数，产生了不同的行为。多态又分为静态的多态和动态的多态。

2. 什么是重载、重写(覆盖)、重定义(隐藏)？

• 重载是指两个函数在同一作用域，这两个函数的函数名相同，参数不同。
• 重写(覆盖)是指两个函数分别在基类和派生类的作用域，这两个函数的函数名、参数、返回值都必须相同(协变例外)，且这两个函数都是虚函数。
• 重定义(隐藏)是指两个函数分别在基类和派生类的作用域，这两个函数的函数名相同。若两个基类和派生类的同名函数不构成重写就是重定义。

3. 多态的实现原理？

• 构成多态的父类对象和子类对象的成员当中都包含一个虚表指针，这个虚表指针指向一个虚表，虚表当中存储的是该类对应的虚函数地址。
• 当父类指针指向父类对象时，通过父类指针找到虚表指针，然后在虚表当中找到的就是父类当中对应的虚函数；当父类指针指向子类对象时，通过父类指针找到虚表指针，然后在虚表当中找到的就是子类当中对应的虚函数。

4. inline函数可以是虚函数吗？

• 我们知道内联函数是会在调用的地方展开的，也就是说内联函数是没有地址的，但是内联函数是可以定义成虚函数的，当我们把内联函数定义虚函数后，编译器就忽略了该函数的内联属性，这个函数就不再是内联函数了，因为需要将虚函数的地址放到虚表中去。

5. 静态成员函数可以是虚函数吗？

• 静态成员函数不能是虚函数，因为静态成员函数没有this指针，使用类型::成员函数的调用方式无法访问虚表，所以静态成员函数无法放进虚表。

6. 构造函数可以是虚函数吗？

• 构造函数不能是虚函数，因为对象中的虚表指针是在构造函数初始化列表阶段才初始化的
• 没有对象哪来虚表

7. 析构函数可以是虚函数吗？什么场景下析构函数是虚函数？

• 析构函数可以是虚函数，并且最后把基类的析构函数定义成虚函数。若是我们分别new一个父类对象和一个子类对象，并均用父类指针指向它们，当我们使用delete调用析构函数并释放对象空间时，只有当父类的析构函数是虚函数的情况下，才能正确调用父类和子类的析构函数分别对父类和子类对象进行析构，否则当我们使用父类指针delete对象时，只能调用到父类的析构函数。

8. 对象访问普通函数快还是虚函数更快？

• 对象访问普通函数比访问虚函数更快，若我们访问的是一个普通函数，那直接访问就行了，但当我们访问的是虚函数时，我们需要先找到虚表指针，然后在虚表当中找到对应的虚函数，最后才能调用到虚函数。

9. 虚函数表是在什么阶段生成的？存在哪的？ 

• 虚表是在构造函数初始化列表阶段进行初始化的，虚表一般情况下是存在代码段(常量区)的
• 构造函数初始化是吧虚表的地址放到对象里面存起来

10. C++菱形继承的问题？虚继承的原理？

• 菱形虚拟继承因为子类对象当中会有两份父类的成员，因此会导致数据冗余和二义性的问题。
• 虚继承对于相同的虚基类在对象当中只会存储一份，若要访问虚基类的成员需要通过虚基表获取到偏移量，进而找到对应的虚基类成员，从而解决了数据冗余和二义性的问题。

11.什么是抽象类？抽线类的作用？

• 抽象类很好的体现了虚函数的继承是一种接口继承，强制子类去抽象纯虚函数.
• 因为子类若是不抽象从父类继承下来的纯虚函数，那么子类也是抽象类也不能实例化出对象。
• 抽象类可以很好的去表示现实世界中没有示例对象对应的抽象类型，比如：植物、人、动物等。