如何将标识符绑定到子列表加分隔符？-解网

问：

这会将标识符绑定到列表的前缀和后缀：matchab'(0 1)'(3 4 5)

(match '(0 1 2 3 4 5)
  [`(,a ... 2 ,b ...)
   (values a b)])

另一个等效版本：

(match '(0 1 2 3 4 5)
  [`(,@(list a ... 2) ,b ...)
   (values a b)])

如何将标识符（在模式本身内）绑定到前缀，包括分隔符？'(0 1 2)

模式匹配匹配球拍子列表

; Like splitf-at but includes the element to split at in the first value not the second
(define (splitf-at/inclusive lst pred?)
  (let loop ([lst lst]
             [first-res '()])
    (cond
      ((empty? lst)
       (values (reverse first-res) '()))
      ((pred? (car lst))
       (loop (cdr lst) (cons (car lst) first-res)))
      (else
       (values (reverse (cons (car lst) first-res)) (cdr lst))))))

; Gives '(0 1 2) '(3 4 5)
(match '(0 1 2 3 4 5)
  ((? list? (app (lambda (lst) (splitf-at/inclusive lst (negate (curry = 2)))) a b))
   (values a b)))

（请注意，在尝试调用依赖于该值的任何函数之前，请使用来确保该值是一个列表。(? list? ...)

您可以定义匹配扩展器以使其看起来更漂亮：

(define-match-expander split-list
  (lambda (stx)
    (syntax-case stx (...)
      ((split-list x (... ...) val y (... ...))
       #'(? (lambda (lst) (and (list? lst) (member val lst)))
            (app (lambda (lst) (splitf-at/inclusive lst (lambda (elem) (not (equal? elem val))))) x y))))))

; Also gives '(0 1 2) '(3 4 5)
(match '(0 1 2 3 4 5)
  ((split-list a ... 2 b ...)
   (values a b)))

此版本还包括一项检查，以确保要拆分的值实际上在列表中，否则将无法匹配。

不过，对缺点的一些评论：1）第一个“......”在这个匹配扩展器中并不贪婪，不像通常的 match 省略号（这当然很容易修复），2）与匹配中的列表模式相比，这种语法非常严格。例如，最好允许任意数量的标识符和嵌套列表子模式，并在其中捕获一些标识符。这超出了我的问题范围，但需要跟进（使用匹配扩展器转换为列表子句），我会考虑一下。

上一个：如何使用模式功能进行匹配？[复制]

下一个：如何避免匹配枚举时出现语法重复？

如何将标识符绑定到子列表加分隔符？

How to bind an identifier to a sublist plus delimiter?

评论

评论