小智 172
语法是关于语言的结构或语法.它回答了这个问题:我如何构建一个有效的句子？所有语言,甚至英语和其他人类(又称"自然")语言都有语法,即定义句子是否正确构造的规则.
以下是一些C语言语法规则:
语义是关于句子的意思.它回答了这个问题:这句话有效吗？如果是这样,这句话是什么意思？例如:
x++; // increment
foo(xyz, --b, &qrs); // call foo
是语法上有效的C语句.但他们的意思是什么？尝试将这些语句转换为可执行的指令序列是否有效？这些问题是语义学的核心.
在第一个语句中考虑++运算符.首先,尝试这个甚至是有效的吗？
最后,请注意,某些语义无法在编译时确定,因此必须在运行时进行评估.在++运算符示例中,如果x已经处于其数据类型的最大值,那么当您尝试向其添加1时会发生什么？另一个例子:如果你的程序试图取消引用值为NULL的指针会发生什么？
总之,语法是仅关注句子是否对语言语法有效的概念.语义是关于句子是否具有有效含义.
doc*_*ove 20
语法是指语言的结构,将其词源描述为事物如何组合在一起.
例如,您可能需要通过声明类型然后是名称然后使用分号来将代码放在一起,以在语法上正确.
Type token;
另一方面,语义是关于意义的.编译器或解释器可能会抱怨语法错误.你的同事会抱怨语义.
Tul*_*rum 12
聚会迟到了 - 但对我来说，这里的答案似乎是正确的但不完整。
实际上，我会区分三个级别：
1. 语法
语法是语言的形式语法，它指定编译器将识别的格式良好的语句。
所以在C语言中，变量初始化的语法是：
data_type variable_name = value_expression;
例子：
int volume = 66 * 22 * 55;
在提供类型推断的 Go 中，一种初始化形式是：
variable_name := value_expression
例子：
volume := 66 * 22 * 55
显然，Go 编译器无法识别 C 语法，反之亦然。
2. 低级语义
句法与形式有关，而语义与意义有关。
在自然语言中，一个句子可能在语法上是正确的，但在语义上却毫无意义。例如：
The man bought the infinity from the store.
这句话在语法上是正确的，但在现实世界中没有意义。
在底层，编程语义关注的是语法正确的语句是否也符合开发人员使用语言类型系统表达的语义规则。
例如，这是 Java 中语法上正确的赋值语句，但在语义上它是错误的，因为它试图将 an 分配给intaString
String firstName = 23;
因此类型系统的目的是保护开发人员免受低级别无意的含义错误的影响。
JavaScript 或 Python 等松散类型语言提供的语义保护非常少，而具有表达类型系统的 Haskell 或 F# 等语言为熟练的开发人员提供了更高级别的保护。
例如，在 F# 中，您的 ShoppingCart 类型可以指定购物车必须处于以下三种状态之一：
type ShoppingCart =
| EmptyCart // no data
| ActiveCart of ActiveCartData
| PaidCart of PaidCartData
现在，编译器可以检查您的代码是否未尝试将购物车置于非法状态。
在 Python 中，您必须编写自己的代码来检查有效状态。
3. 高级语义
最后，在更高的层面上，语义关注的是代码想要实现的目标——编写程序的原因。
这可以表示为可以用任何完整语言实现的伪代码。例如：
// Check for an open trade for EURUSD
// For any open trade, close if the profit target is reached
// If there is no open trade for EURUSD, check for an entry signal
// For an entry signal, use risk settings to calculate trade size
// Submit the order.
在这种（非常简单的）场景中，如果您的系统同时输入 EURUSD 的两笔交易、以错误的方向输入交易、错误计算交易规模等，您就会犯下高级语义错误。
TL; DR
如果你搞砸了你的语法或低级语义，你的编译器会抱怨。
如果你搞砸了你的高级语义，你的程序就无法达到目的，你的客户就会抱怨。