专栏首页逆向技术C++反汇编第五讲,认识多重继承,菱形继承的内存结构,以及反汇编中的表现形式.

C++反汇编第五讲,认识多重继承,菱形继承的内存结构,以及反汇编中的表现形式.

      C++反汇编第五讲,认识多重继承,菱形继承的内存结构,以及反汇编中的表现形式.

目录:

  1.多重继承在内存中的表现形式

    多重继承在汇编中的表现形式

  2.菱形继承

    普通的菱形继承

    虚继承

    汇编中的表现形式

一丶多重继承在内存中的表现形式

高级代码:

class Father1
{
    public:
        Father1(){}//空构造
        virtual ~Father1(){} //空析构
        virtual void Player(){}  //玩耍的函数
  int m_price;//金钱
};
class Father2
{
  public:
        Father2(){}
        virtual ~Father2(){}
        virtual void SetMoney(){}//设置金钱
  int m_Money;
};
class Child : public Father1, public Father2 //继承两个父类
{
    public:
        Child(){}
        virtual ~Child(){}
        virtual void Eat(){}//吃的函数

};
int main(int argc, char* argv[])
{
    Child  MyChild;  //只需要注意这里,以及继承两个父类的地方
    return 0;
}

通过main函数我们得知,我们生成了一个孩子类的对象.此时按照C/C++的规范,应该先从左往右依次构造父类1,父类2

此时的情况和我们昨天所讲的单继承里面,包含一个成员是一样的.但是有不同之处

1.在子类自身构造中会复写两次虚表.

2.在父类2指向子类的时候,会产生三木目运算的表达式.

2.观看反汇编中的表现形式.

1.main函数下,构造位置处

2.自身构造函数内部

 可以看出,自身构造中会产生如上代码,首先

1.先构造父类各自的虚表,相当于一开始父类1有父类1的虚表,父类2有父类2的虚表

2.然后自身构造的时候,分别对其自己的父类的虚表进行复写行为.通过这一点,可以简单的断定子类有两个父类.

Release下的反汇编

在Release下,因为我们的父类都是空的,所以直接优化了.

但是我们会发现有一个三木运算符的反汇编代码

neg eax

sbb eax,eax

lea ecx,[this] //获得this指针,简写了

and eax,ecx

这个是一个无分支三目运算的反汇编代码,在讲解C语言的反汇编的时候已经讲解过了,但为什么会出现这个.

首先

如果我们代码写成  father2  *p2 = &ch; 是没有问题的是把,  父类指针,指向了子类, 因为father2在内存中需要加便宜,所以直接加便偏移即可.

但是此时问题来了.如果我们写成

        father2 *p2 = NULL;

        p2 = &ch;  怎么办,此时还要不要加偏移了?

所以产生了一个三木运算的表达式

        p2 ? NULL  : NULL : p2 + offset;  在经过编译器的一优化,所以变成了上面的代码.

如果不懂father *p2 = &ch,那要从内存角度看了.首先看Debug下的反汇编.

我们的father2构造的位置是在内存+8的位置进行构造的,所以此时你如果father2的指针指向子类,那么需要+8对不对,所以如果先给NULL,就不用+8了.所以产生了三木运算符.

三丶内存结构图

构造父类1,构造父类2之后的内存结构图,最后子类自己的构造中需要复写两个父类自己的虚表.而且自己扩展的虚函数会放在父类1的虚表中.

总结:

   1.识别双父类的时候,看自己的构造中是否进行了两次虚表复写行为,(多个父类则多次构造父类,多次复写父类虚表行为)

   2.识别指针的三目运算,父类指针指向子类对象的时候,会产生三目运算表达式    例如:  p2 = &child;  p2有可能会有==NULL的情况下,如果不等于NULL,那么自己需要+offset进行指向,

所以产生了三目表达式,  p2 ? NULL ; NULL ,p2 + offset;

     3.析构中也会进行两个父类析构,然后重新填写虚表的行为.(和构造相反)

二丶菱形继承

1.普通的菱形继承讲解

  普通的菱形继承,为什么说普通的.请看高级代码

高级代码:

class CGrandFather      //新添加的爷爷类
{
public:

    CGrandFather(){}
    virtual ~CGrandFather(){}
    virtual void Dance(){}//随便写的虚函数   int m_int
};
class Father1 : public CGrandFather
{
    public:
        Father1(){}//空构造
        virtual ~Father1(){} //空析构
        virtual void Player(){}  //玩耍的函数
  int m_price;//金钱
};
class Father2: public CGrandFather
{
  public:
        Father2(){}
        virtual ~Father2(){}
        virtual void SetMoney(){}//设置金钱
  int m_Money;
};
class Child : public Father1, public Father2 //继承两个父类
{
    public:
        Child(){}
        virtual ~Child(){}
        virtual void Eat(){}//吃的函数

};
int main(int argc, char* argv[])
{
    Child  MyChild;
    return 0;
}

通过上面我们可以得出一个逻辑图:

单其实反汇编那种不是这样的.

从反汇编和内存中可以看出,每一个父类都有一个自己的爷爷类.而且每个父类构造爷爷类的时候,都会填写爷爷类的虚表,并且在自己的构造中对其复写(重写)

所以形成了下面这样的图

所以我们修改我们的高级代码.

