C语言编译流程全面分析

程序的编译流程大概分为 预处理器 -> 编译器 -> 汇编器 -> 链接器，4个阶段。 
编译器又可以分为词法分析 -> 语法分析 -> 语义分析 -> 中间代码生成 -> 代码优化 ->生成目标代码等阶段。

阶段	功能
预处理器	处理宏定义，如#include表示引入其他源文件的代码，#define表示定义宏，对代码片进行一个替换，#if系列命令可以控制预处理器的功能做到面向不同环境的代码等等。
编译器	编译过程就是把预处理完的文件进行一系列的词法分析，语法分析，语义分析及优化后生成相应的汇编代码
词法分析	将高级语言代码文本切割成词汇，输出单词流，删除注释、空格、空行等
语法分析	根据单词流生成语法树
语义分析	构建带类型和符号表的语法树、检查类型是否匹配、检查等号左侧是否为左值等
中间代码生成	生成中间代码
代码优化	优化中间代码
汇编器	汇编器是将汇编代码转变成机器可以执行的命令，每一个汇编语句几乎都对应一条机器指令。汇编相对于编译过程比较简单，根据汇编指令和机器指令的对照表一一翻译即可
链接器	将多个目标代码库链接成可执行文件

 

词法分析（Lexical analysis或Scanning）和词法分析程序（Lexical analyzer或Scanner） 
　　词法分析阶段是编译过程的第一个阶段。这个阶段的任务是从左到右一个字符一个字符地读入源程序，即对构成源程序的字符流进行扫描然后根据构词规则识别单词(也称单词符号或符号)。词法分析程序实现这个任务。词法分析程序可以使用lex等工具自动生成。

语法分析（Syntax analysis或Parsing）和语法分析程序（Parser） 
　　语法分析是编译过程的一个逻辑阶段。语法分析的任务是在词法分析的基础上将单词序列组合成各类语法短语，如“程序”，“语句”，“表达式”等等.语法分析程序判断源程序在结构上是否正确.源程序的结构由上下文无关文法描述.

语义分析（Syntax analysis） 
　　语义分析是编译过程的一个逻辑阶段. 语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查, 进行类型审查.例如一个C程序片断:
　　int arr[2],b;
　　b = arr * 10; 
　　源程序的结构是正确的. 
　　语义分析将审查类型并报告错误:不能在表达式中使用一个数组变量,赋值语句的右端和左端的类型不匹配.

Lex 
　　一个词法分析程序的自动生成工具。它输入描述构词规则的一系列正规式,然后构建有穷自动机和这个有穷自动机的一个驱动程序,进而生成一个词法分析程序.

Yacc 
　　一个语法分析程序的自动生成工具。它接受语言的文法,构造一个LALR(1)分析程序.因为它采用语法制导翻译的思想,还可以接受用C语言描述的语义动作,从而构造一个编译程序. Yacc 是 Yet another compiler compiler的缩写.

源语言（Source language）和源程序（Source program） 
　　被编译程序翻译的程序称为源程序,书写该程序的语言称为源语言.

目标语言（Object language or Target language）和目标程序（Object program or Target program） 
　　编译程序翻译源程序而得到的结果程序称为目标程序, 书写该程序的语言称为目标语言.

中间语言（中间表示）（Intermediate language(representation)） 
　　在进行了语法分析和语义分析阶段的工作之后，有的编译程序将源程序变成一种内部表示形式，这种内部表示形式叫做中间语言或中间表示或中间代码。所谓“中间代码”是一种结构简单、含义明确的记号系统，这种记号系统复杂性介于源程序语言和机器语言之间，容易将它翻译成目标代码。另外，还可以在中间代码一级进行与机器无关的优化。

文法（Grammars） 
　　文法是用于描述语言的语法结构的形式规则。文法G定义为四元组(，，，)。其中为非终结符号(或语法实体，或变量)集；为终结符号集；为产生式(也称规则)的集合；产生式(规则)是形如或 a ::=b 的(a , b)有序对,其中(∪)且至少含有一个非终结符，而(∪)。，和是非空有穷集。称作识别符号或开始符号，它是一个非终结符，至少要在一条规则中作为左部出现。 
　　一个文法的例子: G=(={A，R},={0,1} ，={A?0R，A?01,R?A1},=A) 

文法分类（A hierarchy of Grammars） 
　　著名语言学家Noam Chomsky定义了四类文法和四种形式语言类，文法的四种类型分别是0型、1型、2型和3型。几类文法的差别在于对产生式施加不同的限制，分别是： 
　　0型文法(短语结构文法)(phrase structure grammars)： 
　　设G=(，，，)，如果它的每个产生式是这样一种结构： (∪)　　且至少含有一个非终结符，而(∪)，则G是一个0型文法。 
　　1型文法（上下文有关文法）(context-sensitive grammars)： 
　　设G=(，，，)为一文法，若中的每一个产生式均满足|，仅仅　　除外，则文法G是1型或上下文有关的。 
　　2型文法（上下文无关文法）(context-free grammars)： 
　　设G=(，，，)，若P中的每一个产生式满足：是一非终结符，(∪)　　则此文法称为2型的或上下文无关的。 
　　3型文法（正规文法）(regular grammars)： 
　　设G=(，，，)，若中的每一个产生式的形式都是A→aB或A→a，其中A和B都是非终结，a是终结符，则G是3型文法或正规文法。 
　　0型文法产生的语言称为0型语言。 
　　1型文法产生的语言称为1型语言，也称作上下文有关语言。 
　　2型文法产生的语言称为2型语言，也称作上下文无关语言。 
　　3型文法产生的语言称为3型语言，也称作正规语言。

源代码优化 = 中间代码生成 + 代码优化 。

优化举个简单的例子： int a = 2+6 , 优化后好比 int a = 8 

跨平台的编译器可以针对不同的平台使用同一个前端和针对不同机器平台的数个后端

前端部分： 从语法分析一直到源代码优化 （编译器）

后端部分： 目标代码生成到目标代码优化 （汇编器）

以上只是对编译器大概的说明，想要深入的了解推荐看编译原理的书，还是很深奥，对于开发人员来说可以不必要了解的很深入，除非你是专门做这一块的。