在Racket中如何在编译时未知字段名时访问对象字段？

你遇到的问题是因为eval默认运行在无模块绑定的空环境中，无法识别get-field这个宏（它是racket/class模块提供的编译时语法）。下面是两种可行的实现方式：

方法一：使用类元数据与对象索引访问 #

这是最直接的动态访问方式，利用Racket提供的类反射API：

#lang racket

(require racket/class)

(define (get-field* field-name obj)
  (define cls (object-class obj))
  (define field-index (class-field-index cls field-name))
  (if field-index
      (object-ref obj field-index)
      (error 'get-field* "字段 ~a 不存在于对象中" field-name)))

;; 测试代码
(define obj (new (class object%
                   (field [i-want-this "value"])
                   (super-new))))

(define field-i-want 'i-want-this)

(get-field* field-i-want obj) ; 输出 "value"

原理说明 #

• object-class：获取目标对象所属的类实例
• class-field-index：根据字段名符号，查询该字段在类中的索引（字段不存在时返回#f）
• object-ref：通过索引直接读取对象的字段值

方法二：借助宏生成动态访问代码（避免eval） #

如果一定要用类似宏展开的方式，可以通过with-syntax在编译时生成get-field调用，不需要运行时eval：

#lang racket

(require racket/class
         syntax/parse)

(define-syntax (get-field* stx)
  (syntax-parse stx
    [(_ field-name:expr obj:expr)
     #'(let ([fname field-name])
         (eval (with-syntax ([fname (datum->syntax #'here fname)])
                 #'(get-field fname obj))
               (current-namespace)))]))

;; 测试代码
(define obj (new (class object%
                   (field [i-want-this "value"])
                   (super-new))))

(define field-i-want 'i-want-this)

(get-field* field-i-want obj) ; 输出 "value"

注意事项 #

这种方式需要将当前模块的命名空间传给eval，否则依然会找不到get-field的绑定。但相比第一种方法，它依赖运行时编译，性能更差，且不如反射API直接。

为什么原代码会报错？ #

get-field是racket/class模块提供的宏，而非普通函数，它在编译时展开为直接访问对象内存的代码。而eval默认使用的是空命名空间，没有加载racket/class的绑定，自然无法识别get-field标识符。

内容的提问来源于stack exchange，提问作者kasdeya