程序设计语言基础-编译过程概述+表达式

程序设计语言分类

面向机器的语言

由0、1组成的机器指令序列或汇编语言(如：move ax，bx)，可读性差，难以修改和维护。

面向应用程序的语言

如，Java、C、C++、Python、Delphi、PASCAL等，更接近人类语言，提高程序设计效率。

程序设计语言分类

生成目标代码过程

编译程序

词法分析

输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个的单词，删掉无用的信息，报告分析时的错误。

语法分析阶段

语法分析的任务是在词法分析的基础上，根据语言的语法规则将单词符号序列分解成各类语法单位。通过语法分析确定整个输入串是否构成一个语法上正确的程序。

语义分析阶段

主要检查源程序是否存在语义错误，并收集类型信息供后面的代码生成阶段使用。语义分析分为静态分析和动态分析两个部分。静态语义分析使用语法制导翻译。

点击查看代码

public class Example {
public static void main(String[] args) {
int x = 5;
int y = "Hello"; // 静态类型错误System.out.println(“Sum: ” + (x / 0)); // 动态类型错误}
}

中间代码

不依赖具体计算机，表现形式如下。

1. 后缀式（逆波兰式）
2. 树型表示
3. 三元式：X =（ a + b）（ c + d ）
   ①（+ , a , b）②（+ , c , d ）③（ , ① , ②）④（ =，③，x）
4. 四元式： X =（a*b）+ c/d
   ①（ *, a , b , T1）②（ / , c , d , T2）③（ +, T1 , T2 , T3 ）④（ =
   ，T1，—，X）

表达式出错处理

静态错误（编译时出现）

语法错误，如：单词拼写错误、标点符号错误、表达式缺操作数、
括号不匹配等。
静态语义错误，如：运算符与运算对象类型不合法。

动态错误（运行时出现）

如：变量取0做除数。
如：引用数组下标越界