寻找一个非常简单的球拍宏示例

Question

我这样做了：

#lang racket

(define-syntax-rule (macro-expansion-seconds)
  (current-seconds))

这是做什么的

> (macro-expansion-seconds)
1639244531
> (macro-expansion-seconds)
1639244532
> (macro-expansion-seconds)
1639244533

它在扩展时将(macro-expandsion-seconds)替换为(current-seconds)，并且每次仍然评估该形式。

但是我如何让它在扩展时评估 (current-seconds)，然后执行此操作？

> (macro-expansion-seconds)
1639244533
> (macro-expansion-seconds)
1639244533
> (macro-expansion-seconds)
1639244533

我知道在这种情况下我可以这样做

(define macro-expansion-seconds
  (current-seconds))

还有这个

> macro-expansion-seconds
1639244766
> macro-expansion-seconds
1639244766
> macro-expansion-seconds
1639244766

（名称不再有意义）

但我正在尝试弄清楚宏是如何工作的，我认为这是一个简单的例子，可以帮助我找出更难的例子。

Answer 1

最简单的方法是：

#lang racket

(begin-for-syntax
  (define the-time (current-seconds)))

(define-syntax (macro-expansion-seconds stx)
  (datum->syntax stx the-time))

(macro-expansion-seconds)
(macro-expansion-seconds)
(macro-expansion-seconds)

此处begin-for-syntax 告诉扩展器以下表达式将在编译时求值。因此 the-time 的值将是一个数字。然后宏需要将数字（这是一个数据）转换成一段语法。那是 datum->syntax 的工作。

寻找一个非常简单的球拍宏示例

looking for a really simple racket macro example

racket

lisp-macros