语义（Semantics）

编程语言中关于「合法程序表示什么、执行产生什么效果」的规则与约定。相对语法的「形」，语义是「义」：求值顺序、作用域规则、类型含义、内存与副作用、错误如何产生等。理解语义才能预测行为、做正确重构与并发推理。

解释「为什么这样运行」、语言对比、形式化规范、排查与直觉不符的边角行为。

• 对关键路径查语言规范或权威参考中的求值与绑定规则。
• 重构时保持可观察语义（或有意识地改变并测全）。
• 跨语言移植时逐项核对相等、数值、字符串、异步语义。

• 未定义行为/实现定义行为（某些语言）会导致「看似能跑、换平台炸」。
• 优化不得擅自改变规定语义。
• 文档示例的简化语义可能忽略错误路径。

	语义	语法
焦点	含义与效果	记号如何拼
例子	短路求值、作用域规则	括号、关键字位置

• 语法：只约束形式是否合法
• 求值：按语义计算表达式结果的过程
• 副作用：求值时对状态或外部的可观察影响
• 未定义行为：部分语言中语义未规定时的风险区