以下答案是我的猜测:看看partial
show us 的实现:
(defn partial
"Takes a function f and fewer than the normal arguments to f, and
returns a fn that takes a variable number of additional args. When
called, the returned function calls f with args + additional args."
{:added "1.0"
:static true}
([f arg1]
(fn [& args] (apply f arg1 args)))
([f arg1 arg2]
(fn [& args] (apply f arg1 arg2 args)))
([f arg1 arg2 arg3]
(fn [& args] (apply f arg1 arg2 arg3 args)))
([f arg1 arg2 arg3 & more]
(fn [& args] (apply f arg1 arg2 arg3 (concat more args)))))
如您所见,对 partial 的每次调用都在做同样的事情 - 即返回一个接受一些 argsapply
的函数,并使用输入 args 和新 args 调用输入函数。所以这确实可以写成arg1 & more
。但是等等,让我们看看 apply 的实现:
(defn apply
"Applies fn f to the argument list formed by prepending intervening arguments to args."
{:added "1.0"
:static true}
([^clojure.lang.IFn f args]
(. f (applyTo (seq args))))
([^clojure.lang.IFn f x args]
(. f (applyTo (list* x args))))
([^clojure.lang.IFn f x y args]
(. f (applyTo (list* x y args))))
([^clojure.lang.IFn f x y z args]
(. f (applyTo (list* x y z args))))
([^clojure.lang.IFn f a b c d & args]
(. f (applyTo (cons a (cons b (cons c (cons d (spread args)))))))))
Apply 是一个核心函数,当给定不同数量的参数时,它的执行方式也不同。这是出于性能原因应用的优化。这就是暴露不同部分(和其他此类函数)的原因,因为不同的部分代码的内部执行是不同的。
我假设 clojure/core 团队认为暴露部分超出 arg1 arg2 arg3 及更多(即编写 arg1 arg2 arg3 arg4 及更多)的数量并不美观,因此他们决定停止在 3 个 args 及更多。