operator-overloading - 覆盖/重载 + 运算符以对常见的 lisp 向量进行操作

Question

我希望重载 + 运算符以处理常见的 lisp 向量——就像处理线性代数中的向量一样。是否可以使用 + 过载？运算符(operator)？

这是我的预期定义:

 (defmethod + ((v1 vector) (v2 vector))

在此先感谢所有帮助!

Answer 1

如果我要这样做，我会首先在一个单独的包中进行。然后我将编写一个使用二元运算符的通用函数:

(defun + (&rest addends)
  (reduce #'binary+ (cdr addends) :initial-value (car addends)))

(defgeneric binary+ (addend1 addend2))

然后你可以在泛型函数 binary+ 上定义方法这将允许您添加两个向量，一个向量和一个标量，...
这将是一个合适的包装器生成宏:

(defmacro define-operator (op &key (binary-signifier :binary) (package *package*)
  "Defines a generic operator OP, being essentially a reduce operation using
   a generic function whose name is a concatenation of BINARY-SIGNIFIER and OP."
  (let ((op op)
        (binary (intern (concatenate 'string
                                          (string  binary-signifier)
                                          (string op))
                        package)))
    `(progn
       (defun ,op (&rest args)
          (reduce (function ,binary) (cdr args) :initial-value (car args)))
       (defgeneric ,binary (arg1 arg2)))))

然后您可以根据 Joshua Taylor 的回答定义方法:

(defmethod binary+ ((x number) (y number))
  (cl:+ x y))

(defmethod binary+ ((x vector) (y vector))
  (map 'vector 'cl:+ x y))

(defmethod binary+ ((x list) (y list))
  (map 'list 'cl:+ x y))