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

语法就是不考虑句子的含义，是一些规定死的语法结构。就像要求每个语句后面加分号，循环语句怎么写，变量怎么定义，等等都算是语法。只要编译过程检查的就是语法问题，只要不报错，语法就是正确的。但是你写了个语法正确的程序，它的语义组合起来不一定达到你预期的功能，比如你本来想引用变量i却误写错为另一个变量j，这在语法上没问题，但功能上有问题，这就算是语义错误了。