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

Question

前几天了解了defmethod的eql子句参数规范语法。 The defmethod hyperspec清楚地表明 eql 的存在token 是语法的基本部分。例如，当我在 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 机制允许分派(dispatch)处理单个对象。

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

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

您正在寻找的是Predicate Dispatch。

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