理解宏

Question

正如我所理解的，在下面编写的宏中，宏接受3个参数，并生成一个带有构造函数的结构，该构造函数接受3个参数。我可以猜到，宏定义后面的一行创建了一个结构，如下所示：

(struct x (+ y x))

我不明白遵循这两条线是如何工作的。看起来y是绑定到x结构的，但是它不是用一个太多的参数调用构造函数吗？

(define-syntax binary-search
 (syntax-rules ()
 [(binary-search (node left right))
 (struct left (node right x))]))

(binary-search (+ x y))
(define y (x 1 2 3))

(+ (x-+ y) (x-x y))

我不需要麻烦，我会问最后一行是如何工作的，希望对y变量的澄清会让我找到4的答案。

Answer 1

这里令人困惑的是，字段名可以与结构名称相同。考虑一下这个例子：

#lang racket
(struct foo (foo) #:transparent)
(foo 42)            ; => (foo 32)
(foo-foo (foo 42))  ; => 32

因此，(binary-search (+ x y))的结果是：

(struct x (+ y x))

它定义了一个x结构，其名称也是x。

线

(define y (x 1 2 3))

生成一个x-struct，其中：

the + field stores 1,
the y field stores 2,
the x field stores 3.

现在(x-+ y)得到y的+字段，即1，(x-x y)得到y的x字段，为3，这意味着(+ (x-+ y) (x-x y))的计算值为4。