也谈C++内存区域

最新推荐文章于 2024-09-19 13:36:34 发布
最新推荐文章于 2024-09-19 13:36:34 发布
阅读量1.1k 收藏 1
点赞数
分类专栏： C++ 文章标签： c++ 存储 delete 编译器 汇编 c
众所周知，C++内存区域被分为5大类：栈、堆、自由存储区、全局/静态存储区、常量存储区。

    栈由编译器控制，栈空间的申请、使用和释放全权由编译器处理。这里的“全权处理”意思是责任归属，并不是说编译器在程序运行时介入管理。实际上，编译器的工作在编译期就完成了，它对栈的管理体现在编译时对寄存器esp的维护上。

    堆即程序员使用new和delete操作符进行管理的内存区域。对堆的访问往往要比栈要慢，原因在于栈由系统实现，有硬部件上的优势；而堆只是C++语言中的数据结构，是纯粹软件的，访问堆上的变量一般都需要栈的参与才能完成。

    自由存储区这个概念存在争议，争议的焦点在于它与堆是不是同一个东西。自由存储区也由程序员管理，但用到的是malloc和free操作。其实，自由存储区和堆是有区别的：一方面，管理方法不同，malloc和free是函数，new和delete是C++操作符；另一方面，malloc只负责开辟空间，返回指针是空类型指针void*，new不仅开辟空间而且还将调用对象构造函数，类似的，free只管释放空间，delete还将调用对象析构函数。

    全局/静态存储区正如其名，是全局变量和静态变量的集中地。“全局”着眼于全局变量的全局作用域；“静态”着眼于static变量的生命周期。前者容易理解，后者稍微有些难懂。其实，C++中的动和静，往往都是从对象的生命周期这个角度去界定的。对于变量来说，“动态”的变量在内存区域里进进出出的变量，它们的生命仅限于自己的作用域，一旦离开自己的作用域就将从内存中被擦除，动态变量占用的那片内存区域在程序执行过程中有可能被释放掉；“静态”的变量则不同，它最大的特点就是随程序生，随程序死，步调很一致，只要程序启动了，静态变量就在静态存储区拥有了自己的空间，程序执行过程中不会被释放，只有程序结束运行，它们才被释放。可见，静态存储区强调的是变量的生命长度与程序一致。

    常量存储区也很容易理解，即存储常量的地方。需要注意的是字面数字并不存放在这个区域，常量存储区里存储的一般是常量字符串。相同的常量字符串在常量存储区只保留一份拷贝，因此下面这个例子结果为T就容易理解了。

const char* st1="Astring";

const char* st2="Astring";

cout<<(st1==st2?‘T’:‘F’);

    全局/静态存储区默认情况下是一片初始为0x00的区域，因此全局/静态变量如果没被初始化，它将默认被置为0；常量存储区是一片只读区域，不允许程序对里面任何一个bit做删改。

    接下来，用一个简单的例子进一步说明。例子代码如mregions.cpp所示。

view plain print ?
  1. /*++ mregions.cpp 
  2.  * Purpose:区分各种类型数据的内存区域 
  3.  * Created:2011-08-19 
  4.  * Author:winterlost 
  5.  --*/  
  6. int a=30;  
  7. void main()  
  8. {  
  9.     //a,b,c在全局区  
  10.     static int b=10;  
  11.     static int c=20;  
  12.     int d=40;  
  13.     //常量区  
  14.     const char* str1="Astring";  
  15.     const char* str2="Newstring";  
  16.     //堆  
  17.     int* p=new int[3];  
  18.     p[0]=a;  
  19.     p[1]=b;  
  20.     p[2]=c;  
  21.     delete []p;  
  22. }  

变量a是全局变量，b和c是静态变量，它们被存储在全局/静态存储区；"Astring"和"Newstring"是常量字符串，它们被存储在常量存储区；new int[3]在堆上开辟了可容纳3个整型数据的空间，delete []p释放了堆上的空间。栈并没有特别的举例，因为程序处处都用到栈。

接下来查看mregion.cpp对应的Disassembly，截取重要片段如下所示。

