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