defn拒绝带有参数向量 [&form]

Question

这是最小的情况，但是无论提供多少其他泛型或使用列表或向量语法进行泛型，似乎都会发生。

user=> (clojure-version)
"1.12.0-rc1"
user=> (defn f [&form])
Unexpected error (IndexOutOfBoundsException) macroexpanding defn at (REPL:1:1).
null
user=> *e
#error {
 :cause nil
 :via
 [{:type clojure.lang.Compiler$CompilerException
   :message "Unexpected error macroexpanding defn at (1:1)."
   :data #:clojure.error{:phase :macroexpansion, :line 1, :column 1, :source "NO_SOURCE_PATH", :symbol defn}
   :at [clojure.lang.Compiler macroexpand1 "Compiler.java" 7551]}
  {:type java.lang.IndexOutOfBoundsException
   :message nil
   :at [clojure.lang.RT subvec "RT.java" 1634]}]
 :trace
 [[clojure.lang.RT subvec "RT.java" 1634]
  [clojure.core$sigs$asig__5505 invoke "core.clj" 235]
  [clojure.core$sigs invokeStatic "core.clj" 259]
  [clojure.core$defn__5514 invokeStatic "core.clj" 317]
  [clojure.core$defn__5514 doInvoke "core.clj" 294]
  [clojure.lang.RestFn applyTo "RestFn.java" 149]
  [clojure.lang.Var applyTo "Var.java" 707]
  [clojure.lang.Compiler macroexpand1 "Compiler.java" 7525]
  [clojure.lang.Compiler macroexpand "Compiler.java" 7598]
  [clojure.lang.Compiler eval "Compiler.java" 7684]
  [clojure.lang.Compiler eval "Compiler.java" 7655]
  [clojure.core$eval invokeStatic "core.clj" 3232]
  [clojure.core$eval invoke "core.clj" 3228]
  [clojure.main$repl$read_eval_print__9240$fn__9243 invoke "main.clj" 437]
  [clojure.main$repl$read_eval_print__9240 invoke "main.clj" 437]
  [clojure.main$repl$fn__9249 invoke "main.clj" 459]
  [clojure.main$repl invokeStatic "main.clj" 459]
  [clojure.main$repl_opt invokeStatic "main.clj" 523]
  [clojure.main$main invokeStatic "main.clj" 668]
  [clojure.main$main doInvoke "main.clj" 617]
  [clojure.lang.RestFn invoke "RestFn.java" 400]
  [clojure.lang.AFn applyToHelper "AFn.java" 152]
  [clojure.lang.RestFn applyTo "RestFn.java" 135]
  [clojure.lang.Var applyTo "Var.java" 707]
  [clojure.main main "main.java" 40]]}

Answer 1

登录 https://clojure.atlassian.net/browse/CLJ-2874

Answer 2

好了，&form 和 &env 是特殊的参数名所以……不要这样做吧？

https://clojure.org/reference/macros#_special_variables

这听起来像是 anaphoric macros 中的 anaphors。

Comments

它们是在 defmacro 表达式中的特殊参数名。为什么在 defn 表达式中也是特殊的呢？

---

宏也是函数。在这个情况下，我认为这实际上是在宏展开期间构建 defn（宏）内部的 arglists 时出现的。

---

我预计 defn 调用和 defmacro 调用有不同的语义，尽管它们依赖于相同的底层机制。也许“构建宏的签名（省略前两个参数）”可以通过不同于“构建函数的签名（使用所有参数）”的方式执行。