虚函数、虚函数表
C++过虚函数表实现了虚函数与对象的动态绑定,一个对象有一个或多个vptr
为了实现C++的多态,C++使用了一种动态绑定的技术,其核心是虚函数表(简称虚表, virtual table)
每个包含虚函数的类都包含了一个虚表
一个类继承了包含虚函数的基类,那么这个类也就拥有了自己的虚表
虚表是一个指针数组,其元素是虚函数的指针,每个元素对应一个虚函数的函数指针。
普通函数不是虚函数,其调用不需要经过虚表,所以虚表的元素并不包括普通函数的函数指针
虚表内的条目,即虚函数指针的赋值发生在编译器的编译阶段,(所以再代码编译阶段,虚表就构造出来了)
虚表是属于类的,而不是属于某个具体的对象,一个类只需要一个虚表,同一个类的所有对象都使用同一个虚表。编译器在类中添加了一个指针 *__vptr
一个继承类的基类如果包含虚函数,那么这个继承类也就拥有了自己的虚表。
虚函数
虚函数表
#include <iostream>
using namespace std;
class A{
public: A() : m_data1(0), m_data2(0) {}
virtual void vfunc1() { cout << "A::vfunc1" << endl; };
virtual void vfunc2() { cout << "A::vfunc2" << endl; };
void func1() { cout << "A::func1" << endl; };
void func2() { cout << "A::func2" << endl; };
private: int m_data1, m_data2;};
class B : public A{
public: B() : A(), m_data3(0) {}
virtual void vfunc1() { cout << "B::vfunc1" << endl; };
void func1() { cout << "B::func1" << endl; };
private: int m_data3;};
class C : public B{
public: C() : B(), m_data1(0), m_data4(0) {}
virtual void vfunc2() { cout << "C::vfunc2" << endl; };
void func2() { cout << "C::func2" << endl; };
private: int m_data1, m_data4;};
int main(){
B bObject;
A *p = &bObject;
p->vfunc1();
cout << "**************" << endl;
A aObject = (A)bObject;
aObject.vfunc1();
cout << "**************" << endl;
C cObject;
p = &cObject;
p->vfunc1();
p->vfunc2();
cout << "**************" << endl;
bObject.func1();
bObject.func2();
bObject.A::func1();
cObject.A::func1();
cObject.func2();
system("pause");}