flet, labels, macrolet (original) (raw)
ANSI Common Lisp 
5 Data and Control Flow 5.3 Dictionary of Data and Control Flow
| 5.3.6 flet, labels, macrolet | Special Operator |
|---|
Syntax:
flet ({(function-name lambda-list [[{local-declaration}* | local-documentation]] {local-form}*)}*) {declaration}* {form}*
{result}*
labels ({(function-name lambda-list [[{local-declaration}* | local-documentation]] {local-form}*)}*) {declaration}* {form}* {result}*
macrolet ({(name lambda-list [[{local-declaration}* | local-documentation]] {local-form}*)}*) {declaration}* {form}* {result}*
Arguments and Values:
function-name - a function name.
name - a symbol.
lambda-list - a lambda list; for flet and labels, it is an ordinary lambda list; for macrolet, it is a macro lambda list.
local-declaration - a declare expression; not evaluated.
declaration - a declare expression; not evaluated.
local-documentation - a string; not evaluated.
local-forms, forms - an implicit progn.
results - the values of the forms.
Description:
flet, labels, and macroletdefine local functions and macros, and execute_forms_ using the local definitions.Forms are executed in order of occurrence.
The body forms (but not the lambda list) of each function created by flet and labelsand each macro created by macroletare enclosed in an implicit block whose name is the function block name of the function-name or name, as appropriate.
The scope of the _declarations_between the list of local function/macro definitions and the body _forms_in flet and labelsdoes not include the bodies of the locally defined functions, except that for labels, any inline, notinline, or ftype declarations that refer to the locally defined functions do apply to the local function bodies. That is, their _scope_is the same as the function name that they affect. The scope of these _declarations_does not include the bodies of the macro expander functions defined by macrolet.
- flet
flet defines locally named functions and executes a series of_forms_ with these definition bindings. Any number of such local functions can be defined.
The scope of the name binding encompasses only the body. Within the body of flet, function-names matching those defined by fletrefer to the locally defined _functions_rather than to the global function definitions of the same name. Also, within the scope of flet, global setf expander definitions of the _function-name_defined by flet do not apply. Note that this applies to (defsetf f ...), not(defmethod (setf f) ...).
The names of functions defined by fletare in the lexical environment; they retain their local definitions only within the body of flet. The function definition bindings are visible only in the body of flet, not the definitions themselves. Within the function definitions, local function names that match those being defined refer to functions or macros defined outside the flet.flet can locally shadow a global function name, and the new definition can refer to the global definition.
Any local-documentation is attached to the corresponding local function(if one is actually created) as a documentation string. - labels
labels is equivalent to flet except that the scope of the defined function names for labelsencompasses the function definitions themselves as well as the body. - macrolet
macroletestablishes local macro definitions, using the same format used by defmacro.
Within the body of macrolet, global setf expander definitions of the names defined by the macrolet do not apply; rather, setf expands the_macro form_ and recursively process the resulting form.
The macro-expansion functions defined by macroletare defined in the lexical environment in which the macrolet form appears. Declarations and macrolet and symbol-macrolet definitions affect the local macro definitions in a macrolet, but the consequences are undefined if the local macro definitions reference any local variable or function bindings that are visible in that_lexical environment_.
Any local-documentation is attached to the corresponding local _macro function_as a documentation string.
Examples:
(defun foo (x flag) (macrolet ((fudge (z) ;The parameters x and flag are not accessible ; at this point; a reference to flag would be to ; the global variable of that name. ` (if flag (* ,z ,z) ,z))) ;The parameters x and flag are accessible here. (+ x (fudge x) (fudge (+ x 1)))))
(defun foo (x flag) (+ x (if flag (* x x) x) (if flag (* (+ x 1) (+ x 1)) (+ x 1))))
after macro expansion. The occurrences of x and flag legitimately refer to the parameters of the function foo because those parameters are visible at the site of the macro call which produced the expansion.
(flet ((flet1 (n) (+ n n)))
(flet ((flet1 (n) (+ 2 (flet1 n))))
(flet1 2))) 6
(defun -function () 'top-level) DUMMY-FUNCTION
(funcall #'-function) TOP-LEVEL
(flet ((-function () 'shadow))
(funcall #'-function)) SHADOW
(eq (funcall #'-function) (funcall '-function))
true
(flet ((-function () 'shadow))
(eq (funcall #'-function)
(funcall '-function)))
false
(defun recursive-times (k n)
(labels ((temp (n)
(if (zerop n) 0 (+ k (temp (1- n))))))
(temp n))) RECURSIVE-TIMES
(recursive-times 2 3) 6
(defmacro mlets (x &environment env)
(let ((form (babbit ,x))) (macroexpand form env)))  MLETS (macrolet ((babbit (z) (+ ,z ,z))) (mlets 5)) 10
(flet ((safesqrt (x) (sqrt (abs x))))
;; The safesqrt function is used in two places.
(safesqrt (apply #'+ (map 'list #'safesqrt '(1 2 3 4 5 6)))))
3.291173
(defun integer-power (n k)
(declare (integer n))
(declare (type (integer 0 ) k))
(labels ((expt0 (x k a)
(declare (integer x a) (type (integer 0 ) k))
(cond ((zerop k) a)
((evenp k) (expt1 ( x x) (floor k 2) a))
(t (expt0 ( x x) (floor k 2) (* x a)))))
(expt1 (x k a)
(declare (integer x a) (type (integer 0 ) k))
(cond ((evenp k) (expt1 ( x x) (floor k 2) a))
(t (expt0 (* x x) (floor k 2) (* x a))))))
(expt0 n k 1))) INTEGER-POWER
(defun example (y l) (flet ((attach (x) (setq l (append l (list x))))) (declare (inline attach)) (dolist (x y) (unless (null (cdr x)) (attach x))) l))
(example '((a apple apricot) (b banana) (c cherry) (d) (e))
'((1) (2) (3) (4 2) (5) (6 3 2)))
((1) (2) (3) (4 2) (5) (6 3 2) (A APPLE APRICOT) (B BANANA) (C CHERRY))
See Also:
declare,defmacro,defun,documentation,let, Section 3.1 Evaluation, Section 3.4.11 Syntactic Interaction of Documentation Strings and Declarations
Notes:
It is not possible to define recursive functions with flet.labels can be used to define mutually recursive functions.
If a macrolet form is a top level form, the body forms are also processed as top level forms. See Section 3.2.3 File Compilation.
Allegro CL Implementation Details:
None.