C语言编译原理介绍

c语言编译原理图

1、预处理指令：gcc -E file.c -o hello.i

# 删除所有的注释，以空格代替

# 将所有的#define删除，并且展开所有的宏定义

# 处理条件编译指令#if，#ifdef，#elif，#else，#endif

    指令         用途
    #           空指令，无任何效果
    #include    包含一个源代码文件
    #define     定义宏
    #undef      取消已定义的宏
    #if         如果给定条件为真，则编译下面代码
    #ifdef      如果宏已经定义，则编译下面代码
    #ifndef     如果宏没有定义，则编译下面代码
    #elif       如果前面的#if给定条件不为真，当前条件为真，则编译下面代码，其实就是else if的简写
    #endif      结束一个#if……#else条件编译块
    #error      停止编译并显示错误信息

#处理#include,展开被包含的文件

#保留编译器需要使用的#pragma指令

'#pragma'它的作用是设定编译器的状态或者是指示编译器完成一些特定的动作。

2、编译指令：gcc -S file.c -o hello.S

# 对预处理文件进行一系列词法分析，语法分析和语义分析

词法分析主要分析关键字，标示符，立即数等是否合法

语法分析主要分析表达式是否遵循语法规则

语义分析在语法分析的基础上进一步分析表达式是否合法

# 分析结束后进行代码优化生成相应的汇编代码文件

3、汇编指令：gcc -c file.S -o hello.o

# 汇编器将汇编代码转变为机器可以执行的指令

每个汇编语句几乎都对应一条机器指令

4、链接器的意义

链接器的主要作用是把各个模块之间的相互引用的部分处理好，使得各个模块之间能够正确的衔接。

链接分为静态链接和动态链接：静态链接指的是.o文件与链接库.a文件拼接在一起，组成可执行文件。这样编译出的可执行文件较大，也占用较大的内存空间，如果可执行程序，被并发运行多次，则会重复调用.a链接库文件进入内存。这样就造成了很大的浪费。静态链接是以空间换取时间。

<