defun

(defun name (params...) body...)

指定したパラメータリストと本体を持つ name という名前の関数を関数名前空間に定義し、名前シンボルを返します。body は定義時には評価されず、呼び出しごとに実行され、本体の最後のフォームの値を返します。Lisp-2 に従い、定義は関数名前空間に存在するため、同名の変数と衝突することなく、呼び出し位置で(および #'name を通じて)その名前を参照できます。

ラムダリストキーワード

パラメータリストは Common Lisp のラムダリストキーワード &optional、&rest、&key、&allow-other-keys、&aux(この順序)をサポートします。デフォルトフォームは引数が省略されたときのみ評価され、左側で束縛済みのパラメータを参照できます。オプショナル/キーワードパラメータには supplied-p 変数を宣言でき、呼び出し側が引数を渡した場合に t になります。

未知のキーワード引数は、ラムダリストが &allow-other-keys を宣言しているか、呼び出し側が :allow-other-keys t を渡さない限りエラーを通知します。&aux は末尾の let* のように束縛される補助変数を導入します。&whole はサポートされません。

必須引数より少ない引数で関数を呼び出すと(固定アリティ関数では多すぎる場合も)、引数を評価したうえで、呼び出しの実行時に捕捉可能な program-error を通知します。これはすべてのバックエンドで共通です。コンパイルエラーにはならず、個数の誤った直接呼び出しに対して JVM/WASM のコンパイラは警告を表示します。--warnings-as-errors を付けるとこの警告でコンパイルが失敗します (コンパイル時の警告)。

CL-USER> (defun f (a b) (+ a b))
CL-USER> (f 1)
Function expects 2 arguments, got 1

関数値を介した呼び出し(funcall、apply、mapcar、#'f を保持する変数)も、同じ本文の program-error を通知します。

組み込みオペレータの関数値では、Function の代わりにオペレータ名が入ります。

組み込みオペレータを、そのラムダリストが許さない個数の引数で直接呼び出した場合も同じように振る舞い、本文にはオペレータ名が入ります。

ラムダリストが &optional パラメータで終わる関数(&rest も &key もない)が受け取れるのは、必須と省略可能の個数の合計までです。余分な引数は、どのバックエンドでも、デフォルト式を評価する前に実行時の捕捉可能な program-error を通知します。

スペシャルなパラメータ

名前が スペシャル として宣言されたパラメータ(defvar/defparameter または (declaim (special ...)) による)と、本体の先頭の (declare (special ...)) が指すパラメータは、その名前の let と同じく ダイナミック に束縛されます。本体の中で呼ばれた関数からも引数の値が見え、デフォルトフォームからは左側のパラメータの束縛が見え、呼び出しがどのように脱出しても以前の値が復元されます。本体で作ったクロージャは、スペシャル変数のほかの参照と同じく、呼ばれた時点で有効な束縛を読みます。これはラムダリストのすべてのセクション(supplied-p 変数を含む)で成り立ち、lambda、flet、labels でも同じで、すべてのバックエンドで共通です。このような関数の本体の中の呼び出しは末尾呼び出しになりません(呼び出しから戻った後に束縛を元に戻すため)。したがって、そのような関数を通る再帰は呼び出しごとにスタックを使います。

トップレベル以外での定義

関数本体の中や let の内側の defun は、そのフォームが実行されたときに関数を定義します。それまでは全バックエンドでその名前は未定義です。fboundp は nil を返し、呼び出し、#'name、symbol-function はその関数名を持つ undefined-function を通知します。実行時に作られた名前(intern、read-from-string、eval)もリテラルの名前と同じくその関数に届きます。fmakunbound は、定義が再び実行されるまで、直接の呼び出しを含むすべての参照からその関数を失効させます。

setf 関数名

name にはプレーンなシンボルの代わりに (setf name) のリストを指定できます。これは setf 関数 を定義します。すなわち、name を setf のプレースとして使ったときに呼び出される書き込み用の関数です。新しい値は最初の引数として渡されます(Common Lisp の慣習どおり、setf ラムダリストの最後の必須パラメータになります)。したがって (setf (name arg...) value) は書き込み関数を value に続いて arg... の順で呼び出します。#'(setf name) を通じてファーストクラス値としても扱えます。

ほかの defun と同じく、setf 関数はトップレベル以外でも定義できます — let の内側や、関数本体の中 (その関数の実行時に定義されます)。サポートされるのは (setf name) 形式(2 要素のリスト)のみです。fdefinition、fboundp、fmakunbound はこのリストを受け付けますが、symbol-function は受け付けません (Common Lisp と同じくシンボルのみ)。