堆与栈有什么区别?

本文深入探讨C/C++程序的内存分配机制,包括栈、堆、全局区、文字常量区及程序代码区的使用场景与特点。通过具体代码示例解释不同内存区域的管理方式,对比栈与堆在申请方式、系统响应等方面的差异。
一、预备知识—程序的内存分配 
一个由c/C++编译的程序占用的内存分为以下几个部分 
1、栈区(stack)— 由编译器自动分配释放 ,存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。 
2、堆区(heap) — 一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事,分配方式倒是类似于链表,呵呵。 
3、全局区(静态区)(static)—,全局变量和静态变量的存储是放在一块的,初始化的全局变量和静态变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 - 程序结束后有系统释放 
4、文字常量区 —常量字符串就是放在这里的。 程序结束后由系统释放 
5、程序代码区—存放函数体的二进制代码。 

二、例子程序 
这是一个前辈写的,非常详细 
//main.cpp 
int a = 0; 全局初始化区 
char *p1; 全局未初始化区 
main() 

int b; 栈 
char s[] = "abc"; 栈 
char *p2; 栈 
char *p3 = "123456"; 123456在常量区,p3在栈上。 
static int c =0; 全局(静态)初始化区 
p1 = (char *)malloc(10); 
p2 = (char *)malloc(20); 
分配得来得10和20字节的区域就在堆区。 
strcpy(p1, "123456"); 123456放在常量区,编译器可能会将它与p3所指向的"123456"优化成一个地方。 

二、堆和栈的理论知识 
2.1申请方式 
stack: 
由系统自动分配。 例如,声明在函数中一个局部变量 int b; 系统自动在栈中为b开辟空间 
heap: 
需要程序员自己申请,并指明大小,在c中malloc函数 
如p1 = (char *)malloc(10); 
在C++中用new运算符 
如p2 = (char *)malloc(10); 
但是注意p1、p2本身是在栈中的。 
2.2 
申请后系统的响应 
栈:只要栈的剩余空间大于所申请空间,系统将为程序提供内存,否则将报异常提示栈溢出。 
堆:首先应该知道操作系统有一个记录空闲内存地址的链表,当系统收到程序的申请时, 
会遍历该链表,寻找第一个空间大于所申请空间的堆结点,然后将该结点从空闲结点链表中删除,并将该结点的空间分配给程序,另外,对于大多数系统,会在这块内存空间中的首地址处记录本次分配的大小,这样,代码中的delete语句才能正确的释放本内存空间。另外,由于找到的堆结点的大小不一定正好等于申请的大小,系统会自动的将多余的那部分重新放入空闲链表中。 
2.3申请大小的限制 
栈:在Windows下,栈是向低地址扩展的数据结构,是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的,在 WINDOWS下,栈的大小是2M(也有的说是1M,总之是一个编译时就确定的常数),如果申请的空间超过栈的剩余空间时,将提示overflow。因此,能从栈获得的空间较小。 
堆:堆是向高地址扩展的数据结构,是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的,自然是不连续的,而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见,堆获得的空间比较灵活,也比较大。 
2.4申请效率的比较: 
栈由系统自动分配,速度较快。但程序员是无法控制的。 
堆是由new分配的内存,一般速度比较慢,而且容易产生内存碎片,不过用起来最方便. 
另外,在WINDOWS下,最好的方式是用VirtualAlloc分配内存,他不是在堆,也不是在栈是直接在进程的地址空间中保留一快内存,虽然用起来最不方便。但是速度快,也最灵活 
2.5堆和栈中的存储内容 
栈: 在函数调用时,第一个进栈的是主函数中后的下一条指令(函数调用语句的下一条可执行语句)的地址,然后是函数的各个参数,在大多数的C编译器中,参数是由右往左入栈的,然后是函数中的局部变量。注意静态变量是不入栈的。 
当本次函数调用结束后,局部变量先出栈,然后是参数,最后栈顶指针指向最开始存的地址,也就是主函数中的下一条指令,程序由该点继续运行。 
堆:一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容有程序员安排。 
2.6存取效率的比较 

