在C程序编译过程中，什么是语法检查、语义检查？两者有何区别？

在C程序编译过程中，语法检查和语义检查是两个不同的阶段，用于检测代码中的错误和潜在问题。

        语法检查（Syntax Check）：语法检查是编译器在编译过程中进行的第一步，用于检查代码是否符合语法规则。编译器会检查代码中的每个标识符、操作符、语句等是否按照语法规则组织和使用。如果代码中存在语法错误，编译器会产生相应的错误提示信息。

语法检查主要关注的是代码的结构和组织是否正确，例如括号是否匹配、分号是否缺失等。它不会涉及代码的语义和逻辑问题。

        语义检查（Semantic Check）：语义检查是编译器在语法检查之后进行的下一步，用于检查代码的语义和逻辑是否正确。它会对代码中的类型、作用域、函数调用、变量使用等进行检查，以确保代码在运行时不会出现语义错误。

语义检查主要关注的是代码的含义和逻辑是否正确，例如变量的类型是否匹配、函数的参数是否正确、变量的声明和使用是否一致等。它需要对代码进行更深入的分析，通常需要借助符号表和类型系统等辅助工具。

区别：

• 语法检查关注的是代码的结构和组织是否符合语法规则，主要检查代码的形式上的错误。
• 语义检查关注的是代码的语义和逻辑是否正确，主要检查代码的含义和运行时的错误。

总的来说，语法检查是编译器的第一道检查，用于检查代码的结构和组织是否正确；而语义检查是对代码的进一步分析，用于检查代码的语义和逻辑是否正确。语义检查需要更深入的分析和理解，通常会在语法检查之后进行。