有没有办法检测宏是否在模式匹配中扩展?
这是我想写的一个示例宏,但它在match-define
内失败了:
#lang racket/base
(require racket/match (for-syntax racket/base syntax/parse))
(struct point (x y))
(define-syntax (friendly-point stx)
(syntax-parse stx
[(_ arg* ...)
#'(begin (printf "Now making a point\n") (point arg* ...))]
[_ #'(begin (printf "Hello point\n") point)]))
(define p (friendly-point 1 2))
;; Prints "Now making a point"
(match-define (friendly-point x y) p)
;; ERROR
答案 0 :(得分:6)
是。不使用使用define-syntax
创建的普通语法转换器,而是使用define-match-expander
创建一个可以cooperate with match
的宏。
(require (for-syntax syntax/parse))
(define-match-expander positive
(syntax-parser
[(_ n)
#'(? positive? n)]))
(match 3
[(positive n) (~a n " is positive")])
; => "3 is positive"
define-match-expander
表单非常灵活:它可用于创建仅在<{1}}内使用 的宏,但它也可用于创建宏通过提供两个变换器函数(每个上下文一个),根据它们的使用方式进行不同的扩展。这使您可以使用“上下文相关”标识符作为匹配扩展器,将和作为函数。
match
如果您需要更多灵活性,您可以完全放弃(require (for-syntax syntax/parse)
(prefix-in base: racket/base))
(define-match-expander syntax
(syntax-parser
[(_ x)
#'(? syntax? (app syntax->datum x))])
(make-rename-transformer #'base:syntax))
(match (syntax (1 2 3))
[(syntax n) (~a n " is a syntax list")])
并使用prop:match-expander
结构类型属性定义自定义结构。这可以与define-match-expander
结合使用以实现上述双参数功能,但它也可以保持状态,并且可以与其他结构类型属性配对,例如{{1}允许相同的标识符在许多不同的上下文中起作用。
答案 1 :(得分:5)
您要找的是define-match-expander
。它允许您创建在模式匹配上下文中扩展的宏。 (另外,因为它有两个thunk,你可以有一个变体,当不在匹配的上下文时也使用。接下来,我应该指出
接下来,您可以在define-match-expander
的模板内部产生打印副作用,但您可以拥有宏本身。 (请注意,如果您的模块已经扩展,则不会出现副作用。这将更详细地解释in this paper。
因此,使用匹配扩展器,包括在匹配之外使用的第二个函数,您将获得以下代码:
#lang racket/base
(require racket/match (for-syntax racket/base syntax/parse))
(struct point (x y))
(define-match-expander friendly-point
(lambda (stx)
(syntax-parse stx
[(_ arg* ...)
(printf "Now matching a point\n")
#'(point arg* ...)]
[_ #'point]))
(lambda (stx)
(syntax-parse stx
[(_ args* ...)
#'(begin (printf "Now making a point\n") (point args* ...))])))
(define p (friendly-point 1 2))
;; Prints "Now making a point"
(match-define (friendly-point x y) p)
;; Works fine now