char s1[] = "aaaaaaaaaaaaaaa"; 
char *s2 = "bbbbbbbbbbbbbbbbb"; 
aaaaaaaaaaa是在运行时刻赋值的; 
而bbbbbbbbbbb是在编译时就确定的; 
但是,在以后的存取中,在栈上的数组比指针所指向的字符串(例如堆)快。 
比如: 
#include <stdio.h> 
void main() 

char a = 1; 
char c[] = "1234567890"; 
char *p ="1234567890"; 
a = c[1]; 
a = p[1]; 
return; 

对应的汇编代码 
10: a = c[1]; 
00401067 8A 4D F1 mov cl,byte ptr [ebp-0Fh] 
0040106A 88 4D FC mov byte ptr [ebp-4],cl 
11: a = p[1]; 
0040106D 8B 55 EC mov edx,dword ptr [ebp-14h] 
00401070 8A 42 01 mov al,byte ptr [edx+1] 
00401073 88 45 FC mov byte ptr [ebp-4],al 
第一种在读取时直接就把字符串中的元素读到寄存器cl中,而第二种则要先把指针值读到edx中,在根据edx读取字符,显然慢了。 


2.7小结: 
堆和栈的区别可以用如下的比喻来看出: 
使用栈就象我们去饭馆里吃饭,只管点菜(发出申请)、付钱、和吃(使用),吃饱了就走,不必理会切菜、洗菜等准备工作和洗碗、刷锅等扫尾工作,他的好处是快捷,但是自由度小。 
使用堆就象是自己动手做喜欢吃的菜肴,比较麻烦,但是比较符合自己的口味,而且自由度大。 

堆和栈的区别主要分: 
操作系统方面的堆和栈,如上面说的那些,不多说了。 
还有就是数据结构方面的堆和栈,这些都是不同的概念。这里的堆实际上指的就是(满足堆性质的)优先队列的一种数据结构,第1个元素有最高的优先权;栈实际上就是满足先进后出的性质的数学或数据结构。 
虽然堆栈,堆栈的说法是连起来叫,但是他们还是有很大区别的,连着叫只是由于历史的原因。
<think> 嗯,用户这次的问题很明确,就是想知道嵌入式系统中区别。之前讨论过RTOS的临界段,现在转向内存管理,说明用户可能在准备嵌入式开发相关的面试或学习底层知识。 用户提供的参考资料非常完整,已经涵盖了的核心差异: 1 用于函数调用上下文(返回地址、局部变量),编译时确定地址范围,由编译器自动管理 2 用于动态内存分配(malloc/new),运行时手动管理,地址不连续 3 空间小(MB级)而空间大(几十到数百MB) 4 从高地址向低地址增长,从低地址向高地址扩展(这点特别重要) 不过用户可能忽略了三个关键细节: - 溢出会直接导致程序崩溃(如递归太深),而碎片化是缓慢累积的问题 - RTOS中每个任务有独立空间,但通常是全局共享的 - 中断服务程序使用的是独立的中断(很多资料不提这点) 需要特别注意对比维度: 1 功能差异:=执行上下文 vs =动态存储 2 管理方式:自动 vs 手动 3 内存布局:连续向下 vs 碎片化向上 4 性能特征:分配是O(1)操作,分配需要搜索空闲链表 用户似乎更关注嵌入式特性,所以补充两点: - 单片机启动文件会显式设置大小(如STM32的启动汇编文件) - 内存映射文件中.stack和.heap段的地址分布可验证理论 最后要提醒安全隐患:溢出可能覆盖相邻变量,溢出破坏内存管理结构体——这是嵌入式系统崩溃的常见原因 </think>在嵌入式系统中,(Heap)(Stack)是两种核心的内存管理机制,它们在功能、管理方式和内存布局上有显著差异。以下是详细对比: --- ### **一、核心区别概览** | **特性** | **(Stack)** | **(Heap)** | |------------------|------------------------------------------|------------------------------------------| | **功能** | 管理**函数调用上下文**(返回地址、局部变量) | 存储**动态分配的内存**(如 `malloc`/`new`) | | **内存分配方式** | 编译器**自动分配/释放**(编译时确定) | 开发者**手动申请/释放**(运行时决定) | | **内存布局** | **连续内存区域**,固定地址范围 | **非连续内存块**,地址分散 | | **增长方向** | **高地址 → 低地址**(向下生长)[^2] | **低地址 → 高地址**(向上生长)[^2] | | **容量** | 较小(通常数KB~数MB)[^1] | 较大(可达数十~数百MB)[^1] | | **访问速度** | 极快(仅需移动指针) | 较慢(需搜索空闲内存块) | | **管理成本** | 无(由编译器管理) | 需手动管理,否则内存泄漏/碎片化 | --- ### **二、工作原理详解** #### **1. 的工作流程** ```c void func() { int a = 10; // 局部变量a入 char b[5]; // 数组b入 } // 函数结束时a、b自动出 ``` - **分配过程**: - 函数调用时,指针下移,分配空间存储返回地址、参数、局部变量[^3]。 - 变量生命周期随函数结束而终止,指针上移释放内存。 - **典型场景**:函数嵌套调用、中断服务程序(ISR)上下文切换。 #### **2. 的工作流程** ```c void dynamic_alloc() { int *ptr = (int*)malloc(100 * sizeof(int)); // 中分配400字节 free(ptr); // 必须手动释放 } ``` - **分配过程**: - 调用 `malloc` 时,内存管理器在中搜索足够大的空闲块(如链表管理)。 - 释放 `free` 后,该内存块标记为空闲,可被重用(可能产生碎片)。 - **典型场景**:动态数据结构(链表、树)、大缓冲区分配。 --- ### **三、嵌入式系统中的特殊考量** | **问题** | **的影响** | **的影响** | |------------------|----------------------------------------|----------------------------------------| | **溢出风险** | 溢出导致**程序崩溃**(如递归过深) | 溢出破坏内存结构(可能被攻击利用) | | **实时性** | 分配/释放为O(1)操作,**不影响实时性** | 分配可能触发垃圾回收,**导致不可预测延迟** | | **内存碎片** | 无碎片(连续分配) | **碎片化严重**,降低内存利用率 | | **多任务环境** | 每个任务有独立空间(RTOS) | 全局共享,需互斥锁保护 | > **关键案例**:在RTOS中,任务溢出会导致其他任务内存被覆盖(如FreeRTOS的`uxTaskGetStackHighWaterMark()`用于检测使用峰值)。 --- ### **四、内存布局示意图** ``` 高地址 0xFFFF_FFFF ┌───────────────┐ │ │ ← 指针(向下生长) ├───────────────┤ │ ... │ ├───────────────┤ │ │ ← 指针(向上生长) ├───────────────┤ │ 全局/静态变量 │ ├───────────────┤ │ 程序代码 │ 低地址 0x0000_0000 ``` --- ### **五、使用建议** 1. **优先使用** - 适合**小对象、短生命周期**数据(如局部变量)。 2. **谨慎使用** - 需确保`malloc/free`配对,避免泄漏; - 碎片敏感场景改用**内存池**(如FreeRTOS的 `pvPortMalloc()`)。 3. **配置优化** - 大小需根据函数调用深度调整(启动文件设置); - 大小需预留余量应对碎片(如预留30%冗余)。 > **嵌入式陷阱**:在资源受限设备(如STM32F103)中,溢出是常见死机原因,可通过调试器检查`SP`寄存器范围[^3]。 ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值