Question

几天前，我了解了defmethod参数规范语法的eql子句。 The 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

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

1 个答案: