3

前几天学习了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"
4

1 回答 1

5

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

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

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

您要查找的内容称为Predicate Dispatch。

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

于 2014-02-09T00:06:06.040 回答