一、变量介绍
1、全局常量：在程序中定义的全局范围内不可改变的常量，它们的值在整个程序执行过程中都保持不变。
2、全局变量：在程序中定义的全局范围内可改变的变量，它们可以在程序的任何位置被访问和修改。
3、局部变量：在函数或代码块中定义的变量，它们的作用域仅限于函数或代码块内部，在外部无法访问。
4、静态变量：在函数内或代码块内用 static 关键字修饰的变量，它们的生存期会延长到整个程序的执行过程中，但作用域仍然限于所在的函数或代码块内部。
5、堆：动态分配内存的一种方式，通过调用 malloc 或 new 等函数在运行时分配的内存空间。它的生命周期由程序员手动管理，需要显式释放。
6、栈：存储函数调用和局部变量的一块内存空间，它的管理由编译器自动完成，具有先进后出的特点。
二、变量的内存分配
栈区（stack）：指那些由编译器在需要的时候分配，不需要时自动清除的变量所在的储存区，如函数执行时，函数的形参以及函数内的局部变量分配在栈区，函数运行结束后，形参和局部变量去栈（自动释放）。栈内存分配运算内置与处理器的指令集中，效率高但是分配的内存空间有限。
堆区（heap）：指哪些由程序员手动分配释放的储存区，如果程序员不释放这块内存，内存将一直被占用，直到程序运行结束由系统自动收回，c语言中使用malloc，free申请和释放空间。
静态储存区（static）：全局变量和静态变量的储存是放在一块的，其中初始化的全局变量和静态变量在一个区域，这块空间当程序运行结束后由系统释放。
常量储存区（const）：常量字符串就是储存在这里的，如“ABC”字符串就储存在常量区，储存在常量区的只读不可写。const修饰的全局变量也储存在常量区，const修饰的局部变量依然在栈上。
程序代码区：存放函数体的二进制代码。
例子程序
//main.cpp
int a = 0; //全局初始化区
int a = 0; //全局初始化区
char *p1; //全局未初始化区
main() {
int b; //栈
char s[] = "abc"; //栈
char *p2; //栈
char *p3 = "123456"; //123456\0在常量区，p3在栈上。
static int c = 0; //全局（静态）初始化区
p1 = (char *)malloc(10);
p2 = (char *)malloc(20);
//分配得来得10和20字节的区域就在堆区。
strcpy(p1, "123456"); //123456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一个地方。
}
RAM和ROM,Flash Memory的物理特性
RAM又称随机存取器，存储的内容可通过指令随机读写访问。RAM中的存储的数据在掉电是会丢失，因而只能在开机运行时存储数据。其中RAM又可以分为两种，一种时Dynamic RAM(DRAM 动态随机存储器)，另一种是Static RAM(SRAM,静态随机存储器)。
ROM又称只读存储器，只能从里面读出数据而不能任意写入数据。具有掉电后数据可保持不变的优点。因此常用存放一次性写入的程序和数据，比如主板的BIOS程序就是ROM存储器。
Flash Memory 由于ROM具有不易更改的特性，后面就发展了Flash Memory。Flash Memory不仅具有ROM掉电不丢失数据的特点，又可以在需要的时候对数据进行更改，不过价格比ROM高。
不同数据的存放位置：
由前面的分析我们知道，代码区和常量区的内容是不允许被修改的，ROM（STM32就是Flash Memory）也是不允许被修改的，所以代码区和常量区的内容编译后存储在ROM中。
而栈、堆、全局区(.bss段、.data段)都是存放在RAM中。
三、验证
1、Ubuntu中验证
代码
#include <stdio.h>
#include <stdlib.h>
//定义全局变量
int init_global_a = 1;
int uninit_global_a;
static int inits_global_b = 2;
static int uninits_global_b;
void output(int a)
{
printf("hello");
printf("%d",a);
printf("\n");
}
int main( )
{
//定义局部变量
int a=2;//栈
static int inits_local_c=2, uninits_local_c;
int init_local_d = 1;//栈
output(a);
char *p;//栈
char str[10] = "yaoyao";//栈
//定义常量字符串
char *var1 = "1234567890";
char *var2 = "abcdefghij";
//动态分配——堆区
int *p1=malloc(4);
int *p2=malloc(4);
//释放
free(p1);
free(p2);
printf("栈区-变量地址\n");
printf(" a：%p\n", &a);
printf(" init_local_d：%p\n", &init_local_d);
printf(" p：%p\n", &p);
printf(" str：%p\n", str);
printf("\n堆区-动态申请地址\n");
printf(" %p\n", p1);
printf(" %p\n", p2);
printf("\n全局区-全局变量和静态变量\n");
printf("\n.bss段\n");
printf("全局外部无初值 uninit_global_a：%p\n", &uninit_global_a);
printf("静态外部无初值 uninits_global_b：%p\n", &uninits_global_b);
printf("静态内部无初值 uninits_local_c：%p\n", &uninits_local_c);
printf("\n.data段\n");
printf("全局外部有初值 init_global_a：%p\n", &init_global_a);
printf("静态外部有初值 inits_global_b：%p\n", &inits_global_b);
printf("静态内部有初值 inits_local_c：%p\n", &inits_local_c);
printf("\n文字常量区\n");
printf("文字常量地址 ：%p\n",var1);
printf("文字常量地址 ：%p\n",var2);
printf("\n代码区\n");
printf("程序区地址 ：%p\n",&main);
printf("函数地址 ：%p\n",&output);
return 0;
}
使用gcc编译后，得
由此可知，Ubuntu下栈区和堆区的地址值都是从上到下增长的。
2、keil中验证
代码：
#include "sys.h"
#include "usart.h"
#include "delay.h"
#include <stdio.h>
#include <stdlib.h>
//定义全局变量
int init_global_a = 1;
int uninit_global_a;
static int inits_global_b = 2;
static int uninits_global_b;
void output(int a)
{
printf("hello");
printf("%d",a);
printf("\n");
}
int main(void)
{
u16 t; u16 len; u16 times=0;
Stm32_Clock_Init(9); //??????
delay_init(72); //?????
uart_init(72,115200); //??????115200
while(1)
{
//定义局部变量
int a=2;
static int inits_local_c=2, uninits_local_c;
int init_local_d = 1;
output(a);
char *p;
char str[10] = "yaoyao";
//定义常量字符串
char *var1 = "1234567890";
char *var2 = "abcdefghij";
//动态分配
int *p1=malloc(4);
int *p2=malloc(4);
//释放
free(p1);
free(p2);
printf("栈区-变量地址\n");
printf(" a：%p\n", &a);
printf(" init_local_d：%p\n", &init_local_d);
printf(" p：%p\n", &p);
printf(" str：%p\n", str);
printf("\n堆区-动态申请地址\n");
printf(" %p\n", p1);
printf(" %p\n", p2);
printf("\n全局区-全局变量和静态变量\n");
printf("\n.bss段\n");
printf("全局外部无初值 uninit_global_a：%p\n", &uninit_global_a);
printf("静态外部无初值 uninits_global_b：%p\n", &uninits_global_b);
printf("静态内部无初值 uninits_local_c：%p\n", &uninits_local_c);
printf("\n.data段\n");
printf("全局外部有初值 init_global_a：%p\n", &init_global_a);
printf("静态外部有初值 inits_global_b：%p\n", &inits_global_b);
printf("静态内部有初值 inits_local_c：%p\n", &inits_local_c);
printf("\n文字常量区\n");
printf("文字常量地址 ：%p\n",var1);
printf("文字常量地址 ：%p\n",var2);
printf("\n代码区\n");
printf("程序区地址 ：%p\n",&main);
printf("函数地址 ：%p\n",&output);
return 0;
}
}
内存配置
1、默认分配的ROM区域是0x8000000开始，大小是0x80000的一片区域，那么这篇区域是只读区域，不可修改，也就是存放的代码区和常量区
2、默认分配的RAM区域是0x20000000开始，大小是0x10000的一片区域，这篇区域是可读写区域，存放的是静态区、栈区和堆区。
点击魔法棒，点击c/c++，勾选c99 mode
点击target，勾选Use MicroLib
编译无误后将hex文件烧录进STM32，打开串口调试助手，可以看到以下结果。
3、对比分析
一般而言，程序内变量在堆栈上的分配，栈是由高地址到低地址，堆是由低地址到高地址。
在Ubuntu下，栈区的地址存储是向上增长，堆区的地址存储也是向上增长；
在STM32下，栈区的地址存储是向下增长，堆区的地址存储却是向上增长。
可是为什么Ubuntu下，栈区的地址值也是增长的？
查找了很多资料发现，大部分提到linux的栈，地址都是向下生长的，不过，也有以下解释：
第一种解释：
栈向低地址扩展(即”向下生长”)，是连续的内存区域；堆向高地址扩展(即”向上生长”)，是不连续的内存区域。
这是由于系统用链表来存储空闲内存地址，自然不连续，而链表从低地址向高地址遍历。
第二种解释：（暂时放到下面，还需要花时间理解分析这一点）
进程地址空间的分布取决于操作系统，栈向什么方向增长取决于操作系统与CPU的组合。
这里说的“栈”是函数调用栈，是以“栈帧”（stack frame）为单位的。
每一次函数调用会在栈上分配一个新的栈帧，在这次函数调用结束时释放其空间。
被调用函数（callee）的栈帧相对调用函数（caller）的栈帧的位置反映了栈的增长方向：如果被调用函数的栈帧比调用函数的在更低的地址，那么栈就是向下增长；反之则是向上增长。
在一个栈帧内，局部变量是如何分布到栈帧里的（所谓栈帧布局，stack frame layout），这完全是编译器的自由。
在简化的32位Linux/x86进程地址空间模型里，（主线程的）栈空间确实比堆空间的地址要高——它已经占据了用户态地址空间的最高可分配的区域，并且向下（向低地址）增长。
参考资料
1、https://blog.csdn.net/yingms/article/details/53188974
2、https://blog.csdn.net/cai88453626/article/details/130273950
3、https://blog.csdn.net/qq_46467126/article/details/121875496
4、https://blog.csdn.net/xwmrqqq/article/details/110149859
扫一扫
231
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
