内容来自: 传智播客 (学习C++基础的朋友,我强烈推荐传智播客的传智扫地僧的课程,真是我迄今为止见过将C++讲的最好的老师,没有别人。。)
#include<iostream>
using namespace std;
// 多态
class A {
public:
int a;
A(int a) {
this->a = a;
}
virtual void print() {
cout << "执行基类成员函数" << endl;
cout << a << endl;
}
};
class B :public A {
public:
int b;
B(int a, int b) :A(a) {
this->b = b;
}
virtual void print() {
cout << "执行子类成员函数" << endl;
cout << b <<endl;
}
};
// 多态条件 : 基类指针指向子类对象
void playobj(A* base) {
base->print();
}
int main() {
A a(1);
B b(1, 2);
playobj(&a);
playobj(&b); // 所谓多态, 就是根据传入的对象灵活选择应该执行的函数,
// 一种函数具有多种表现形态,展示出多态。
}
上面代码满足多态实现的3个条件,所以playobj函数将会引发多态, 即传来父类对象,函数会执行父类的函数,传来子类对象,函数会执行子类对象。
但是这时要问一下自己, c++编译器真的有这么智能吗? 能够智能识别我们传入的对象,答案一定是否定的,C++编译器肯定对这种情景做了特殊了处理,只是对我们程序员是透明的,所以这引发我们对多态原理的探究。
c++ 多态的实现原理:
1. 当类中声明虚函数时,编译器会在类中生成一个虚函数表。
注意: 虚函数表是在每个类中都会生成,也就是说,你只要在类中写了virtual关键字, 编译器就会在此类中偷偷的生成一个虚函数表。
2. 那么虚函数表的作用是什么?
虚函数表是一个存储类成员函数指针的数据结构。(即虚函数的入口地址,,方便查询)
3. 虚函数表等我们程序员需要关心吗?
作为程序员,是不需要关心虚函数表的,虚函数表的所有操作都是由编译器自动完成的,也就是当你实现多态时,其实你已经使用了虚函数表,但是你并没有实际编写代码去实际操作虚函数表,这背后都是C++编译器偷偷帮我们完成了、
4. 既然C++编译器针对虚函数会生成虚函数表,那么它是怎么利用这个虚函数表?
由于c++函数在遇到虚函数时,会在每个类中分别创建虚函数表,所以当我们在创建对象时,c++编译器会为不同对象分别创建vptr指针,所以在上面代码的playobj函数中,C++编译器就会根据传统不同对象调用不同的vptr指针,造成一种多态的表像。