软考备考——程序语言

对于这部分内容，我在之前大部分接触过，主要接触的是文法分析方面的知识。
词法分析（Lexical Analysis）

    词法分析是编译器工作的第一个阶段，也被称为扫描（Scanning）或分词（Tokenization）。在这个阶段，编译器会读取源代码的字符流，并将其分解为一个个有意义的符号或标记（Tokens）。这些标记是编译器进一步处理的基本单位。

    在C语言中，词法分析器会识别出诸如关键字（如int, for, while等）、标识符（变量名、函数名等）、运算符（如+, -, *, /等）、数字字面量、字符串字面量、标点符号（如括号、分号等）等不同类型的标记。

    例如，对于C语言的代码片段int a = 5;，词法分析器会将其分解为以下标记：int（关键字）、a（标识符）、=（赋值运算符）、5（整数字面量）和;（语句结束符）。

总结：关键字、标识符、赋值运算符、整数字面量、语句结束符

语法分析（Syntax Analysis）

   语法分析是编译器工作的第二个阶段。在这个阶段，编译器会根据语言的语法规则（通常由上下文无关文法定义）将词法分析器产生的标记组合成有意义的表达式和语句。这个过程通常通过构建一个抽象语法树（Abstract Syntax Tree, AST）来实现。

   在C语言中，语法分析器会检查标记的排列是否符合C语言的语法规则。例如，它会检查变量声明、函数定义、控制流语句（如if语句、for循环等）和表达式等的结构是否正确。

   对于上面的代码片段int a = 5;，语法分析器会确认这是一个合法的变量声明和初始化语句，并构建一个相应的AST节点。

语义分析（Semantic Analysis）

 语义分析是编译器工作的第三个阶段。在这个阶段，编译器会检查源代码的语义是否正确，即检查源代码是否有意义。这包括类型检查、变量和函数的作用域检查、符号解析等。

  在C语言中，语义分析器会确保变量和函数的类型正确，确保所有的函数调用都有正确的参数类型和数量，检查变量是否在使用前已经声明和初始化等。

  对于上面的代码片段int a = 5;，语义分析器会确认变量a的类型是int，并且它被赋值为一个整数5，这是合法的。