当第一个参数为 nil 时无法调用方法？

Question

(defmethod carpet-append ((this carpet) (rect image-rectangle))
  (destructuring-bind (rect-width . rect-height)
      (rectangle-size rect)
    (destructuring-bind (bitmap-width . bitmap-height)
        (carpet-size this)
      (if this
          (iter:iter
            (iter:with min-area = (* (+ bitmap-width rect-width)
                                     (+ bitmap-height rect-height)))
            (iter:with min-pos = nil)
            (iter:for pos in (awailable-positions this))
            (iter:for test-area = (try-fit rect pos (carpet-bitmap this)))
            (when (and test-area (< test-area min-area))
              (setf min-pos pos))
            (iter:finally
             (let ((new-carpet
                    (make-carpet
                     :bitmap (make-array
                              (list (+ (car min-pos) rect-width)
                                    (+ (cdr min-pos) rect-height))
                              :element-type 'bit)
                     :rectangles (cons rect (carpet-rectangles this)))))
               (copy-bitmap-state this new-carpet)
               (setf (rectangle-position rect) min-pos)
               (place-image new-carpet rect)
               (return new-carpet))))
          (make-carpet
           :bitmap (make-array
                    (list rect-width rect-height)
                    :element-type 'bit)
           :rectangles (list rect))))))

image-rectangle和carpet是结构体

当这个方法被这样调用时:

(carpet-append
 nil
 #s(image-rectangle
    :position (0 . 0)
    :size (48 . 76)
    :file "/home/wvxvw/projects/spritesheet/test-images/test-0.png"))

I'm get a:

#<SIMPLE-ERROR "~@<There is no applicable method for the generic function ~2I~_~S~
 ~I~_when called with arguments ~2I~_~S.~:>"

它注定是这样的吗?也许有办法让它接受nil作为一个论点?我如何指定只有类型为nil和carpet的参数是适用的?

Answer 1

如果你有一个类carpet和image-rectangle的参数列表，参数最好是这些类或它们的子类。当你的参数被声明为carpet类时，你不能传递NIL。

因此(if this没有意义。如果您传递了一个地毯对象，并且您不能传递任何其他对象，则测试this将始终为真。

如果你想为NIL对象和矩形写一个方法，那么你可以使用NULL类。

(defmethod carpet-append ((this null) (rect image-rectangle))
   ...)

由于CLOS没有OR或AND这样的类组合子，因此必须为每种情况编写一个方法。