scheme - 如何匹配结构

Question

我想匹配一个 struct test，并从中构建一个 struct ，但我该怎么做呢？
我什至不能eval用来做这个？

请参考代码，

#lang racket

  (struct test (num) #:prefab)

  (define s `((AK= #(struct:test 100))
   (AV)
   ))

  (define ns (make-base-namespace))
   (define (set-state-space-vals!)
   (namespace-set-variable-value! 'test test #f ns)
   )

(match s
   [`((AK= #(struct:test ,val) (AV)))  ;; can't match
     (displayln val)
    ]
   [`((AK= ,val) (AV))   ;; can match, but how to build the struct?
     (struct? (eval val ns))
     (match-define (struct test (num)) (eval val ns)) ;this will fail
     (displayln num)
    ]  )

Answer 1

我想你正在寻找这样的东西：

(struct test (num) #:prefab)

(define s '((AK= #s(test 100)) (AV)))

(match s
  [`((AK= ,(struct test (val))) (AV))
   (displayln val)])

此外，一般来说，eval在这种情况下使用是非常不可取的。如有疑问，请勿使用eval. 有关详细说明，请参阅此博客文章。您可能还想查看有关预制件和模式匹配的指南条目。

Answer 2

此外，虽然它不在 match 的文档中，但 `((AK= #s(test ,val)) (AV)) 是一个有效的模式。