• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

探讨C++变量生命周期、栈分配方式、类内存布局、Debug和Release程序的区别(二) ...

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

 

看此文,务必需要先了解本文讨论的背景,不多说,给出链接:

探讨C++ 变量生命周期、栈分配方式、类内存布局、Debug和Release程序的区别(一)

 

本文会以此问题作为讨论的实例,来具体讨论以下四个问题:

(1)       C++变量生命周期

(2)       C++变量在栈中分配方式

(3)       C++类的内存布局

(4)       Debug和Release程序的区别

 

1、Debug版本输出现象解析

先来说说Debug版本的输出,前5次输出,交替输出,后5次输出,交替输出,但是,前5次和后5次的地址是不一样的。

我们来看看反汇编:

              T1 r(2);
01363A0D  push        2   
01363A0F  lea         ecx,[r]
01363A12  call        T1::T1 (1361172h)
              p[i]=&r;
01363A17  mov         eax,dword ptr [i]
01363A1A  lea         ecx,[r]
01363A1D  mov         dword ptr p[eax*4],ecx

 

关键是看对象r的地址是如何分配的,但是,反汇编中似乎没有明显的信息,只有一句:lea  ecx,[r],这条语句是什么意思呢?将对象r的地址取到通用寄存器ecx中。

我们知道,程序在编译链接的时候,变量相对于栈顶的位置就确定了,称为相对地址确定。所以,此时程序在运行了,根据所在环境,变量的绝对地址也就确定了。

通过lea指令取得对象地址,调用对象的构造函数来进行构造,即语句call  T1::T1 (1361172h). 构造完之后,对象所在地址的值才被正确填充。

 

好了,我们知道了这些局部变量相对于栈的相对地址,其实在编译链接的时候就确定了,那么,这个策略是什么样的呢?就是说,编译器是如何来决定这些局部变量的地址的呢?

一般来说,对于不同的变量,编译器都会分配不同的地址,一般是按照顺序分配的。但是,对于那些局部变量,而且非常明显的生命周期已经结束了,同一个地址,也会分配给不同的变量。

举个例子,地址0X00001110,被编译器用来存放变量A,同时也可能被编译器用来存放变量B,如果A和B的大小相等,并且肯定不会同时存在。

 

编译器在判断一个地址是否能够被多个变量同时使用的时候,这个判断策略取决于编译器本身,不同的编译器判断策略不同。

微软的编译器,就是根据代码的自身逻辑来判断的。当编译器检测到以下代码的时候:

  for(int i=0;i<5;i++)
    {
        if(i%2==0)
        {
            T1 r(2);
            p[i]=&r;
            cout<<&r<<endl;
        }
        else
        {
            T2 r(3);
            p[i]=&r;
            cout<<&r<<endl;
        }
    }

微软的编译器认为,只需要分配两个地址则可,分别用来保存两个对象,循环执行的话,因为前一次生成对象的生命周期已经结束,直接使用原来的地址则可。

因此,我们在用VS编译这段程序时,就出现了地址交替输出的情况。

 

当微软的编译器接着又看到以下代码的时候,

 for(int i=5;i<10;i++)
    {
        if(i%2==0)
        {
            T1 r(4);
            p[i]=&r;
            cout<<&r<<endl;
        }
        else
        {
            T2 r(5);
            p[i]=&r;
            cout<<&r<<endl;
        }
    }

微软的编译器认为,需要再分配两个地址,分别用来保存这两个新的对象,

于是,我们再次看到了地址交替输出的情况,只是这一次交替输出的地址与前一次交替输出的地址不同。

 

延伸1:稍微修改代码再试试

我们已经能够理解VS下Debug版本为什么会输出这样的结果了,再延伸一下,我们把代码进行修改:

  修改前的代码:

    for(int i=0;i<5;i++)
    {
        if(i%2==0)
        {
            T1 r(2);
            p[i]=&r;
            cout<<&r<<endl;
        }
        else
        {
            T2 r(3);
            p[i]=&r;
            cout<<&r<<endl;
        }
    }
