Pascal中CASE <var/expr> OF是否等价于CASE <var/expr> EQUALS？语法疑问

等价性确认 #

你给出的两段表述在语义上完全等价。Pascal的CASE语句核心逻辑是：判断目标变量/表达式的值是否落在后续列出的可选值（或值范围）中，匹配到对应分支则执行相应语句。不管是用原生的OF，还是你类比的(in) CASE <var/expr> EQUALS表述，执行逻辑没有任何差异。

原生Pascal CASE语句示例：

CASE <var/expr> OF
      1: <do statement>;;
      2: <do statement>;;
   3..5: <do statement>;;
END;

你类比的自然语言化表述：

(in) CASE <var/expr> EQUALS
      1: <do statement>;;
      2: <do statement>;;
   3..5: <do statement>;;
     ^ value/char in range
END;

关于OF措辞的解释 #

Pascal选用OF并非语法理解偏差，反而更贴合语义完整性：

• CASE <var/expr> OF可理解为“在<变量/表达式>的所有可能取值情况之中”，既覆盖单值相等的场景，也能自然延伸到“属于某个值范围”的情况。
• 单纯的EQUALS只能表达“等于单一值”，无法直接体现范围匹配中“属于某个集合”的含义，OF能更精准地涵盖CASE语句的全部应用场景。早期编程语言在语法措辞上会优先选择能完整覆盖语义的词汇，这就是OF被选用的原因。

内容的提问来源于stack exchange，提问作者Gaai