探讨C++ 变量生命周期、栈分配方式、类内存布局、Debug和Release程序的区别
探讨C++ 变量生命周期、栈分配方式、类内存布局、Debug和Release程序的区别(一)
今天看博客园的文章,发现博问栏目中有一个网友的问题挺有趣的,就点进去看了下,标题是“C++生存期问题”,给出链接:http://q.cnblogs.com/q/51133/
本文会以此问题作为讨论的实例,来具体讨论以下四个问题:
(1) C++变量生命周期
(2) C++变量在栈中分配方式
(3) C++类的内存布局
(4) Debug和Release程序的区别
也许您觉得这些讨论问题没有实际意义,应该多做些提高生产力的事情,如同重复发明轮子也是没有意义的。
笔者同意这个观点,但是,作为一个有追求的程序员,应该知其然而且知其所以然,更应该知道轮子是怎么造出来的,不是吗?
当然,限于篇幅,本文可能只是抛砖引玉,更多的知识,一定是大家自己去探索的。
不多说,进入正题。
实验环境:Win7 32bit系统 + VS2008 SP1
问题现象:
先阅读以下程序:

- #include "stdafx.h"
- #include<iostream>
- #include<windows.h>
- using namespace std;
class T- {
- protected:
- int t;
- public:
- T(int r=0):t(r){}
- void showNum(){cout<<t<<endl;}
- };
- class T1:public T
- {
- private:
- int x;
- public:
- T1(int r):x(r),T(r){}
- void show(){cout<<"x="<<x<<endl;}
- };
- class T2:public T
- {
- private:
- int x;
- public:
- T2(int r):x(r*r),T(r){}
- void show(){cout<<"x="<<x<<endl;}
- };
- void main()
- {
- T* p[10];
- 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;
- }
- }
- 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;
- }
- }
- for(int i=0;i<10;i++)
- {
- p[i]->showNum();
- }
- system("pause");
- }

