c++多态原理

目录

虚函数表

虚函数表指针： 

虚函数表： 

打印虚表：

---

 

虚函数表

虚函数表指针： 

--> 前提在 32 位操作系统 指针为4 byte

  计算sizeof(Base)的大小   

class Base
{
public:
    virtual void Func1()
    {
        cout << "Func1()" << endl;
    }
    virtual void Func2()
    {
        cout << "Func2()" << endl;
    }
private:
    int _b = 1;
    int _c = 2;
};
int main()
{
    Base b;
    cout << sizeof(b) << endl;
	return 0;
}

 如果按照对齐规则来看：那么sizeof(b)的大小为 8 

 但是实际上sizeof(b)的大小为12多了4byte 

通过vs的监视窗口来观察一下Base b 的成员(成员函数默认不在对象内，在代码段)，通过观察发现b中新增了_vfptr（v代表virtual，f代表function）, 可以看出_vfptr的值是一个指针，即为虚函数表指针，也称虚表指针

-->一个含有虚函数的类中至少有一个虚表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也称虚表。

---

虚函数表： 

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:
    virtual void Func1()
    {
        cout << "Derive::Func1()" << endl;
    }
private:
    int _d = 2;
};

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

通过vs的监视窗口可以得知：

1. 派生类对象 d 成员中也有虚表指针
2. 基类b对象和派生类d对象虚表是不一样的，这里我们发现Func1完成了重写，所以d的虚表
   中存的是重写的Derive::Func1，所以虚函数的重写也叫作覆盖，覆盖就是指虚表中虚函数
   的覆盖。重写是语法的叫法，覆盖是原理层的叫法。
3. 另外Func2继承下来后是虚函数，所以放进了虚表，Func3也继承下来了，但是不是虚函
   数，所以不会放进虚表
4. 虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个nullptr

总结一下派生类的虚表生成：①先将虚表内容拷贝一份到派生类虚表中 ②如果派生类重写了基类的某个虚函数，就用派生类的虚函数覆盖基类的虚函数 ③派生类自己新加的虚函数 按声明顺序依次添加到虚表后 

Q：虚函数存在哪的？虚表存在哪的？：切记虚表存的是虚函数的指针，并不是虚函数，虚函数和普通函数一样，都是存在代码段中的，仅仅是他的指针存到虚表中。另外对象中存的不是虚表，存的是虚表指针。

---

 

-->打印虚表<--

 对于单继承来说的话 ，我们只需要打印对象的首元素的地址即可找到虚表

 

 通过内存和监视窗口可以得出 ，对象中前四个字节就是虚表的地址

（关闭调试后再进行运行地址会发生变化，但是规律是不变的）

typedef void(*vfptr)();
void Printvfptr(vfptr* table)
{
    for (int i = 0; table[i] != nullptr; i++)
    {
        printf("%d:%p\n", i, table[i]);
    }
    cout << endl;
}
int main()
{
    Base b;
    Derive d;
    Printvfptr((vfptr*)*(int*)&b);//int *可以改成int** 这样就可以自动适配32位或者64位的系统
    Printvfptr((vfptr*)*(int*)&d);
    return 0;
}

1.首先虚函数指针是一个函数指针 所以为了方便 将函数指针重命名为vfptr 

我们要找到d的前四个字节的内容(虚表指针)，再传给Printvfptr()函数，我们是在32位下vs进行，所以指针是4byte ，所以先&b取出的地址将它转化成指针，再将其转化成指针类型，再解引用得到四个字节。同时我们接收且打印的是vfptr类型的函数指针，所以还需要用(vfptr*)进行强转

---

-->虚表的位置<--
 

 

                观察得知虚表的位置大致处于 数据段左右大于数据段 

---

 -->多继承中的虚表<--

 

class Base1 {
public:
    virtual void func1() { cout << "Base1::func1" << endl; }
    virtual void func2() { cout << "Base1::func2" << endl; }
private:
    int b1;
};

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;
};
int main()
{
    Derive d;

 

通过观察可以知道对象d 中有两个虚函数表分别继承的基类Base1虚函数地址和Base2的虚函数地址，而类Derive特有的函数func3()存放在第一个虚表指针指向的虚表中。

Printvfptr((vfptr*)*(void**)((char*)&a+sizeof(Base1));

 这样就可以打印第二个虚表的地址了（char*）的目的是为了后面+sizeof(Base1)的时候是一个字节一个字节的加,让他跳过第一个虚表。