view plain print ?
  1.      9:     //a,b,c在全局区  
  2.     10:     static int b=10;  
  3.     11:     static int c=20;  
  4.     12:     int d=40;  
  5. 001913AE  mov         dword ptr [d],28h    
  6.     13:     //常量区  
  7.     14:     const char* str1="Astring";  
  8. 001913B5  mov         dword ptr [str1],offset string "Astring" (195748h)    
  9.     15:     const char* str2="Newstring";  
  10. 001913BC  mov         dword ptr [str2],offset string "Newstring" (19573Ch)    
  11.     16:     //堆  
  12.     17:     int* p=new int[3];  
  13. 001913C3  push        0Ch    
  14. 001913C5  call        operator new (191177h)    
  15. 001913CA  add         esp,4    
  16. 001913CD  mov         dword ptr [ebp-104h],eax    
  17. 001913D3  mov         eax,dword ptr [ebp-104h]    
  18. 001913D9  mov         dword ptr [p],eax    
  19.     18:     p[0]=a;  
  20. 001913DC  mov         eax,dword ptr [p]    
  21. 001913DF  mov         ecx,dword ptr [a (197000h)]    
  22. 001913E5  mov         dword ptr [eax],ecx    
  23.     19:     p[1]=b;  
  24. 001913E7  mov         eax,dword ptr [p]    
  25. 001913EA  mov         ecx,dword ptr [b (197004h)]    
  26. 001913F0  mov         dword ptr [eax+4],ecx    
  27.     20:     p[2]=c;  
  28. 001913F3  mov         eax,dword ptr [p]    
  29. 001913F6  mov         ecx,dword ptr [c (197008h)]    
  30. 001913FC  mov         dword ptr [eax+8],ecx    
  31.     21:     delete []p;  
  32. 001913FF  mov         eax,dword ptr [p]    
  33. 00191402  mov         dword ptr [ebp-0F8h],eax    
  34. 00191408  mov         ecx,dword ptr [ebp-0F8h]    
  35. 0019140E  push        ecx    
  36. 0019140F  call        operator delete (191082h)    
  37. 00191414  add         esp,4    

注意行号18-20这三句对应的反汇编码，不难发现变量a/b/c各自对应的内存地址为ds:197000h/197004h/197008h，这是它们各自在全局/静态数据区占用的内存空间地址。观察14、15行代码对应的反汇编码，可以发现"Astring"和"Newstring"各自在常量存储区中的地址为195748h/19573Ch。从17行代码对应的反汇编码中看不出new得到的堆首地址，但在vs2010中让鼠标悬停在eax上，可查看eax的值为00101ae0h。而栈的地址，都以寄存器esp为基准浮动。在最终生成的可执行文件中，看不到变量名a,b,c,str，只有它们在编译时就被转换成的地址，用esp表示。

注意各类数据内存地址所在的区段：不同类型的变量处在不同区段，相同类型的变量处在相同区段并且地址连续。它们的地址被归纳在表1中。

                  表1 各种类型变量在内存中的地址


