syntax - 静态语义的含义？

Question

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

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

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

Answer 1

语义是关于意义的。这包括:

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

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

资料来源:Frank de Remer，编译器构建类(class)，加利福尼亚大学，Santz Cruz，1979 年。