C语言——符号的声明与定义

C语言之所以博大精深，是因为想要真正理解它，就要理解它背后故事。我们知道从源代码到可执行文件的过程分四步：预编译，编译，汇编，链接，而其中核心在于编译(预编译是相对简单的文本操作，汇编是一个相对简单的映射，链接是符号在地址空间中的最终定位)。编译是以文件为单元进行的(每个经过预处理之后的文件都是单独编译，生成一个.o文件)。编译的过程就是编译器理解C的过程，也是C在语言层面上的灵魂所在。本文主要说明符号(idendifier)的声明(declaration)与定义(definition)是怎么回事。

先来个例子吧，比如有这么一个文件func.c：

int var_global;
extern int var_extern;

int func()
{
    int add(int arg1, int arg2);
    int var_local;
    var_global = 100;
    var_local = add(var_global, var_extern);

    return var_local;
}

这里出现了五个符号：var_global，var_extern，func，add和var_local。编译器需要知道这些符号在哪些地方是有意义的(比如这里的var_local在func外面没有意义)以及它们有什么意义，然后决定要不要针对这些符号做些什么(比如分配空间，怎么初始化这些空间等等)。

• “int var_global;”告诉编译器：var_global是一个int型的变量，需要给它在全局变量区分配空间并初始化为0，它的合法范围是当前文件(在当前文件后面再遇到var_glob