编译链接（Compile Link）

前言

在ANSI C的任何一种实现中，存在两个不同的环境。
第1种是翻译环境，在这个环境中源代码被转换为可执行的机器指令。
第2种是执行环境，它用于实际执行代码。
接下来我们就来讲解翻译环境

一、翻译环境

1、概念

计算机可以识别二进制指令，而我们写的代码时文本信息，计算机无法识别，需要翻译环境进行翻译后，计算机才能识别运行。

2、翻译环境的组成

翻译环境由编译和链接两部分组成

3、什么是编译链接？

如下图所示：

在这里插入图片描述

二、编译

1、编译的阶段

编译分为：
1、预编译（预处理）
2、编译
3、汇编

一共三阶段

2、预编译

VS身为集成开发环境，集成了编译器（cl.exe），链接器（link.exe）和调试器
所以VS不好演示这一过程，这里我们可以使用Linux上的gcc编译器演示

预编译处理的：
1、头文件的展开
2、注释删除
3、宏替换
这些都是文本操作，所有的预处理指令都是在预处理阶段完成的。

3、编译

编译处理的：
1、把c语言代码翻译成了汇编语言
2、语法分析
3、词法分析
4、语义分析
5、符号汇总

1、什么是语法分析？

语法分析(syntax analysis)是编译程序的核心部分，其任务是检查词法分析器输出的单词序列是否是源语言中的句子，亦即是否符合源语言的语法规则。

2、什么是词法分析？

词法分析（英语：lexical analysis）是计算机科学中将字符序列转换为单词（Token）序列的过程。进行词法分析的程序或者函数叫作词法分析器（Lexical analyzer，简称Lexer），也叫扫描器（Scanner）。词法分析器一般以函数的形式存在，供语法分析器调用。

3、什么是语义分析？

语义分析是编译过程的一个逻辑阶段，语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查，进行类型审查。语义分析是审查源程序有无语义错误，为代码生成阶段收集类型信息。比如语义分析的一个工作是进行类型审查，审查每个算符是否具有语言规范允许的运算对象，当不符合语言规范时，编译程序应报告错误。如有的编译程序要对实数用作数组下标的情况报告错误。又比如某些程序规定运算对象可被强制，那么当二目运算施于一整型和一实型对象时，编译程序应将整型转换为实型而不能认为是源程序的错误。