计算机语言与语法,编程语言中语法和语义有什么区别？

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

以下是一些C语言语法规则：

用分号分隔的单词

在括号内包含IF语句的条件表达式

通过用大括号括起来将多个语句分组到一个语句中

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

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

x++; // increment

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

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

在第一个语句中考虑++运算符。 首先，尝试这个甚至是有效的吗？

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

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

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

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

总之，语法是仅关注句子是否对语言语法有效的概念。 语义是关于句子是否具有有效含义。