GCC背后的故事&C程序常量变量的地址分配

一、用gcc生成静态库和动态库 函数库分为静态库和动态库。

（1）静态库 在程序编译时会被连接到目标代码中，程序运行是则不需要静态库的存在。

（2）动态库 在程序编译时不会被连接到目标代码中，而是程序运行时载入的。 两者区别：前者是编译连接的，后者是程序运行载入的。

1.用gcc生成静态库和动态库

（1）先创建一个作业目录：mkdir test1

                                cd test1

然后用vim等文本编辑器编辑生成所需要的3个文件。hello.c/hello.h/main.c分别如下图所示：

（2)将hello.c编译成 .o文件。

在ls命令结果中，我们看到了hello.o文件，本步操作完成，下面看如何创建动态库，以及使用它。

（3）由.o文件创建静态库。

ls命令结果中有libmyhello.a。

（4）在程序中使用静态库。

 程序照常运行，静态库中公用函数已经连接到目标文件中了。

（5）由.o文件创建动态库文件

动态库文件名规范和静态库文件名规范类似，也是在动态库名增加前缀lib，但其文件扩展名为.so。

（6）在程序中使用动态库（将文件复制到/uer/lib中时要是没有权限可以在前面加sudo）

2.静态库.a与.so库文件的生成和使用

先创建一个文件目录然后编辑生成所需要的四个文件A1.c、 A2.c、 A.h、 test.c。分别如下图所示：

(1)静态库.a文件的生成和使用。 1生成目标文件（xxx.o)

2生成静态库.a文件

3使用库文件，创建可执行程序

（2）共享库.so文件的生成和使用。 2.1生成目标文件（xxx.o)（此处生成.o文件必须添加“-fpic"，否则在生成.so文件时会出错。）

2.2生成共享库.so文件

2.3使用.so库文件，创建可执行程序

发现出现错误，运行ldd test 查看连接错误

发现确实找不到对应的.so文件。

在执行./test即可运行成功

3.实例使用库 （1）代码 sub1.c

float x2x(int m,int n) { float b; b = m * n; return b; } sub2.c

float x2y(int x, int y) { float z; z=x+y; return z; } sub.h

#ifndef SUB_H #define SUB_H float x2x(int m,int n); float x2y(int x,int y); #endif main.c

#include <stdio.h> #include "sub.h" int main() { int m=8,n=6; float x,y; x = x2x(m,n); y = x2y(m,n); printf("%f\r\n", x); printf("%f\r\n", y); return 0; } （2）将.c文件转成.o文件

（3)静态库 将两个目标文件用ar工具生成.a静态库

输入gcc命令

（4)动态库 将两个目标文件用ar工具生成.so动态库，并用gcc链接。

如同前文，需要在root模式下进行

（5）静态库和动态库大小对比

输入命令：ll

二.阅读、理解和学习材料“Linux GCC常用命令.pdf”和“GCC编译器背后的故事.pdf” 1.Linux gcc常用命令 （1）简单编译，程序实例：

（2）预处理-编译为汇编代码-汇编-连接-输出

（3）多个文件的编译命令为gcc test1.c test2.c -o test

(4)检错gcc -pedantic illcode.c -o illcode或者gcc -Wall illcode.c -o illcode

修改如下：gcc -Werror test.c -o test

三. 编写一个C程序，重温全局常量、全局变量、局部变量、静态变量、堆、栈等概念，在Ubuntu（x86）系统和STM32(Keil)中分别进行编程、验证（STM32 通过串口printf 信息到上位机串口助手) 。1）归纳出Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的分配地址，进行对比分析；2）加深对ARM Cortex-M/stm32F10x的存储器地址映射的理解。下图是一个Cortex-M4的存储器地址映射示意图（与Cortex-M3/stm32F10x基本相同，只存在微小差异）

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] = "lmy"; //定义常量字符串 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; }

编译过程如下：

输出结果如下：

可以发现，Ubuntu在栈区和堆区的地址值都是从上到下增长的。

STM32演示如下：

用之前的串口通信工程进行改写

编译之后，在串口软件上观察效果。

可以发现，STM32 在栈区和堆区的地址值是从上往下的在减小与Ubuntu下刚好相反。

四.总结 在C程序中，常量和变量存储在内存中的不同区域。常量通常存储在只读数据段中，而变量存储在堆栈或静态/全局数据段中。在实验中，我们通过使用取地址运算符&，可以获取变量或常量的地址。通过打印这些地址，我们可以观察到它们在内存中的分配情况。实验总结显示，常量的地址通常是固定的，而变量的地址会随着程序执行的不同而变化。这些实验结果对于理解C程序的内存管理和变量分配非常有帮助。