“（？符号？名称）”是什么意思？

Question

我什至在为这个问题选择标题时都遇到了问题。请随意编辑。

我得到了这个方案代码，但不理解这个块。

(define (func b)
 (match b
   [(list (? symbol? x) rhs) ...

问题部分是（？符号？x）。我猜它是某种比较器，但我在任何地方都没有找到任何有关它的信息！很难搜索它，因为我不知道如何命名这个命令。

我想至少知道它的名字，感谢进一步的解释。 =）

谢谢！

Answer 1

刚刚找到了！

这是 (match ...) 语法的特定情况。在这里找到它：模式匹配

更具体：

（匹配 val-expr 子句...）

子句 = [pat expr ...+]
| [pat (=> id) expr ...+]

其中 pat 是

pat ::= id [匹配任何内容，绑定标识符]
(...)
| (? expr pat ...) [匹配 if (expr 值) 和 pat]

所以我有点对：它检查 x 是否是一个符号。

我很幸运！请完成本题！
非常感谢！