使用Racket的(define/public id expr)定义类方法报错的技术咨询

嘿，这个问题我当初刚上手Racket类系统的时候也困惑过！让我来帮你理清原因：

首先，Racket的define/public确实有两种语法形式，但它们的用途是严格区分的，不能混用：

1. 方法定义的正确形式 #

要定义一个可以通过send调用的类方法，必须使用带参数列表的语法：

(define/public (id arg ...) body ...+)

这种形式会告诉Racket：“这是一个类方法，需要处理参数绑定、this上下文等方法相关的逻辑”。比如你提到的替代方案就是这种正确的写法。

2. 为什么你的写法会报错？ #

你写的(define/public plus-one (curry + 1))属于define/public的另一种语法：公共实例字段定义，它的格式是：

(define/public id expr)

这种形式的作用是定义一个可以通过get-field访问的公共实例变量，expr会在类实例化时求值，用来初始化这个变量。

那为什么会抛出bad form for method definition错误？问题出在(curry + 1)的返回值是一个过程（procedure）。Racket的类解析器在处理define/public时，会做一个判断：如果expr的结果是过程，它会误以为你试图用简化方式定义方法，但这种写法并不被方法定义的语法规则支持——方法必须显式声明参数列表，不能直接赋值一个过程值来定义。

换句话说，Racket不允许你直接把一个过程值“赋值”给define/public来创建方法，方法必须通过带参数列表的形式明确定义。

如果确实想把过程作为公共字段怎么办？ #

如果你只是想把(curry +1)这个过程作为类的公共属性（而不是方法），可以换个方式避免解析器混淆，比如用box把过程包装起来：

(define foo%
  (class object%
    (super-new)
    (define/public plus-one-box (box (curry + 1)))))

之后可以这样获取并调用这个过程：

(define obj (new foo%))
((unbox (get-field plus-one-box obj)) 2) ; 返回3

但如果你的目标是定义一个方法，那还是老老实实用带参数列表的define/public形式就好啦！

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