10.2.7 スペシャルフォーム

スペシャルフォーム(special form)とは、特別だとマークされたプリミティブ関数であり、その引数のすべては評価されません。もっとも特別なフォームは制御構文の定義や変数バインディングの処理等、関数ではできないことを行ないます。

スペシャルフォームはそれぞれ、どの引数を評価して、どの引数を評価しないかについて独自のルールをもちます。特定の引数が評価されるかどうかは、他の引数を評価した結果に依存します。

式の最初のシンボルがスペシャルフォームなら、式はそのスペシャルフォームのルールにしたがう必要があります。それ以外ならEmacsの挙動は(たとえクラッシュしなくいとしても)未定義です。たとえば((lambda (x) x . 3) 4)はlambdaで始まるサブ式を含みますが、これは適正なlambda式ではないので、Emacsはエラーをシグナルするかもしれないし、3や4やnilをリターンしたり、もしかしたら他の挙動を示すかもしれません。

Function: special-form-p object

この述語は引数がスペシャルフォームかをテストして、スペシャルフォームならt、それ以外ならnilをリターンする。

以下にEmacs Lispのスペシャルフォームすべてと、それらがどこで説明されているかのリファレンスをアルファベット順でリストします。

and

see Combining Conditions

catch

see Catch and Throw

cond

see Conditionals

condition-case

see Handling Errors

defconst

see Defining Variables

defvar

see Defining Variables

function

see Anonymous Functions

if

see Conditionals

interactive

see Interactive Call

lambda

see Lambda Expressions

let

let*

see Local Variables

or

see Combining Conditions

prog1

prog2

progn

see Sequencing

quote

see Quoting

save-current-buffer

see Current Buffer

save-excursion

see Excursions

save-restriction

see Narrowing

setq

see Setting Variables

setq-default

see Creating Buffer-Local

unwind-protect

see Nonlocal Exits

while

see Iteration

Common Lispに関する注意: GNU EmacsとCommon Lispのスペシャルフォームを比較する。setq、if、catchはEmacs LispとCommon Lispの両方でスペシャルフォームである。save-excursionはEmacs Lispではスペシャルフォームだが、Common Lispには存在しない。throwはCommon Lispではスペシャルフォーム(なぜなら複数の値をthrowできなければならない)だが、Emacs Lispでは(複数の値をもたない)関数である。