Получить имена полей структуры

Question

В Racket я хочу использовать имена полей структуры для метапрограммирования.

Например:

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

Answer 1

Вы не можете. Вы можете получить аксессоров, которые будут здесь pt-x и pt-y, но вы не можете получить только x и y. Почему это? Одна из причин заключается в том, что на самом деле могут быть дубликаты. Рассмотрим сценарий с участием какой-то пагубной STRUCT подтипов:

#lang racket/base 

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

Теперь структура типа B имеет два x поля, A-x и B-x. По этой причине любой макрос, который пытается использовать имена полей только с structs, нарушается, когда может быть задействовано подтипирование.

Что вы можете сделать, это использовать аксессоров, вместо этого, который можно достичь с помощью 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>)