clojure - Clojure 属性映射中的歧义

Question

在 Clojure 特殊表单 ( http://clojure.org/special_forms ) 的文档中，:pre 和 :post 的示例如下所示:

(defn constrained-sqr [x]
    {:pre  [(pos? x)]
     :post [(> % 16), (< % 225)]}
    (* x x))

Clojure 如何判断包含元数据的映射是否不是函数的定义？元数据不应该位于参数向量之前吗？根据 defn ( http://clojure.github.com/clojure/clojure.core-api.html#clojure.core/defn ) 的文档，语法为

(defn name doc-string? attr-map? [params*] body)

与attr-map？在参数向量之前。这不是更正确吗:

(defn constrained-sqr
    {:pre  [(pos? x)]
     :post [(> % 16), (< % 225)]}
    [x]
    (* x x))

我应该提交错误报告还是我误读了此内容？

抱歉挑刺。

Answer 1

映射必须遵循参数向量，因为它取决于参数。并且您可以拥有多个具有不同参数的函数体。 disambiguation非常简单: map 是主体中唯一的东西吗？它是返回值。如果后面还有别的东西， map 就会被扔掉。然后将其添加到元数据中。这是一个非常直接且非常简单的启发式方法，不应与任何生产代码发生冲突。