单/多继承

• 单继承
  测试源码

LOG日志

内存情况

可以看到实际上单继承就是把 baseClass 的成员变量完全copy了一份放在了我们childClass的前面

• 多继承

其实也都是成员变量按顺序往后排就完事

虚函数

由上我们可以看到这两个Class的地址的开始位置都多了一个指针，指针后面的才是我们真实的结构体值，这第一个指针就是 vptr(虚函数指针)，指向了虚函数表，然后再去读一下这个指针

此时打开IDA验证一下这前两个地址就是真实的函数地址
// IDA查看地址

同理我们去看看另一个childClass类也会得到类似的结果

第一二三个：明显就是对应的虚函数具体的函数地址
第四五个：应该是和 C++中的RTTI机制 相关

// IDA查看地址

简单归纳一下：

1. 继承这种操作其实就是得到了一个父类数据结构的副本，他们的vptr和属于子类部分的数据结构都是独有的
2. 继承后父类的虚函数表也会被子类完全继承。若无覆盖时，子类的虚函数表会完全拷贝一份父类的虚函数表项，并将自己子类的虚函数表项拼接在上表后面
3. 如果子类覆盖了父类的某一个虚函数，虚函数表项值改变顺序不变

这里简单的提及了一下，更详细的关于虚函数的介绍可以查看 这篇文章

至于里面提到的关于 安全性 的反思：

1. Base1 b1 = new Derive(); 将子类的指针转为一个父类指针，只是在c++语法上限制了其对部分操作的可能性。 "子类中的未覆盖父类的成员函数" ，对它的理解应该是：它本是是什么还是什么，语法上的限制完全可以使用指针操作来实现一定程度和语法的背道而驰。他提出的第二点 *"访问non-public的虚函数" 其实和上述这一点也差不多的意思
2. 补充一点：其实对于继承中的成员变量也有同样类似的效果，父类不管把成员的访问权限设置为什么，其实子类都有一个完整的拷贝，同样可以通过指针操作绕过c++语法的禁止，去访问并修改父类非公开成员变量

拷贝构造

• 源码以及汇编情况

// 全局视图

• 列举出以下的几种情况

  1. 函数参数值传递（值传递和引用传递）
  • 参见 test1 test2 可见：
    值传递对于基础数据类型会直接mov出一个副本，值传递对象(class/struct)的话会调用对象的拷贝构造函数得到一个新的副本，所以对于类对象太大的情况建议使用指针传递或者使用引用传递（指针传递和引用传递在汇编层面其实是一样的都是传递了一个指针[见上图]）
  • 参见 test3 可见：
    test3进行了值传递，在进入函数前先对ChildClass调用了一次拷贝构造函数，将栈上拷贝出来的该类传递进了 test3
  1. 函数返回值
  • 参见 test4 可见：
    test4 和 test3 同样在调用前都先调用了一次拷贝构造函数，但是test4的第一个参数是在栈上提前申请好预留给test4返回的空间，第二个参数为拷贝好的指向副本的类指针，进入test4后也会发现在内部在调用了一次拷贝构造函数，也就是说值传递加上返回值这种写法相比直接引用传递会多调用两次拷贝构造函数
  1. 从一个类创建另一个类
  • 参见 test1(v4) 上面的两句：
    其实也是调用的拷贝构造函数，v4指向的拷贝好的类在栈上的首地址，第一个代表读取vptr，第二个代表读取vtable的第一个函数（child2->showLOG();就是ChildClass的第一个虚函数），然后再把自己（v4）当成this传递给这个虚函数调用
    4.拷贝构造拷贝父类
    • 详见下图
      // 由编译器为我们生成的拷贝构造函数
      

// 由我们自己编写的拷贝构造函数

// 虚函数表

由此可见调用子类的拷贝构造函数会先调用父类的构造函数，然后在调用当前类的拷贝构造，这里的off_85600就是 vptr ，从虚函数表中也可以看见，子类覆盖了父类的虚函数就会指向子类的虚函数，若没有覆盖，表项中依旧是指向父类的函数地址，而且顺序是按照父类的虚函数表顺序排列，子类中父类没有的虚函数会按顺序继续排在后面，不同类的虚函数表其实都是在编译期就已经确定了的，不同类的虚函数表处于临近的内存区域

类的 构造/析构 函数调用时机

• 详见下图（ChildClass中新增了一个析构函数）
  // 新增析构函数
  

类继承权限

• 类的继承权限并不会影响子类继承父类子类所拥有的父类的成员变量个数，换句话说，不管父类的成员变量是什么权限，之类都完全拥有一份父类的成员变量的拷贝（这里就不展示）

类型的强转

• 主要是针对 dynamic_cast 向下转型的情况

  1 2 3 4 5 6 7 8 9 10 11 12 13 14

  BaseClass* baseTmp = dynamic_cast*>(child1); if (baseTmp!= nullptr){     baseTmp->showLOG1(); }   BaseClass* baseTmp1 = static_cast*>(child1); if (baseTmp1!= nullptr){     baseTmp1->showLOG1(); }   ChildClass* baseTmp2 = dynamic_cast*>(baseTmp); if (baseTmp2!= nullptr){     baseTmp2->showLOG1(); }

// 向下转型

1. 由上两图可见对于类 向上转型 dynamic_cast 和 static_cast 本质是一样的，没有做任何处理
2. dynamic_cast 向下转型的时候是借助了 RTTI 机制，就是我们前面图中看到的vptr->vtable 除了虚函数以后的指针标识该类的类型用于动态类型转换，同样也是typeid这个操作符的信息来源，具体可以参考 这篇文章
3. 其实虚表什么的都是在编译期间就已经完全确定了，之前还误解以为动态类型转换中的向上转型可以让该子对象调用已经被子对象覆盖的父对象的方法，想多了想多了... 但是如果真想实现这样的"向上转型"也不是不行，借助指针去操作虚函数表即可 ↓
   // 实现所谓的"向上转型"
   

// 效果图

[注意]看雪招聘，专注安全领域的专业人才平台！