int main(int argc, char* argv[])
{
    Child  MyChild;
    //MyChild.m_int = 1;        //重点是这句
    MyChild.Father1::m_int = 1;
    return 0;
}

我们调用爷爷类中的m_int的时候会出现错误,因为不明确,因为通过上图我们得出,每个父类都有自己的爷爷类,这时候你访问m_int,需要指明那个父类的,

而且你修改父类1的m_int不会影响父类2的m_int.造成了数据冗余的设计.

2.从反汇编的角度下看

1.main函数下构造的位置

2.自身构造内部

构造内部同样进行两次父类先构造的情况,最后复写两个父类的虚表

3.父类1的构造内部

父类1的构造内部又构造爷爷类,爷爷类在自身位置填写虚表,完了之后父类1又复写了.

父类2同上.

得出结论:

  1.菱形继承的时候,会有三次改虚表的动作

    构造爷爷类的时候修改

    构造完爷爷类之后父类修改

    构造完父类之后孩子类修改.

  2.每个父类都会构造自己的父类.

Release下的反汇编表现形式

还是一样,Release下会有优化.指针+不加偏移产生的无分支三目运算.

三丶虚继承.

通过第普通的菱形继承,我们得出了每一个父类都会有一个父类(爷爷类)然后产生了相同的数据,且数据不明确必须指明调用,所以C++为了解决这种问题,出了一个虚继承.

直接贴上来内存结构:

有人说,为什么爷爷类会放在下面.而不是上面,视编译器而定,也可以放在上面.为什么放在上面说来话长,不符合此博客的篇幅.

提示一句:把自己当做编译器.

   根据构造的时候先父类构造我们得出了.

首先爷爷类会先构造,但是此时有一个问题,我们要怎么知道爷爷类在哪里.所以这个时候就需要进行记录了.

然后我们上面的内存结构变为了下面这样.

每个父类记录一下爷爷类的偏移即可.这个偏移是编译器填写的.

新的问题:

  我们怎么知道爷爷类是在下面还是在上面

所以这个偏移是一个结构体的地址,指向了一个2个成员的结构体,结构体+0的偏移是向上的偏移.+4的位置是向下的偏移,我们的父类+上这个偏移就能找到爷爷类了.

看其反汇编代码:

1.main函数下的构造

看出一个特征,push 1了,为什么?

因为要判断是否构造爷爷类,填写爷爷类的虚表,所以push 1,而当父类构造的时候,爷爷类就不要构造了.

2.构造内部.

1.首先和参数进行比较,判断是否为1, 相等就跳转,不相等就指向,

2.因为条件没有跳转,所以编译器首先给父类填写偏移.

3.如果跳转了,可以看到push 0.然后调用父类构造,其内部一样的判断是否构造爷爷类

4.最后构造爷爷类.

识别这个很简单了.

1.看是否构造

2.找偏移,也就是编译器填写偏移的位置,通过偏移的位置加上父类当前位置看一下是不是爷爷类的位置

3.会有两次写虚表的行为,一个是自身改,一个是基类改

4.总共会修改三处虚表,两个父类,一个祖先类的虚表.

 表格

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • C++反汇编第四讲,反汇编中识别继承关系,父类,子类,成员对象

                  C++反汇编第四讲,反汇编中识别继承关系,父类,子类,成员对象 讲解目录:    1.各类在内存中的表现形式   备注: 主要复...

    IBinary
  • python学习第一讲,python简介

    python是一个解释型语言. 指的就是将源代码丢个解释器. 解释一行代码,翻译成机器语言给cpu执行. 编译型语言例如C/C++ 直接将源代码翻译成机器语言...

    IBinary
  • C语言第三讲,基本数据类型

            C语言第三讲,基本数据类型 一丶基本数据类型讲解 在C语言当中,有四种基本数据类型 分别是: 整形 浮点型 指针 聚合类型(数组和结构) 整型家...

    IBinary
  • Bessie的好牌(队列)- POJ 3629

    Bessie is playing a card game with her N-1 (2 ≤ N ≤ 100) cow friends using a dec...

    ACM算法日常
  • Mybatis 传统 DAO 层开发[了解]

    使用 Mybatis 开发 Dao,通常有两个方法,即原始 Dao 开发方式和 Mapper 接口代理开发方式。而现在主流的开发方式是接口代理开发方式,这种方式...

    一点博客
  • Mybatis 传统 DAO 层开发

    使用 Mybatis 开发 Dao,通常有两个方法,即原始 Dao 开发方式和 Mapper 接口代理开发方式。而现在主流的开发方式是接口代理开发方式,这种方式...

    一点博客
  • 14:Challenge 7(map大法好)

    总时间限制: 10000ms单个测试点时间限制: 1000ms内存限制: 262144kB描述 给一个长为N的数列,有M次操作,每次操作是以下两种之一: (1)...

    attack
  • python 爬虫(三) spider类

    py3study
  • 并查集

    ​ 在我们需要判断某一些事物之间是否存在一定的关系的时候,我们最好的办法不是使用图而是使用并查集。因为我们关心的是他们之间是否有关系,而不是关心的他们到底...

    lwen
  • 【leetcode】Triangle

    Given a triangle, find the minimum path sum from top to bottom. Each step you ma...

    阳光岛主

扫码关注云+社区

领取腾讯云代金券