前言
在C++中,在基类中被声明为virtual并在在一个或多个派生类中被重新定义的成员函数就是虚函数。基本格式如下:
virtual (return_type) (func_name) (arg) {function body;}
我们可以通过指向派生类的基类指针或引用来调用派生类中同名覆盖的成员函数。
如下代码:
class A
{
public:
virtual void print(){cout<<"This is A"<<endl;}
};
class B : public A
{
public:
void print(){cout<<"This is B"<<endl;}
};
int main()
{
A a;
B b;
A *p1=&a;
A *p2=&b;
p1->print();//This is A
p2->print();//This is B
return 0;
}
究竟虚函数底层是如何实现多态调用的呢,那么下面就让我们来深度剖析下虚函数这个机制。
虚函数的底层实现
首先看如下两个类:
class A{//虚函数示例代码
public:
virtual void fun(){cout<<1<<endl;}
virtual void fun2(){cout<<2<<endl;}
};
class B : public A{
public:
void fun(){cout<<3<<endl;}
void fun2(){cout<<4<<endl;}
};
虽然类A跟B没有任何的数据成员,但是由于虚函数的存在,编译器在编译的时候会在两个类实例对象分别插入一个指向虚函数表vtbl的指针vptr。每个类都有自己的vtbl,当中保存着自己类中虚函数的地址。如下面图所示:
现在如果有如下代码
A *p=new A;
p->fun();//调用A::fun
上面代码是如何调用的呢?其实首先程序是先取出vptr的值,也就是vtbl的地址,根据这个值定位到vtbl,由于调用的函数A::func()是第一个虚函数,所以程序就取出vtbl的第一个slot的值即为第一个虚函数的地址,也就是A::fun()的地址,最后调用这个函数。
由上述分析可知,只要vptr不同,指向的vtbl就不同,不同的vtbl里装着对应的虚函数地址。
实例分析
下面我们通过分析一个例子来验证虚函数的底层实现,代码如下:
#include<iostream>
using namespace std;
class A{//虚函数示例代码2
public:
virtual void fun(){cout<<"A::fun"<<endl;}
virtual void fun2(){cout<<"A::fun2"<<endl;}
};
class B : public A{
public:
void fun(){cout<<"B::fun"<<endl;}
void fun2(){cout<<"B::fun2"<<endl;}
};//end//虚函数示例代码2
int main()
{
void(*fun)(A*);
A *p=new B;
long long lVptrAddr;
memcpy(&lVptrAddr,p,8);
memcpy(&fun,reinterpret_cast<long long*>(lVptrAddr),8);
fun(p);
delete p;
return 0;
}
分析代码:
1. void(fun)(A):首先我们定义了一个函数指针fun,其返回值为void,参数为A*。这个函数指针用来保存从vtbl取出的函数地址。
2. A *p=new B:接着我们new 一个B类的实例,将其申请的内存单元的地址的指针保存在A类型的指针p中,其实保存的就是vptr指针。
3. 接着我们定义一个long long类型来保存vptr的值,因为我用的编译器是64位的,指针的大小是64位,所以需要用long long类型来保存。
4. memcpy(&lVptrAddr,p,8): 该函数把p所指的8字节内存里的值复制到lVptrAddr里,复制的就是vptr指针指向的值,也就是vtbl的地址。
5. memcpy(&fun,reinterpret_cast<long long*>(lVptrAddr),8)
:取出vtbl中第一个slot的内容,并存放在函数指针fun里。由于lVptrAddr是vtbl的地址,但lVptrAddr不是指针,我们可以使用reinterpret_cast将其转换成long long *指针类型。
6. func(p):调用刚才取出的函数地址里面的函数,也就是B::fun()函数。
7. 如果想取出B::fun2()的话只需修改第五步的代码为memcpy(&fun,reinterpret_cast<long long*>(lVptrAddr)+1,8)
,依次类推。
虚函数需要注意的点:
(1)非类的成员函数不能定义为虚函数,类的成员函数中静态成员函数和构造函数也不能定义为虚函数,但可以将析构函数定义为虚函数。实际上,优秀的程序员常常把基类的析构函数定义为虚函数。因为,将基类的析构函数定义为虚函数后,当利用delete删除一个指向派生类定义的对象指针时,系统会调用相应的类的析构函数。而不将析构函数定义为虚函数时,只调用基类的析构函数。
(2)只需要在声明函数的类体中使用关键字“virtual”将函数声明为虚函数,而定义函数时不需要使用关键字“virtual”。
(3)当将基类中的某一成员函数声明为虚函数后,派生类中的同名函数(函数名相同、参数列表完全一致、返回值类型相关)自动成为虚函数。
(4)如果声明了某个成员函数为虚函数,则在该类中不能出现和这个成员函数同名并且返回值、参数个数、类型都相同的非虚函数。在以该类为基类的派生类中,也不能出现这种同名函数。
参考:
https://baike.baidu.com/item/%E8%99%9A%E5%87%BD%E6%95%B0/2912832?fr=aladdin