简易的变量存储位置解析

简易的变量存储位置解析

一、概述

通过编写C语言程序,分别在Ubuntu系统和STM32单片机平台上运行,对比了C语言程序中常量、全局变量、静态变量和局部变量的存储位置。

二、Ubuntu系统变量存储分析

1. 程序示例

#include <stdio.h>
// 全局常量
#define NUM 100  
// 全局变量
int g_var = 0;   
// 静态变量 
static int s_var = 0;
int main()
{
  // 局部变量
  int num=NUM;
  int l_var = 0;
  printf("NUM address: %p\n", &num);
  printf("g_var address: %p\n", &g_var);
  printf("s_var address: %p\n", &s_var);
  printf("l_var address: %p\n", &l_var);
  return 0;
}

得到的结果：

2. 存储位置分析

• 全局常量NUM存储在代码段中
• 全局变量g_var存储在数据段中
• 静态变量s_var存储在数据段中
• 局部变量l_var存储在栈中

三、STM32单片机变量存储分析

1. 程序示例

#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;
}

得到的结果：

2. 存储位置分析

STM32变量存储位置分析:

1. 栈区:
   栈区用于存储函数调用时的局部变量,如main函数中的变量a、init_local_d等。这些变量函数调用结束后会自动释放。
2. 全局区:

• .bss段:存储未初始化的全局和静态变量,如uninit_global_a、uninits_global_b等。这些变量默认初始化为0。
• .data段:存储初始化了值的全局和静态变量,如init_global_a、inits_global_b等。这些变量会保留其初始化值。

3. 文字常量区:
   存储字符串常量和字符常量,如var1、var2等。这些常量在程序运行期间不会改变。
4. 代码区:
   存储函数体代码以及主函数入口,如main函数和output函数地址。
5. 堆区:
   通过malloc/calloc动态申请内存,如p1、p2指针申请的内存。这部分内存需要通过free释放。

总之,STM32变量存储位置主要包括栈区、全局区(.bss和.data段)、文字常量区和代码区4个区域。其中栈区是函数调用时动态分配的,全局区和文字常量区存储静态变量和常量,代码区存储程序代码。堆区通过动态内存分配申请。

分析

通过运行结果可以发现，Ubuntu在栈区和堆区的地址值都是从上到下增长的，树莓派和stm32的栈区的地址值是从上到下减小的，堆区则是从上到下增长的。从每个区来看，地址值是从上到下逐步减小的，即栈区的地址是高地址，代码区的地址是处于低地址。

四、总结

• Ubuntu系统中,全局/静态变量存储在数据段,局部变量存储在栈中
• STM32中,全局变量存储在FLASH区,静态变量存储在RAM区,局部变量存储在堆栈中
• Cortex-M架构中,程序代码和常量存储在FLASH区,静态数据存储在RAM区,堆栈也在RAM区

本报告通过实际程序验证,对比分析了不同平台下C语言变量的存储位置,加深了对存储器分配的理解。