Question

我们已经看到，要从类获取对象（即实例化对象）的方法是向类发送 create 消息。能够给 create 传递参数，以指定对象的字段的初始值通常是有用的。目前，我们的类系统仅支持在类声明时指定默认字段值。在实例化时没法传递初始字段值。

初始化方法是 Smalltalk 编程中的习惯叫法。在 Java 中，它们被称为构造函数（这可以说是个糟糕的名字，因为我们可以看到，它们并不负责构建对象，只是在实际创建对象之后才对其进行初始化）。

有几种方法可以做到这一点。一个简单的方法是，要求对象实现 初始化 方法，并让这个类在每个新创建的对象上调用此初始化方法。我们将采用如下约定：如果 create 消息没有参数，那么我们不调用初始器（因此使用默认值）。如果有参数传入，我们就用这些参数调用初始器（称之为 initialize ）：

....
(λ (msg . vals)
  (case msg
    [(create)
     (if (null? vals)
         (make-obj class
                   (make-hash (list (cons 'f init) ...)))
         (let ((object (make-obj class (make-hash))))
           (apply ((cdr (assoc 'initialize methods)) object) vals)
           object))]
    ....)) ....

我们可以改进实例化类的辅助函数，使其接受可变数目的参数：

(define (new class . init-vals)
    (apply class 'create init-vals))

来试试看：

(define Point
 (CLASS ([field x 0])
        ([method initialize (nx) (-> self x! nx)]
         [method x? () (? x)]
         [method x! (nx) (! x nx)]
         [method move (n) (-> self x! (+ (-> self x?) n))])))

(define p (new Point 5))

> (-> p move 10)
> (-> p x?)
15