C++第51课--C++ 对象模型分析(下)

本文学习自 狄泰软件学院 唐佐林老师的 C++课程

---

实验1：继承模型初探，继承情况下 对象模型的内存分布
实验2：证明虚函数指针的存在
实验3：C实现虚函数，虚函数本质分析

---

实验1：继承模型初探，继承情况下 对象模型的内存分布

#include <iostream>

#include <string>
using namespace std;

class Demo
{
protected:
    int mi;
    int mj;
};

class Derived : public Demo
{
    int mk;
public:

    Derived(int i, int j, int k)
    {
        mi = i;
        mj = j;
        mk = k;
    }

    void print()
    {
        cout << "mi = " << mi << ", "
             << "mj = " << mj << ", "
             << "mk = " << mk << endl;
    }
};

//想证明  class Derived 类 在内存中的内存排布和  Test结构体一致，
/*
Derived d(1, 2, 3);
Test* p = reinterpret_cast<Test*>(&d);
如果 指针p 可以成功的访问修改 Derived 类，则说明 在内存意义上 Derived类和 Test 结构体的内存排布是一样的，内存类型上可以当做是同一个类型。
*/
struct Test
{
    int mi;
    int mj;
    int mk;
};

int main()
{
    cout << "sizeof(Demo) = " << sizeof(Demo) << endl;         
    cout << "sizeof(Derived) = " << sizeof(Derived) << endl;  

    Derived d(1, 2, 3);
    Test* p = reinterpret_cast<Test*>(&d);

    cout << "Before changing ..." << endl;

    d.print();

    p->mi = 10;
    p->mj = 20;
    p->mk = 30;

    cout << "After changing ..." << endl;

    d.print();

    return 0;

}

mhr@ubuntu:~/work/c++$ 
mhr@ubuntu:~/work/c++$ g++ 50-1.cpp
mhr@ubuntu:~/work/c++$ ./a.out 
sizeof(Demo) = 8
sizeof(Derived) = 12
Before changing ...
mi = 1, mj = 2, mk = 3
After changing ...
mi = 10, mj = 20, mk = 30
mhr@ubuntu:~/work/c++$ 

实验结果表明，Derived类的成员变量被成功的改变了，说明了 Derived 类在内存的排布和 Test结构体的内存排布是一样的，所以Test指针可以改变 Derived类中成员变量的值。

这个实验说明，在继承发生的情况下，对象模型很简单，就是父类的成员变量叠加上子类新定义的成员变量就是子类的全部成员变量。

类里面的访问权限关键字在运行的时候就失效了，如 private成员不能在类的外部直接访问，这一点仅仅是在编译的时候有效，也就是编译器进行语法检查的时候访问权限关键字是有效的，但是一旦编译通过，C++面向对象程序将变成二进制可执行程序，这时候就没有访问权限关键字的概念了，我们依旧可以通过指针，内存地址 直接修改成员变量的值。

---

多态和虚函数的关系：

多态是面相对象理念中的一个概念，它和具体的程序设计语言没有关系，多态指的仅仅是相同的行为方式(同一条调用语句)，不同的行为结果(执行结果不同)，通过同一个行为方式，行为结果是有可能不同的，表现出的是多种形态，这就是多态在C++面向对象语言中的具体表现形式，这个表现形式就会由具体的程序设计语言来实现，在C++中 这种多态的表现形式就是由虚函数来实现的。

虚函数的调用要经历三次寻址，才能最终确认add()函数的地址，所以多态的实现是通过牺牲效率而得到的，他的调用效率要比普通的成员函数的调用效率低，所以我们在设计程序的时候要考虑清楚一个成员函数有没有必要成为虚函数。

实验2：证明虚函数指针的存在

#include <iostream>
#include <string>

using namespace std;

class Demo
{
protected:
    int mi;
    int mj;
public:
    virtual void print()
    {
        cout << "mi = " << mi << ", "
             << "mj = " << mj << endl;
    }
};

class Derived : public Demo
{
    int mk;
public:
    Derived(int i, int j, int k)
    {
        mi = i;
        mj = j;
        mk = k;
    }
    
    void print()
    {
        cout << "mi = " << mi << ", "
             << "mj = " << mj << ", "
             << "mk = " << mk << endl;
    }
};


struct Test
{
    void* p;//模拟虚函数指针 在第一个位置
    int mi;
    int mj;
    int mk;
};

int main()
{
    cout << "sizeof(Demo) = " << sizeof(Demo) << endl;         
    cout << "sizeof(Derived) = " << sizeof(Derived) << endl;  
   
    return 0;
}

mhr@ubuntu:~/work/c++$ g++ 50-1.cpp
mhr@ubuntu:~/work/c++$ ./a.out 
sizeof(Demo) = 16
sizeof(Derived) = 24
mhr@ubuntu:~/work/c++$ 

打印结果如所料，增加了一个指针变量的大小，本系统64位，指针大小为8字节，对齐 也是 8字节对齐 #pragma pack(8)

实验3：C实现虚函数，虚函数本质分析
…待续