修改后的代码为:
  if (0 == i)
      {
            T1 r(2);
            p[i]=&r;
            cout << &r << endl;
        }
        else if (1 == i)
        {
            T2 r(3);
            p[i]=&r;
            cout << &r << endl;
        }
        else if (2 == i)
        {
            T1 r(2);
            p[i]=&r;
            cout << &r << endl;
        }
        else if (3 == i)
        {
            T2 r(3);
            p[i]=&r;
            cout << &r << endl;
        }
        else if (4 == i)
        {
            T1 r(2);
            p[i]=&r;
            cout << &r << endl;
        }
)

代码修改之后,功能完全一样,那么前五次循环的输出会有什么不同吗?

也许你猜到了,修改完代码之后,前5次地址输出,是5个不同的地址,按规律递增或者递减。

很明显,代码的改动,编译器的认知也改变了,分配了5个地址来给这5个对象使用。

 

延伸2:GCC编译器是如何编译这段代码的呢?

我们再延伸一下,不同的编译器,对代码的编译是不同的,GCC编译器是如何编译这段代码的呢?默认编译之后,运行结果如下:

 

不用我说,大家也知道了,GCC编译器检测到这些变量生命周期结束了,尽管有十次循环,尽管代码有改动,但是GCC仍然只有分配一个地址供这些变量使用。

理由很简单,变量的生命周期结束了,它的地址自然就可以给其他变量用了,更何况这样变量的大小还是一样的呢!

 

 2、VS下Release版本输出现象解析:

不再延伸,回到正题,VS下Release版本的表现为什么和Debug版本不一样呢?

同样,我们来看原始代码的反汇编:

        if(i%2==0)
         {
              T1 r(2);
              p[i]=&r;
              cout<<&r<<endl;
00C11020  mov         ecx,dword ptr [__imp_std::endl (0C12044h)]
00C11026  push        ecx 
00C11027  mov         ecx,dword ptr [__imp_std::cout (0C12048h)]
00C1102D  test        bl,1
00C11030  jne         main+42h (0C11042h)
00C11032  lea         eax,[esp+14h]
00C11036  mov         dword ptr [esp+14h],ebp
00C1103A  mov         dword ptr [esp+18h],ebp
00C1103E  mov         edx,eax
         }
         else
00C11040  jmp         main+50h (0C11050h)
         {
              T2 r(3);
              p[i]=&r;
00C11042  lea         eax,[esp+1Ch]
00C11046  mov         dword ptr [esp+1Ch],edi
00C1104A  mov         dword ptr [esp+20h],esi
              cout<<&r<<endl;
         }

Release版本做了进一步的优化,esp内的值在本程序运行的过程中未曾改变,因此,尽管有十次循环,也只分配了两个对象的空间,即两个地址。

最后,我们看到,前5次循环和后5次循环的交替输出的地址是一样的。

 

3、再提一点:最后的十次输出现象解析:

    for(int i=0;i<10;i++)

    {

        p[i]->showNum();

    }

其实是没有意义的,因为这10个指针指向的对象的生命周期早就结束了。

那么为什么还能输出正确的值呢?因为,这些对象的生命周期虽然结束了,但是这些对象的内存没有遭到破坏,仍还存在,并且数据未被改写。

如果此程序后续还增加代码,这些地址的内容是否会被其他对象占用都是不可知的,所以,请不要使用生命周期已经结束了的对象。

 

4、总结:

给大家建议,C++语言的对象生命周期的概念很重要,要重视,另外,使用指针要注意空指针的问题。

有时候,可以直接使用对象的方式,就不要使用太多指针,都是坑!

 

后记:

突然觉得自己好无聊,以后还是少分析这些问题,多做些实事!不过,偶尔分析一下,还是可以的。


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
c#WhereIf扩展发布时间:2022-07-13
下一篇:
rocketMq4.2.0启动broker报错找不到或无法加载主类Files\Java\jdk1.8.0_101\lib\dt.ja ...发布时间:2022-07-13
热门推荐
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap