Question

到目前为止，我们的对象都是作为独立样本被创建。如果我们想要多个点对象，每个可以有不同的初始坐标呢？

在函数式编程的语境中，我们知道如何正确地创建各种类似的函数：使用高阶函数，带上合适的参数，其作用是返回我们想要的特定实例。例如，从前面定义的 add 函数中，我们可以获得各种单参数加法函数：

> (define add4 (add 4))
> (define add5 (add 5))
> (add4 1)
5
> (add5 1)
6

因为我们的简单对象系统根植于 Scheme，所以可以简单地使用高阶函数来定义 对象工厂 （object factory）：

JavaScript，AmbientTalk

(define (make-point init-x init-y)
  (OBJECT
   ([field x init-x]
    [field y init-y])
   ([method x? () x]
    [method y? () y]
    [method x! (new-x) (set! x new-x)]
    [method y! (new-y) (set! y new-y)])))

make-point 函数的参数是初始坐标，返回新创建的、正确地初始化后的对象。

> (let ([p1 (make-point 5 5)]
        [p2 (make-point 10 10)])
    (-> p1 x! (-> p2 x?))
    (-> p1 x?))

10