scheme - Racket 宏语法匹配方括号

Question

出于某种原因，运行这行代码:

(TEST '("A"))

匹配语法定义:

(define-syntax TEST
    (syntax-rules ()
       [(TEST [<table> <name>])
         (print "Should not be here")] ;This statement is executed
      [(TEST <table>) 
         (print "Should be here")] ;This should be executed but is not 
    ))  

这怎么可能？这对我来说没有意义，因为 TEST 之后的文字只是一个参数。它如何匹配两个模式变量？

Answer 1

读者转'("A")进入(quote ("A")) .这意味着 (TEST '("A"))变成 (TEST (quote ("A"))) .

这解释了为什么模式 (TEST [<table> <name>])火柴。子模式 <table>火柴quote和 <name>火柴("A") .