扩展 defmethod 语句的 eql 子句以接受任何函数？

Question

前几天，我了解了defmethod参数规范语法的eql子句。defmethod hyperspec清楚地表明标记的存在eql是语法的基本部分。例如，当我在 CLISP 中尝试以下操作时收到错误：

(defgeneric q (a))

(defmethod q ((a (eql 0)))                  ;standard eql clause syntax, all is well
     (print "Method called with eql a 0"))

(defmethod q ((a (< 0)))                    ;trying to use < instead of eql
     (print "Method called with < 0 a"))


;=> *** - DEFMETHOD Q: Invalid specializer (< 0) in lambda list ((A (< 0)))

（<这里是一个不好的例子，因为它只适用于数字，但希望你明白我的意思）

我对为什么这个语法中允许的唯一函数感到困惑（现在仍然如此）eql，但由于我怀疑除了“开发人员这样做”之外还有一个明确的答案，所以我不会将此作为这个问题的重点。

有没有办法解决该eql子句的这种限制并强制defmethod根据其参数测试任意函数？我正在寻找一个类似于 Haskell 中的守卫的功能，例如，上面的示例（如果它有效）应该表现如下：

q a
    | a == 0 = putStrLn "Method called with eql 0 a"
    | 0 < a = putStrLn "Method called with < 0 a"

Answer 1

EQL 机制允许分派在单个对象上工作。

允许任意谓词进行调度不是标准 Common Lisp 的一部分。使其适合 CLOS 调度也并非易事。

Haskell 部分不具有可比性，因为 Common Lisp 中的泛型函数是面向对象的机制（具有多分派、继承和方法组合）并且工作方式不同。

您正在寻找的称为Predicate Dispatch。

存在扩展。请参阅： http: //common-lisp.net/project/closer/filtered.html