方案:附加到本地环境

Question

例如，我想通过定义对象符号然后将方法和字段附加到该对象来在 Scheme 中实现“声明式”对象系统。在这样做的同时，我想利用这个对象的本地环境来正确地绑定(bind)它在方法中的字段(稍后添加)，例如(一个非常“hacked-together”的例子):

(define myobj 
(begin
    (define x 5) ; some local field (hard-coded for example)
    (define (dispatch m d)
        (cond ((eq? m 'add-meth) (define localmethod1 d))
              ((eq? m 'inv-meth) (localmethod1 d))))
    dispatch
))
(myobj 'add-meth (lambda (y) (+ y x)) ;want this to bind to x of myobj
(myobj 'inv-meth 3) ;8

不要介意愚蠢的调度机制和硬编码的“localmethod1”:) 另外请注意，在调度程序定义期间 x 可能不可用。首先，我在定义中使用定义时遇到问题(错误的定义放置)。
那么:如何确保 lambda 中的 x 绑定(bind)到正确的那个(在 myobj 内部)而不是绑定(bind)到全局环境中的某个 x？
最后:有没有办法改变这种局部环境(闭包，对吗？)？

EDIT2:我知道您可以使用本地列表(如“字段”和“方法”)进行此操作，然后由调度员更改它们。我想知道是否有可能改变本地环境(由调度 lambda 生成)。

Answer 1

Scheme 中的

begin 不产生本地环境。要引入局部变量，请使用 let。或者，也可以定义一个对象，或者定义一个类来构造对象，作为 lambda 过程，它将充当构造函数。这将解决您的前两个问题。

变异:你可以通过正确的调度方法来变异。例如，

(define (make-object init-val)
  (define x init-val)
  (define (dispatch msg)
    (cond ((eq? msg 'inc)
           (lambda (y)
             (set! x (+ x y))))
          ((eq? msg 'x)
           x)
          (else
           (error "Unknown msg"))))
  dispatch)

> (define obj (make-object 10))
> (obj 'x)
10
> ((obj 'inc) 20)
> (obj 'x)
30

SICP, Chapter 3提供了如何使用本地状态创建对象的良好示例。