第3周---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下刚好相反。

四.总结

通过几个示例程序和阅读相关资料学会了用gcc生成静态库和动态库，还有静态库.a与.so库文件的生成和使用。虽然在过程中遇到了很多问题，但是通过询问同学和查询网上资料结合自己的实际应用总算解决了。这次实验让我更加熟练的使用gcc编译工具也更加了解了gcc。相信在以后的学习过程中会更加轻松自得。