设置：当存在可变数量参数时设置: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

补丁审核，我真的不明白改变可变参数函数的参数数量和添加新标志的目的。为什么不直接将逻辑放入可变参数函数中呢？

Answer 4

_hlolli 发表的评论：

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

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 already不十分理想，但我只是添加了逗号来区分vararg-fn的情况和其他情况。

我发现我在测试此功能时，多参数函数参数列表元数据在不添加或添加 amenities 的情况下都不起作用。如果是这样，我可以为该问题打开另一个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`的修改将直接影响编译器生成的代码。如果元数据与实际函数定义不完全匹配，可能会导致变长参数调用失败甚至某些参数数量的调用消失。

Comments

我在Clojure和ClojureScript中注意到了`eduction`的定义覆盖了其`:arglists`元数据。

---

在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`变量，我更愿意在组装元数据时覆盖它，这样就没有下游的影响。

---

对于我的情况，这只是一件纯文档的事情。这是非常重要的，否则编辑器的提示会显示代符号而不是正确的名字。

 我不熟悉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)
                                ;; FIX: something like this
                                :arglists (or (:arglists meta)
                                                       (core/cond-> arglists macro? elide-implicit-macro-args))
                                :arglists-meta (if (:arglists meta)
                                                 (doall (map meta (:arglists meta)))
                                                 (doall (map meta arglists)))})
```