软考：区分词法分析、语法分析、语义分析

考各位一个题：判断程序语句的形式是否正确属于（）阶段的工作？

A、词法分析   B、语法分析  C、语义分析  D、代码生成

各位填什么？

正确答案：B

词法分析（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，这是合法的。

我再出几道题：

     在编译过程中，哪个阶段负责识别并报告变量未定义错误？ A、词法分析   B、语法分析  C、语义分析  D、代码生成

答案：C

解析：题目的意思应该是，声明变量，但是没有初始化，检查变量初始化。

     编译器在将源代码转化为可执行文件时，哪个阶段负责检查类型错误？ A、词法分析   B、语法分析  C、语义分析  D、链接

答案：C

解析：类型赋值后，类型是否正确。

    哪个阶段是编译器中负责将中间代码转化为目标机器代码的部分？ A、词法分析   B、语法分析  C、语义分析  D、代码生成

答案：D

总结：

建议记下来，顺序是词法分析、语法分析、语义分析。

相同的是在后两位，不同的在第一位，其实仔细想想，明显单词判断要先判断，后面才是语法和语义，单词不就关键字、标识符，常量吗？而语法就那些if语法，while语法，语义才是深层次的变量里面的值