动态语义（Dynamic Semantics）在编程语言理论中指的是程序在运行时的行为和含义。它与静态语义相对，后者关注的是程序在编译时的特性和规则。简单来说，动态语义涉及程序执行时的行为，包括变量赋值、函数调用、控制流程等。
动态语义的特点：
-
运行时行为：动态语义定义了程序在运行时的行为，例如函数如何调用，表达式如何求值等。
-
类型检查：在动态类型语言中，类型检查通常在运行时进行，而不是在编译时。这意味着类型错误（如尝试对非整数执行整数运算）只能在程序运行时被检测到。
-
灵活性：动态语义的语言（如 Python、JavaScript）通常提供更多的灵活性，允许在运行时改变程序的结构，例如动态地添加或修改对象的属性。
-
性能考虑：由于很多检查和决策是在运行时进行，动态语义的语言可能在性能上不如静态语义的语言（如 C++、Java）。
示例：
在 Python（一种动态类型语言）中，你可以在运行时动态地添加属性到对象：
class MyClass:
pass
# 创建对象
obj = MyClass()
# 在运行时动态添加属性
obj.new_attribute = "Hello"
print(obj.new_attribute) # 输出：Hello
在这个例子中，MyClass 的实例 obj 在定义时并没有 new_attribute 属性，但你可以在运行时动态地添加这个属性。
总结：
动态语义关注程序的运行时行为。在动态语义的语言中，很多事情（如类型检查、属性绑定）是在运行时决定的。这为编程提供了灵活性，但也可能带来性能和类型安全的挑战。
