Scheme中卫生宏里字面量的应用场景与示例问询

在define-syntax的syntax-rules里，<literals>的核心作用是区分宏语法中的固定字面关键字和可匹配任意内容的模式变量——字面关键字必须严格匹配输入中的同名标识符，不能被当作变量替换，这在设计带有自定义语法关键字的宏时非常有用。

实用示例：实现带固定关键字的条件分支宏 #

我们来实现一个when-else宏，要求语法必须是(when-else <条件> then <真分支> else <假分支>)，其中then和else是固定的语法关键字，不能用其他标识符代替。

宏的实现代码：

(define-syntax when-else
  (syntax-rules (then else)  ; 将then和else声明为字面量
    [(when-else condition then true-branch else false-branch)
     (if condition true-branch false-branch)]))

为什么需要<literals>？ #

1. 确保语法严格性：
   把then和else放进<literals>列表后，宏只会匹配包含这两个精确标识符的输入。比如正确用法会正常展开：

   (when-else (> 5 3) then "bigger" else "smaller")
   ; 展开为 (if (> 5 3) "bigger" "smaller")，输出"bigger"
   

   如果用户输入时写错关键字（比如把then写成than），宏会直接抛出语法错误，不会错误匹配：

   (when-else (> 5 3) than "bigger" else "smaller")
   ; 报错：无法匹配宏的模式
   

2. 避免语法歧义：
   如果不把then和else放进<literals>，它们会被当作模式变量，能匹配任意表达式。比如用户写(when-else #t 1 2 3)，宏也会错误地把1当作then对应的变量、2当作else对应的变量，展开成不符合预期的代码，完全违背了我们设计这个宏的语法意图。

真实场景类比 #

Scheme标准库中的case宏就是典型的使用场景：它要求分支里的else必须是固定字面量，不能用其他词代替，这正是通过<literals>来实现的——确保宏的语法符合开发者的直觉，避免误用。

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