Function FUNCTION-LAMBDA-EXPRESSION
function-lambda-expression function
=> lambda-expression, closure-p, name
function - 関数
lambda-expression - ラムダ式か、nil
closure-p - generalized-boolean
name - オブジェクト
下記に示すような、functionの情報を返却します。
第一返却値であるlambda-expressionは、 functionが定義されたラムダ式か、 もし情報が利用できないときはnilです。 ラムダ式は何らかの方法で前処理されているかもしれませんが、 しかしcompileやfunctionの引数としては 適切のままであるべきです。 実装は、どんなfunctionのlambda-expressionでも nilを返却するのは正当です。
第二返却値のclosure-pは、 functionの定義がnullのレキシカルな環境で囲まれていたか、 あるいはfunctionの定義が何らかの非nullのレキシカルな環境で囲まれた 非nilの環境下であれば、 nilが返却されます （注釈：非nullのレキシカルな環境とは、 グローバル環境から何の追加情報もないレキシカルな環境のことです）。 実装は、どんなfunctionのclosure-pでも、 trueを返却するのは正当です。
第三返却値nameは、関数の名前です。 名前はデバッグ時にのみ使われ、 それは、例えばdefunやfunctionの 名前として使われるのに有効である必要はありません。 慣例として、nilは functionが名前を持たないことを意味します。 実装は、どんなfunctionのnameでも、 nilを返却するのは正当です。
下記の例はいくつか可能性のある返却値を示していますが、 しかし全てを網羅することを意図してはいません。
(function-lambda-expression #'(lambda (x) x))
=> NIL, false, NIL
OR=> NIL, true, NIL
OR=> (LAMBDA (X) X), true, NIL
OR=> (LAMBDA (X) X), false, NIL
(function-lambda-expression
(funcall #'(lambda () #'(lambda (x) x))))
=> NIL, false, NIL
OR=> NIL, true, NIL
OR=> (LAMBDA (X) X), true, NIL
OR=> (LAMBDA (X) X), false, NIL
(function-lambda-expression
(funcall #'(lambda (x) #'(lambda () x)) nil))
=> NIL, true, NIL
OR=> (LAMBDA () X), true, NIL
NOT=> NIL, false, NIL
NOT=> (LAMBDA () X), false, NIL
(flet ((foo (x) x))
(setf (symbol-function 'bar) #'foo)
(function-lambda-expression #'bar))
=> NIL, false, NIL
OR=> NIL, true, NIL
OR=> (LAMBDA (X) (BLOCK FOO X)), true, NIL
OR=> (LAMBDA (X) (BLOCK FOO X)), false, FOO
OR=> (SI::BLOCK-LAMBDA FOO (X) X), false, FOO
(defun foo ()
(flet ((bar (x) x))
#'bar))
(function-lambda-expression (foo))
=> NIL, false, NIL
OR=> NIL, true, NIL
OR=> (LAMBDA (X) (BLOCK BAR X)), true, NIL
OR=> (LAMBDA (X) (BLOCK BAR X)), true, (:INTERNAL FOO 0 BAR)
OR=> (LAMBDA (X) (BLOCK BAR X)), false, "BAR in FOO"なし。
なし。
なし。
なし。
実装は全ての場合において、自由にnil, true, nilを返却することができますが、 compileかevalの呼び出しによって引数が作成された場合 （コンパイルされたファイルのロードによって生成されたものとは反対に）は、 第一返却値にラムダ式を返却することが推奨されています。