C程序中全局变量、局部变量、堆、栈的概念以及其在Ubuntu和stm32下的地址分配情况

一、C程序内部概念

1.全局变量、局部变量、堆、栈的概念

• 全局变量
  在所有函数外部定义的变量称为全局变量（Global Variable），既可以是某对象函数创建，也可以是在本程序任何地方创建。全局变量是可以被本程序所有对象或函数引用，它的作用域默认是整个程序，也就是所有的源文件。
• 局部变量
  定义在函数内部的变量称为局部变量（Local Variable），是指在一个函数内部或复合语句内部定义的变量，。局部变量的生存期是从函数被调用的时刻算起到函数返回调用处的时刻结束。它的作用域仅限于函数内部， 离开该函数的内部就是无效的，再使用就会报错。
• 堆
  自由申请的空间，按内存地址由低到高方向生长，其大小由系统内存 / 虚拟内存上限决定，速度较慢，但自由性大，可用空间大。
• 栈
  存放 Automatic Variables ，按内存地址由高到低方向生长，其最大值由编译时确定，速度快，但自由性差，最大空间不大。

区别：

全局变量	局部变量
定义在方法外	定义在方法内
整个类都能用	只能在方法中使用
不赋值也会有默认值	不赋值就没有默认值
位于堆内存	位于栈内存

堆	栈
由系统自动分配	需要程序员自己申请，并指明大小
是由 new 分配的内存，一般速度比较慢，而且容易产生内存碎片，不过用起来最方便	由系统自动分配，速度较快。但程序员是无法控制的
堆获得的空间比较灵活，也比较大	2M 或 1M，是一个编译时就确定的常数，能从栈获得的空间较小
一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容由程序员安排	局部变量，在函数调用时，第一个进栈的是主函数中后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数

2.C程序的内存分配

区域	概况
全局区（静态区）（static）	全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量、未初始化的静态变量在相邻的另一块区域。当程序结束后，变量由系统释放
堆区（heap）	一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收 。它与数据结构中的堆不同，分配方式类似于链表。
栈区（stack）	由编译器自动分配释放，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈
文字常量区	存放常量字符串。当程序结束后，常量字符串由系统释放
程序代码区	存放函数体的二进制代码

其中这几个区域的储存顺序为：
栈区→堆区→全局区→常量区→代码区

存储区图解：

二、在Ubuntu和stm32下的地址分配情况

利用代码查看地址分配情况

代码：

#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] = "lyy";
    //定义常量字符串
    char *var1 = "1234567890";
    char *var2 = "qwertyuiop";
    //动态分配
    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.在Ubuntu下的地址分配情况

• 在Ubuntu系统下执行上述代码
  如果不知道如何在Ubuntu上编译执行代码，可以查看博主之前的博客：如何安装ubuntu系统下，并在ubuntu系统下使用gcc和Makefile编程
  

2.在stm32下的地址分配情况

基于博主之前用CubeMX生成的项目文件的main.c函数进行改写

代码如下：

#include "usart.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)
{	
	uart_init(115200);	
		while(1)
	{
		//定义局部变量
		int a=2;
		static int inits_local_c=2, uninits_local_c;
		int init_local_d = 1;
		char *p;
		char str[10] = "zls";
		//定义常量字符串
		char *var1 = "1234567890";
		char *var2 = "qwertyuiop";
		//动态分配
		int *p1=malloc(4);
		int *p2=malloc(4);
		output(a);
		//释放
		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;
  }
}

• 代码执行无误后，即可连接硬件进行烧录
  
• 硬件链接图
  
• 打开FLYMCU，烧录生成的.HEX文件
  
• 打开串口通信助手，开启串口
  
  通过串口可以看出，STM32的栈区分配地址从上到下变小，而堆区分配地址从上到下变大

总结

本篇博客介绍了C程序的全局变量、局部变量、堆、栈等概念，对全局变量和局部变量、堆和栈之间进行了对比，重点突出了它们的区别。介绍了C程序的内存分配情况，并通过代码执行得到的结果直观分析出在Ubuntu系统下和在stm32中堆和栈的地址分配区别——Ubuntu下堆和栈的地址从上到下递增，而STM32中堆的地址是从上到下递增，栈的地址是从上到下减少。

参考资料

基于Ubuntu、树莓派、STM32分析C语言经编译后的分区情况
C语言中，局部变量、全局变量、静态变量、堆、栈的内存地址
局部变量、全局变量、堆、堆栈、静态和全局