不急着往下看,先预测此程序输出。
一般来说,我们预测的输出会是什么结果呢?
首先Debug版本和Release版本应该输出结果是相同的,或者规律是相同的。
当0 <= i < 5时,输出5个地址,应该是不同的,逐个递增,生成的局部变量存放在栈中;
当5 <= i < 10时,又输出5个地址,应该也是不同的,也是逐个递增,生成的局部变量存放在栈中;
最后循环调用p[i]->showNum()这个方法10次,输出的结果应该是不可知的,因为P[i]指向的对象都已经失效。
我们来看看实际输出的结果:
Debug版本:
当0 <= i < 5时,输出5个地址,是一种交替状输出,分别是001FF750和001FF740。
当5 <= i < 10时,又输出5个地址,也是交替状输出,分别是001FF714和001FF724。
最后循环调用p[i]->showNum()这个方法10次,输出的结果是正确的,似乎那些栈中的局部对象未失效。
Release版本:
当0 <= i < 5时,输出5个地址,是一种交替状输出,分别是001CFB00和001CFB08。
当5 <= i < 10时,又输出5个地址,也是交替状输出,奇怪的是地址的值也是001CFB00和001CFB08。
最后循环调用p[i]->showNum()这个方法10次,输出的结果全是5和4,似乎前5次输出失效了,后5次没有失效。
为什么?
大家可以先思考,有想法可以留言指出。限于篇幅,笔者的下一篇博客将给出具体的分析。
探讨C++ 变量生命周期、栈分配方式、类内存布局、Debug和Release程序的区别的更多相关文章
- java 静态变量生命周期(类生命周期)
Static: 加载:java虚拟机在加载类的过程中为静态变量分配内存. 类变量:static变量在内存中只有一个,存放在方法区,属于类变量,被所有实例所共享 销毁:类被卸载时,静态变量被销毁,并释放 ...
- java 静态变量生命周期(类生命周期)(转)
Static: 加载:java虚拟机在加载类的过程中为静态变量分配内存. 类变量:static变量在内存中只有一个,存放在方法区,属于类变量,被所有实例所共享 销毁:类被卸载时,静态变量被销毁,并释放 ...
- Android开发工程师文集-Activity生命周期,启动方式,Intent相关介绍,Activity详细讲解
前言 大家好,给大家带来Android开发工程师文集-Activity生命周期,启动方式,Intent相关介绍,Activity详细讲解的概述,希望你们喜欢 Activity是什么 作为一个Activ ...
- react篇章-React State(状态)-将生命周期方法添加到类中
将生命周期方法添加到类中 在具有许多组件的应用程序中,在销毁时释放组件所占用的资源非常重要. 每当 Clock 组件第一次加载到 DOM 中的时候,我们都想生成定时器,这在 React 中被称为挂载. ...
- Activity具体解释(生命周期、启动方式、状态保存,全然退出等)
一.什么是Activity? 简单的说:Activity就是布满整个窗体或者悬浮于其它窗体上的交互界面. 在一个应用程序中通常由多个Activity构成,都会在Manifest.xml中指定一个主的A ...
- C语言 遍历流程 变量生命周期
来自c程序设计 谭浩强 程序编译流程 运行c程序的步骤 在编好一个c程序后.怎样上机进行编译运行呢?一般要经过一下几个步骤: 上机输入和编辑源程序.通过键盘和计算机输入程序,如果发现有错误,要及时改正 ...
- 面向过程—面向对象(C++的封装,this)_内存四区_变量生命周期
1.面向对象主要涉及 构造函数.析构函数.虚函数.继承.多态等. 2.对各种支持 的底层实现机制 c语言中,数据 和 处理数据的操作(函数) 是分开来声明,即语言本身并没有支持 “数据和函数”的关联 ...
- 线程:生命周期、实现方式、start()和run()的区别!
1.线程的生命周期 要想实现多线程,必须在主线程中创建新的线程对象.Java语言使用Thread类及其子类的对象来表示线程,在它的 一个完整的生命周期中通常要经历如下的五种状态: 新建:当一个Thre ...
- 2.Spring的Bean生命周期和组装方式
1.Spring IoC容器概述 Spring IoC容器: Spring容器即体现了IoC原理 Spring容器通过读取配置元数据负责对Beans实例化.配置和装配 配置元数据可以用X ...
随机推荐
- ssh ipv6
从这里学来的.http://blog.mattandanne.org/2012/01/sftpscp-and-ipv6-link-local-addresses.html当采用ipv6的地址去连接另外 ...
- C# 带滚动栏的Label控件
C# 带滚动栏的Label控件,用鼠标选的时候还是有点闪烁: namespace 带滚动栏的Label控件 { public class TextBoxLabel : System.Windows.F ...
- springMVC 获取本地项目路径 及后整理上传文件的方法
String path=request.getSession().getServletContext().getRealPath("upload/img/product"); // ...
- Codeforces 474A Keyboard (水
题目链接:点击打开链接 键盘移位了,问输出相应的字母 #include <cstdio> #include <cstring> char a[105]; char b[3][1 ...
- 【麦子学院】OpenCV教程函数总结
个自带样例. parter 1: No1. adaptiveskindetector.cpp 利用HSV空间的色调信息的皮肤检測,背景不能有太多与肤色相似的颜色.效果不是特别好. No2. bagof ...
- SQLServer 2005 数据库定阅复制实现双机热备(主要是sharepoint 内容数据库)
原文:SQLServer 2005 数据库定阅复制实现双机热备(主要是sharepoint 内容数据库) 场景 公司最近的sharepoint的数据库服务器老是出问题,并且在一旦出现问题,就导致无法正 ...
- 轻型ORM--Dapper
分享一个轻型ORM--Dapper选用理由 推荐理由:Dapper只有一个代码文件,完全开源,你可以放在项目里的任何位置,来实现数据到对象的ORM操作,体积小速度快:) Google Code下载地址 ...
- Spring AspectJ的Execution表达式-备忘笔记
Aspectj切入点语法定义 在使用spring框架配置AOP的时候,不管是通过XML配置文件还是注解的方式都需要定义pointcut"切入点" 例如定义切入点表达式 execu ...
- 文件合并工具DiffMerge发布4.2版本
DiffMerge一直是文件对比合并工具的佼佼者,其最大特点是多文件对比与合并,并提供可视化界面用于编辑. 此次DiffMerge v4.2发布,提高了文件差异对比,并提供了快速匹配功能,以及更好的用 ...
- mysql通过字段注释查找字段名称
原文:mysql通过字段注释查找字段名称 有时候表的字段太多,只是大致记得表的注释,想通过字段注释查找字段名称,可以用如下语句: SELECT COLUMN_NAME,column_comment F ...