静态语义是什么意思？

Question

术语“静态语义”在编程中是什么意思？

静态语义、语义和动态语义之间的关系是什么？

我知道语义代表检查编写的代码(没有语法错误)是否有任何意义。

Answer 1

语义学是关于意义的。它包括：

• 静态语义是可以在编译时确定的部分，包括数据类型、是否声明了所有变量、在作用域的情况下哪个声明应用于哪个变量、它们的类型是什么、函数和方法是否使用正确的调用序列调用、赋值是否兼容类型等，以及

• 动态语义，即程序执行时实际发生的情况。

资料来源: Frank de Remer，编译器构造课程，加州大学圣克鲁兹分校，1979年。

Answer 2

程序的静态属性是编译器可以在编译时检测到的属性。

编译器在编译时只能检测到静态语义错误。

动态语义错误只能在执行时检测到，而不能由编译器在执行前检测到。

Answer 3

静态语义:这意味着您的编程语句不应该有基于语法规则生成多个结果的可能性。