实例程序中的堆和栈

#include <stdio.h>
int a=1;
void func()
{
    printf(\"a=%d\\n\",a);
    a++;
}
int main()
{
    int a=5;
    printf(\"a=%d\\n\",a);
    func();
    printf(\"a=%d\\n\",a);
    return 0;
}

上例中显示结果：顺序是a=5 a=1 a=5;

虽然也知道是这个结果，但是却没有深了解，只知道一个a是全局变量，一个是局部变量 ，但是为什么可以定义两个相同的名称呢?

那系统又是如何知道显示的变量各自是哪个呢?

在说这个问题之前 先了解几个概念：

BSS段：BSS段（bsssegment）通常是指用来存放程序中未初始化的全局变量的一块内存区域。BSS是英文BlockStartedbySymbol的简称。BSS段属于静态内存分配。

数据段：数据段（datasegment）通常是指用来存放程序中已初始化的全局变量的一块内存区域。数据段属于静态内存分配。

代码段：代码段（codesegment/textsegment）通常是指用来存放程序执行代码的一块内存区域。这部分区域的大小在程序运行前就已经确定，并且内存区域通常属于只读,某些架构也允许代码段为可写，即允许修改程序。在代码段中，也有可能包含一些只读的常数变量，例如字符串常量等。

堆（heap）：堆是用于存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减。当进程调用malloc等函数分配内存时，新分配的内存就被动态添加到堆上（堆被扩张）；当利用free等函数释放内存时，被释放的内存从堆中被剔除（堆被缩减）

栈(stack)：栈又称堆栈，是用户存放程序临时创建的局部变量，也就是说我们函数括弧“{}”中定义的变量（但不包括static声明的变量，static意味着在数据段中存放变量）。除此以外，在函数被调用时，其参数也会被压入发起调用的进程栈中，并且待到调用结束后，函数的返回值也会被存放回栈中。由于栈的先进先出特点，所以栈特别方便用来保存/恢复调用现场。从这个意义上讲，我们可以把堆栈看成一个寄存、交换临时数据的内存区。

原来所谓的全局变量和局部变量，这样只是便于我们理解两个定义的不同，其实质是因为这两个变量在内存中的位置不一样。全局变量实际上在存在数据段中，而局部变量则是存在栈中。

当编译器在使用的时候，首先会看栈中是否定义了此数据，若有，则用栈上的数据，若没有，就用数据段上的数据。就好像头文件的链接一样，头文件链接时，若本目录有此文件就用，没有再到系统库中去寻找。

详细可参考http://www.cnblogs.com/Kevin_z/archive/2010/03/05/1679031.html