在Common Lisp中查找函数的arity

时间:2013-03-17 19:23:43

标签: common-lisp arity parameter-list

我一直在做一些遗传编程,我一直在根据他们的arity将函数分成不同的函数集;这一切都相当复杂。

我想知道是否有更简单的方法来做到这一点。例如,如果有一个函数返回给定函数的arity。

提前干杯。

2 个答案:

答案 0 :(得分:11)

对于解释函数,您应该能够使用function-lambda-expression

对于已编译的函数,唉,此函数通常会返回nil,因此您必须使用依赖于实现的函数(clocc / port / sys.lisp):

(defun arglist (fn)
  "Return the signature of the function."
  #+allegro (excl:arglist fn)
  #+clisp (sys::arglist fn)
  #+(or cmu scl)
  (let ((f (coerce fn 'function)))
    (typecase f
      (STANDARD-GENERIC-FUNCTION (pcl:generic-function-lambda-list f))
      (EVAL:INTERPRETED-FUNCTION (eval:interpreted-function-arglist f))
      (FUNCTION (values (read-from-string (kernel:%function-arglist f))))))
  #+cormanlisp (ccl:function-lambda-list
                (typecase fn (symbol (fdefinition fn)) (t fn)))
  #+gcl (let ((fn (etypecase fn
                    (symbol fn)
                    (function (si:compiled-function-name fn)))))
          (get fn 'si:debug))
  #+lispworks (lw:function-lambda-list fn)
  #+lucid (lcl:arglist fn)
  #+sbcl (sb-introspect:function-lambda-list fn)
  #-(or allegro clisp cmu cormanlisp gcl lispworks lucid sbcl scl)
  (error 'not-implemented :proc (list 'arglist fn)))

编辑:请注意,CL中的 arity 实际上并不是一个数字,因为除了{之外,Lisp函数可以接受optionalrestkeyword个参数{3}}个;这就是为什么上面的arglist函数返回参数函数的required,而不是数字。

如果您只对仅接受所需参数的函数感兴趣,则需要使用类似

的函数
(defun arity (fn)
  (let ((arglist (arglist fn)))
    (if (intersect arglist lambda-list-keywords)
        (error "~S lambda list ~S contains keywords" fn arglist)
        (length arglist))))

答案 1 :(得分:0)

有一个可移植的库,提供了该函数的lambda列表:https://github.com/Shinmera/trivial-arguments

(ql:quickload "trivial-arguments")

示例:

(arg:arglist #'gethash)
;; => (sb-impl::key hash-table &optional sb-impl::default)

(defun foo (a b c &optional d) nil)
(arglist #'foo)  ;; => (a b c &optional d)

它返回完整的lambda列表,其中包含&optional和其他内容,因此我们不能仅仅为Arity获取结果的length