獲取結構的字段名稱

Question

在Racket中，我想使用結構的字段名稱進行元編程。

例如：

(struct pt [x y]) 
(struct-fields pt) ;; -> '(x y) 

Answer 1

你不能。你可以得到訪問器，這裏是pt-x和pt-y，但是你不能單獨得到x和y。爲什麼是這樣？那麼，其中一個原因是，實際上可能有重複。考慮一個方案涉及的一些有害的結構分型：

#lang racket/base 

(struct A [x] #:transparent) 
(struct B A [x] #:transparent) 

現在B類型的結構有兩個x領域，A-x和B-x。由於這個原因，當涉及子類型時，任何試圖單獨使用帶有結構的字段名的宏都會被破壞。

什麼你可以做的是使用的訪問者，而不是，您可以通過使用syntax-local-value加extract-struct-info，然後看結果列表的第四個元素實現。然而，老實說，我認爲這是太多的工作，所以我寫了一個語法課來爲你做所有的辛苦工作。安裝syntax-classes包，並使用struct-id語法類：

#lang racket/base 

(require (for-syntax racket/base 
        syntax/parse/class/struct-id) 
     syntax/parse/define) 

(define-simple-macro (struct-accessors id:struct-id) 
    (list id.accessor-id ...)) 

> (struct pt [x y] #:transparent) 
> (struct-accessors pt) 
'(#<procedure:pt-x> #<procedure:pt-y>)