你的变量究竟存储在什么地方？
作者：杨小华        

我相信大家都有过这样的经历，在面试过程中，考官通常会给你一道题目，然后问你某个变量存储在什么地方，在内存中是如何存储的等等一系列问题。不仅仅是在面试中，学校里面的考试也会碰到同样的问题。       
如果你还不知道答案，请接着往下看。接下来，我们将在Linux操作系统上，以GCC编译器为例来讲解变量的存储。       

在计算机系统中，目标文件通常有三种形式：
1.         可重定位的目标文件：包含二进制代码和数据，与其他可重定位目标文件合并起来，创建一个可执行目标文件。

2.         可执行的目标文件：包含二进制代码和数据，其形式可以被直接拷贝到存储器中并执行

3.         共享目标文件：一种特殊的可重定位目标文件，即我们通常所说的动（静）态链接库一个典型的可重定位目标文件如下图所示：                                                                
高地址

                                                                        0 图 1典型的ELF可重定位目标文件（数字代表索引）       

夹在ELF头和节头部表之间的都是节（section），各个节的意思如下：

      
对于static类型的变量，gcc编译器在.data和.bss中为每个定义分配空间，并在.symtab节中创建一个有唯一名字的本地链接器符号。对于malloc而来的变量存储在堆（heap）中，局部变量都存储在栈（stack）中。        下面我们以实际的例子来分析变量的存储：

      
通过以上汇编代码可以发现，z和b在.data段，main和swap在.text段，a和c在.bss段，x,y,temp在stack中，printf函数所打印的字符串在.rodata中。       

下面我们在通过符号表来解释变量的存储。       

 每个可重定位目标文件都有一个符号表，它包含该文件所定义和引用的符号的信息。在链接器的上下文中，有三种不同的符号：
1.         由该文件定义并能被其他模块引用的全局符号。即非静态的C函数和非静态的全局变量，如程序中的a,z,swap。
2.         由其他模块定义并被该文件引用的全局符号。用extern关键字所定义的变量和函数。
3.         只被该文件定义和引用的本地符号。用static关键字定义的函数和变量。如程序中的b和c。该程序所对应的符号表如图所示：
图 2符号表 首先，我们解释上图中各字段的含义：