设置：当存在可变参数时设置：arglists元数据

Question

考虑没有参数的函数


(defn aarg {:arglists '([fake])} [])
=> {:ns cljs.user,
 :name aarg,
 :file nil,
 :end-column 11,
 :column 1,
 :line 1,
 :end-line 1,
 :arglists ([fake]),
 :doc nil,
 :test nil}


所有操作如预期，但引入了可变参数


(defn aarg {:arglists '([fake])} [& env])
(meta #'aarg)
=> {:ns cljs.user,
 :name aarg,
 :file nil,
 :end-column 11,
 :top-fn {:variadic true,
          :max-fixed-arity 0,
          :method-params [(env)],
          :arglists ([& env]),
          :arglists-meta (nil)},
 :column 1,
 :line 1,
 :end-line 1,
 :arglists ([& env]),
 :doc nil,
 :test nil}


：：arglists不受影响。

Answer 1

评论者：hlolli

我刚刚提交了一个补丁，之前从未使用过jira补丁系统，除此之外，这个补丁将使编译器在用户提供时尊重：arglists元数据。希望得到反馈和合并：）

Answer 2

评论者：dnolen

谢谢你，你提交了Clojure CA吗？

Answer 3

评论者：dnolen

补丁审查，我实在不明白为什么要改变 variadic-fn 的参数数量并添加这个新标志。为什么不直接将逻辑放入 variadic-fn 中呢？

Answer 4

评论由：hlolli

是的，我会找到更好的解决方案，只是第3176行的 let 绑定的 `m` 符号。

m (conj {:arglists (core/list 'quote (sigs fdecl))} m)

合并了参数列表，但是从这一刻起无法知道 :arglists 是否来自提供的元数据。但是我会重命名 let 符号，很容易避免添加参数数量，我会在今天稍后做另一个补丁。

我还没有提交我的 Clojure 贡献者协议，我现在正在填写...

Answer 5

评论由：hlolli

昨天我签署了 Clojure CA
"Rich Hickey 和 Hlöðver Sigurðsson 之间的 Clojure CA 已签署并存档！"

代码
用于元数据的符号名 m 已经不太好，但我在这里添加了一个逗号来区分 vararg-fn 的情况和其他情况。

我在测试这个功能时发现，多参数函数的参数列表元数据不论是否有特定添加不了参数列表都不能工作。如果是这样，我可以为此打开另一个 jira 票据。

Answer 6

参考： https://clojure.atlassian.net/browse/CLJS-2351 (由 hlolli 报告)

Answer 7

这也适用于多参数函数

(defn bar {:arglists '([foo bar])}
  ([x] 1)
  ([x y] 2))

(meta #'bar)
;;=> {:ns cljs.user,
 :name bar,
 :file nil,
 :end-column 10,
 :top-fn
 {:variadic? false,
  :fixed-arity 2,
  :max-fixed-arity 2,
  :method-params ([x] [x y]),
  :arglists ([x] [x y]),
  :arglists-meta (nil nil)},
 :column 1,
 :line 1, 
 :end-line 1, 
 :arglists ([x] [x y]), 
 :doc nil, 
 :test nil}

而单参数函数工作得很好

(defn foo {:arglists '([foo])} [x] 1)
(meta #'foo)
;; => {:ns cljs.user,
 :name foo,
 :file nil,
 :end-column 10,
 :column 1,
 :line 1, 
 :end-line 1, 
 :arglists ([foo]), 
 :doc nil, 
 :test nil}

我认为这可以通过在 `multi-arity-fn` 和 `variadic-arity-fn` 定义中检查元数据中是否存在 `:arglists` 键来修复。

我非常希望看到这个修复，如果你想要修复多参数函数的补丁，请告诉我。

Answer 8

这份工单缺少说明，为什么需要进行这项更改是有必要的/有用的？

修改`:arglists`将直接影响编译器生成的代码。如果元数据与实际函数定义不完全匹配，这可能会导致变长调用失败，甚至可能导致调用某些arity丢失。

Comments

我注意到`eduction`的定义覆盖了它自己的`:arglists`元数据，在Clojure和ClojureScript中都如此。

---

在Clojure中，至少，提供`:arglists`元数据来为编辑器和REPL提供有用的提示是相当常见的，而这些`:arglists`元数据根本不影响语义：它只是为了提供可读性好的提示。

以下在Clojure中有效：

dev=> (defn foo {:arglists '([foo bar])} ([x]) ([x y]))

#'dev/foo

dev=> (meta #'foo)

{:arglists ([foo bar]), :line 1, :column 1, :file "/home/seanc/.clojure/dev.clj", :name foo, :ns #object[clojure.lang.Namespace 0x34e700f4 "dev"]}

---

正如我所说，有一些地方`:arglists`元数据可能会影响生成的代码（例如[CLJS-1871](https://clojure.atlassian.net/browse/CLJS-1871)）。

为了文档目的使用这应该是没有问题的，但这在工单描述中并不明确。

---

在我的情况下，这纯粹是用于文档的目的，虽然我对CLJS代码库不太熟悉，但提出的补丁让我有点担心。我建议在组装元数据时才覆盖内部的`arglists`变量，这样就不会产生下游的影响。

---

在我的情况下，这纯粹是为了文档目的。而且这对文档非常重要，否则编辑器的提示会显示gensyms而不是正确的名称。

 我并不熟悉CLJS代码库，但提出的补丁让我有点担心。与其直接覆盖内部的`arglists`变量，我怀疑是否只在组装元数据时覆盖它会有所帮助，这样就不会产生下游的影响。

```
meta     (assoc meta
                               :top-fn
                               {:variadic? variadic?
                                :fixed-arity mfa
                                :max-fixed-arity mfa
                                :method-params (core/cond-> sigs macro? elide-implicit-macro-args)
                                ;; 修复：类似这样的内容
                                :arglists (or (:arglists meta)
                                               (:arglists meta)
                                :arglists-meta (if (:arglists meta)
                                               (doall (map meta (:arglists meta)))
                                               (doall (map meta arglists)))})
```