本文主要是介绍软考:区分词法分析、语法分析、语义分析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
考各位一个题:判断程序语句的形式是否正确属于()阶段的工作?
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语法,语义才是深层次的变量里面的值
这篇关于软考:区分词法分析、语法分析、语义分析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!