C语言语法语义,编程语言的语法和语义有什么区别？

语法是关于语言的结构或语法。它回答的问题：如何构造一个有效的句子？所有语言，甚至英语和其他人类(也称为“自然”)语言都有语法，即规定句子是否被正确构造的规则。

这里有一些C语言规则：

>用分号分隔语句

>将括弧中的IF语句的条件表达式括起来

>通过用大括号括起来将多个语句组合成单个语句

>数据类型和变量必须在第一个可执行语句之前声明(此功能已在C99中删除，C99和后者允许混合类型声明)

语义是关于句子的意思。它回答了问题：这句话有效吗？如果是这样，句子是什么意思？例如：

x++; // increment

foo(xyz, --b, &qrs); // call foo

是语法有效的C语句。但是它们是什么意思？尝试将这些语句转换为可执行的指令序列甚至是有效的吗？这些问题是语义的核心。

考虑第一个语句中的运算符。首先，它是否有效尝试这个？

>如果x是一个float数据类型，这个语句没有意义(根据C语言规则)，因此即使语句在语法上是正确的，它也是一个错误。

>如果x是指向某种数据类型的指针，语句的含义是“将sizeof(某种数据类型)添加到地址x的值，并将结果存储到地址x的位置”。

>如果x是标量，语句的含义是“将地址x处的值添加一个并将结果存储到地址x处的位置”。

最后，请注意，某些语义无法在编译时确定，因此必须在运行时进行评估。在运算符示例中，如果x已经处于其数据类型的最大值，那么当您尝试向其中添加1时会发生什么？另一个例子：如果你的程序试图解引用一个值为NULL的指针，会发生什么？

总之，语法是一个概念，它只关注句子是否对语言的语法有效。语义是关于句子是否有一个有效的意义。