C++ 虚函数、对象、类对应的地址

在C++中的多态中，我们通过地址的访问来寻找虚函数、对象、类的地址。具体看代码实现

#include "stdafx.h"
#include <iostream>
using namespace std;

class A {
public:
    A() :i(10) {};
    virtual void f() {
        cout << "A::f()" << i << endl;
    }
    int i;
};

class B : public A {
public:
    B():j(20){}
    virtual void f() { cout << "B::f()" <<j<< endl; }
    int j;
};

int main()
{
    A a,b;       //定义A类的两个对象a b
    a.f();       //调用a.f()函数
    cout << sizeof(a) << endl;  //通过sizeof()函数得到a对大小
    int *p = (int*)&a;     // 定义指针p指向对象a的首地址（我们知道虚函数对应有虚函数表，如果没有虚函数，则没有虚函数表，所以这里a的首地址也是虚函数对应的指针vptr）
    cout << a.i << " " << b.i << endl;    //测试对象a.i和b.i的值

    int *q = (int*)&b;      //同样定义指针q指向对象b的首地址
    cout << *p << endl << *q << endl;     //
    if (*p == *q) { cout << "*p == *q" << endl; }   //同一个类的虚函数的首地址相同（注意是类）
    if (p == q) { cout << "p == q" << endl; }    //对象a和对象b的地址不同（这里是对象）
    int* x = (int*)*p;     //我们再定义一个指针x指向p所指那个对象所指向的地方（这里其实就是指向虚函数表，也就是*p和*q所指的地方）
    cout <<* x << endl;    //*x其实是
    cout << "x = "<<x << endl;  //这里输出的x是16进制的，转换为10进制的值应该和*p与*q都相等
    cout << *p << endl << *q << endl;
    cout << p << endl << q << endl;   //p和q指向的对象不同，故值也不同
    return 0;
}

为了更加直观的通过指针来访问虚函数，通过下面代码段来说明

#include <iostream>
using namespace std;

class Base {
public:
    virtual void f() { cout << "Base::f" << endl; }
    virtual void g() { cout << "Base::g" << endl; }
    virtual void h() { cout << "Base::h" << endl; }
};
typedef void(*Fun)(void);

int main()
{
    Base b;
    Fun pFun = NULL;
    cout << "对象b地址：" << (int*)(&b) << endl;
    cout << "虚函数表地址：" << (int*)*(int*)(&b) << endl;
    cout << "虚函数表 — 第一个函数地址：" << (int*)*(int*)(&b) << endl;
    pFun = (Fun)*((int*)*(int*)(&b));
    pFun();
    return 0;
}

指针访问如图所示

当我们定义一个Class1 a的对象的时候，a的首地址&a指向vptr，而vptr是一个指针，指向虚函数表的首地址。
总结 ：

• 在上面代码中，p和q指向的是两个对象，而在C++中，函数并不属于对象，而是属于类的，所以*p和*q 如果指向同一个类，两个值会相等
• 存在虚函数的类实例首地址内容指向其对应的虚函数表
• -