小文兄弟
关注
专栏目录
谈谈C++类型安全
btwsmile's blog
08-16 1万+
什么是类型安全？ 类型安全很大程度上可以等价于内存安全，类型安全的代码不会试图访问自己没被授权的内存区域。“类型安全”常被用来形容编程语言，其根据在于该门编程语言是否提供保障类型安全的机制；有的时候也用“类型安全”形容某个程序，判别的标准在于该程序是否隐含类型错误。类型安全的编程语言与类型安全的程序之间，没有必然联系。好的程序员可以使用类型不那么安全的语言写出类型相当安全的程序，相反的，差一点儿
尽力全面的C++内存管理
自觉 觉他
02-09 1244
C++内存管理 尽力全面地网罗关于C++内存管理的知识，覆盖了常见系统以及内存硬件的内存管理策略，详细介绍了C++中new与delete操作，附带讨论了内存对齐，内存池，单例模式，垃圾收集等内存操作相关的话题。文章从全面，低门槛，高专业度的初衷出发，意图弥补常见C++教材未能系统覆盖的内存管理的缺憾。
C/C++内存管理详解
做技术人 · 产优质博客 · 找好工作
07-05 3889
本文主要从C/C++五大内存布局入手，整体贯穿性地介绍C++中new/delete的用法，带你掌握并吃透内存管理技术
【侯捷】C++内存管理机制
明朗晨光的专栏
12-11 3816
万丈高楼平地起 源码之前 了无密码 0. Overview 0.1 应具备的基础 曾经动态分配并使用 memory 曾经使用过 C++ 标准库的容器（containers） 0.2 目标 从平地到万丈高楼，从最基础的C++语言构件到高知名度的内存管理器，彻底了解高高低低的方方面面。 0.3 工具 Dev-C++ 5.11， with GNU 4.9.2 Visual C++ 6.0 0.4 网络资源 0.5 书籍 1. 第一讲 primitives 本章讲解基础的用于分配内存和销毁内存的”工.
C++内存模型 详解
m0_46210273的博客
11-04 3743
一.C/C++内存模型基本概念 1.两大分区：代码区和数据区 2.四大分区：代码区，全局区（全局/静态存储区），栈区，堆区 3.C语言分区：堆，栈，静态全局变量区，常量区 4.C++语言分区：堆、栈、自由存储区、全局/静态存储区、常量存储区（标准答案） 5.C/C++内存模型根据生命周期的不同有三大区：即自由存储区（C++），动态区、静态区 6.代码虽然占内存，但不属于c/c++内存模型的一部分 二.各分区实际内存结构 text段: 用于存放程序代码的区域， 编译时确定， 只读。更进一步讲是存放处理器的机器
小谈C++内存管理
qq_43406934的博客
10-20 357
本文涉及内存分区、堆栈区别、new关键字、字节对齐以及字节存储大小端相关问题。
浅谈C++内存模型
PurpleDream的博客
04-19 8453
1. 前言    C++的内存模型很重要！C++的内存模型很重要！C++的内存模型很重要！    重要的事情要说三遍。    作为一名C++程序员，如果不知道内存分布的话很尴尬的！(好吧，我就是那个不知道的人。最近面试的时候基本都有一道内存分布的题。从常量，变量，类，类的虚函数在内存中的存储，堆栈的使用等，问题变化万千！T_T)2. 内存分区    C++的内存可以分成5个区域：    (1) 堆...
C++内存管理浅谈
OliverkingLi的博客
11-24 338
一个由C/C++编译的程序占用的内存分为以下几个部分： 　　1、栈区(stack)：又编译器自动分配释放，存放函数的参数值，局部变量的值等，其操作方式类似于数据结构的栈。 　　2、堆区(heap)：一般是由程序员分配释放，若程序员不释放的话，程序结束时可能由OS回收，值得注意的是他与数据结构的堆是两回事，分配方式倒是类似于数据结构的链表。 　　3、全局区(static)：也叫静态
浅谈C++内存分配及变长数组的动态分配
09-01
在C++编程中，内存管理是一项关键技能，尤其是在涉及动态分配和...总的来说，理解C++内存管理是编写高效、健壮代码的关键。动态分配内存和变长数组提供了灵活性，但也需要谨慎处理，遵循上述最佳实践，以避免内存错误。
C++ STL中sort函数
weixin_43349440的博客
09-15 419
刷题中经常遇到，用于各种元素排序，可以自定义排序方式，vector、deque适用。详细讲解：https://zhuanlan.zhihu.com/p/36274119。，为避免QuickSort快排的递归调用带来过大的额外负荷，就改用。一旦分段后的数据量小于某个门槛。STL的sort算法，
C++_map_set详解
2302_77644537的博客
09-16 1050
set是按照一定次序存储元素的容器在set中，元素的value也标识它(value就是key，类型为T)，并且每个value必须是唯一的。set中的元素不能在容器中修改(元素总是const)，但是可以从容器中插入或删除它们。在内部，set中的元素总是按照其内部比较对象(类型比较)所指示的特定严格的排序准则（默认是小于）进行排序。set在底层是用二叉搜索树(红黑树)实现的。map是关联容器，它按照特定的次序(按照key来比较)存储由键值key和值value组合而成的元素。
TMS Scripter Crack TMS Scripter is a Delphi C++ Builder
最新发布
q2315702359的博客
09-19 944
　　The integrated development environment or the IDE allows the users in process of creating script jobs during the runtime with the help of multiple cross-language scripts such as de Pascal and the Basics.　　It has support for the cross-utilization of the s
CCF201903_1
m0_67663419的博客
09-14 263
【代码】CCF201903_1。
在typescript浏览器端中调用C++编写的函数，WebAssembly传递指针类型的参数，以及处理指针类型的返回值。
Xeon_CC的博客
09-17 424
最后是返回一个C++结构体指针，在TypeScript中通过DataView来获取内存中的地址偏移量来取得结构体中的数据，因为em++编译器是以32位来编译.cpp文件的，所以指针占4个字节。DataResult结构体第一个属性dArr是一个指针，那么就是地址偏移量0，然后以32位无符号整型取得dArr指针，通过这个指针去读取wasm中memoryBuffer中的数据，就可以得到dArr属性对应的值了。同理，通过地址偏移量+4来得到propCount属性，以32位整数读取数据即可。
C++ 起始帧数、结束帧数、剪辑视频
雪剑封心
09-18 365
C++ 指定起始帧数、结束帧数、
57.【C语言】字符函数和字符串函数(strerror函数)
2401_85828611的博客
09-18 436
翻译:函数错误码解释errnum的值,产生一条描述错误情况的信息的字符串,就像被库函数设置为errno一样这个返回的指针指向一个静态的已分配的且不能被程序修改的字符串,进一步调用此函数可能会覆盖内容(不需要特定的库的实施,避免数据竞争)strerror产生的错误信息的字符串可能特定于每个系统和库实现errnum:错误码一个指向用于描述错误码的错误信息字符串的指针简明扼要:strerror的作用:把错误码翻译成错误信息。
C++内存分区详解：栈、堆、全局/静态区与常量区
C++内存分区的划分是一个关键的主题，主要关注栈和堆的区别，以及C++中的其他内存区域。在C语言中，内存被划分为四个基本区域： 1. **栈**：栈区主要存放局部变量和函数参数，由编译器自动管理，分配和释放。栈内存...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值