● 某C语言程序中，m是一个整型变量，则 （33） 时遇到表达式m+"test"会报错。（33）A. 词法分析B. 语法分析C. 语义分析D. 程序运行

程序代码中的错误可分为语法错误和语义错误。程序语言的语法表述的是语言的形式，或者说是语言的样子和结构。程序语言还有更重要的一个方面，就是附着于语言结构上的语义。语义揭示了程序本身的含义、施加于语言结构上的限制或者要执行的动作。程序语言的语义分为静态语义和动态语义。编译时进行的是静态语义的分析，主要包括：检查语言结构的语义是否正确，即是否结构正确的句子所表示的意思也合法；执行规定的语义动作，如表达式的求值、符号表的填写、中间代码的生成等。整除取余运算符“%”的有效运算对象是两个整数。在形式上，只要“%”的两个运算对象存在，其语法就是正确的；在语义上，“%”的运算对象中有浮点数则不符合整除取余运算的含义。因此，这是运算对象与运算符的类型不匹配错误，届于静态语义错误，在编译阶段可以发现该错误。

本题考查程序语言翻译基础知识。对源程序进行编译的过程可以分为词法分析、语法分析、语义分析、中间代码生成和优化、目标代码生成等阶段。其中，词法分析是分析各种构造形式的单词，如整型常量、浮点常量、标识符、运算符等；语法分析是分析各种构造形式的表达式(算术表达式、关系表达式、逻辑表达式等)和语句(if语句、for语句、while语句等)，词法分析和语法分析都是对程序的结构进行分析。语义分析是指分析程序中各种语言成分的含义，如变量、表达式、语句等的含义，是对程序的静态语义(编译时能确定的语义)的分析。程序运行时体现程序的动态语义。

本题考查程序语言基础知识。
用户编写的源程序不可避免地会有一些错误，这些错误大致可分为静态错误和动态错误。动态错误也称动态语义错误，它们发生在程序运行时，例如变量取零时作除数、引用数组元素下标越界等错误。静态错误是指编译时所发现的程序错误，可分为语法错误和静态语义错误。C语言对浮点数作整除取余运算没有定义，属于运算类型不匹配的错误，编译过程中的语义分析阶段会报告此类错误，属于静态语义错误。

本题考查程序语言基础知识。
用户编写的源程序不可避免地会有一些错误，这些错误大致可分为静态错误和动态错误。动态错误也称动态语义错误，它们发生在程序运行时，例如变量取零时作除数、引用数组元素下标越界等错误。静态错误是指编译时所发现的程序错误，可分为语法错误和静态语义错误。C语言对浮点数作整除取余运算没有定义，属于运算类型不匹配的错误，编译过程中的语义分析阶段会报告此类错误，属于静态语义错误。

程序代码中的错误可分为语法错误和语义错误。程序语言的语法表述的是语言的形式，或者说是语言的样子和结构。程序语言还有更重要的一个方面，就是附着于语言结构上的语义。语义揭示了程序本身的含义、施加于语言结构上的限制或者要执行的动作。程序语言的语义分为静态语义和动态语义。编译时进行的是静态语义的分析，主要包括：检查语言结构的语义是否正确，即是否结构正确的句子所表示的意思也合法；执行规定的语义动作，如表达式的求值、符号表的填写、中间代码的生成等。整除取余运算符“%”的有效运算对象是两个整数。在形式上，只要“%”的两个运算对象存在，其语法就是正确的；在语义上，“%”的运算对象中有浮点数则不符合整除取余运算的含义。因此，这是运算对象与运算符的类型不匹配错误，届于静态语义错误，在编译阶段可以发现该错误。