CLCS
src report error
Index
typecase Data and Control Flow Dictionary multiple-value-call
Macro

multiple-value-bind

multiple-value-bind ({var}*) values-form {declaration}* {form}*
⇒ {result}*

Arguments and Values

vara symbol naming a variable; not evaluated.
values-forma form; evaluated.
declarationa declare expression; not evaluated.
formsan implicit progn.
resultsthe values returned by the forms.

Description

Creates new variable bindings for the vars and executes a series of forms that use these bindings.

The variable bindings created are lexical unless special declarations are specified.

Values-form is evaluated, and each of the vars is bound to the respective value returned by that form. If there are more vars than values returned, extra values of nil are given to the remaining vars. If there are more values than vars, the excess values are discarded. The vars are bound to the values over the execution of the forms, which make up an implicit progn. The consequences are unspecified if a type declaration is specified for a var, but the value to which that var is bound is not consistent with the type declaration.

The scopes of the name binding and declarations do not include the values-form.

Examples

 (multiple-value-bind (f r) 
     (floor 130 11)
   (list f r)) ⇒  (11 9)

See Also

let; let*, multiple-value-call

Notes

 (multiple-value-bind ({var}*) values-form {form}*)
 ≡ (multiple-value-call #'(lambda (&optional {var}* &rest #1=#:ignore)
                             (declare (ignore #1#))
                             {form}*)
                         values-form)

Backlinks

Data and Control Flow Dictionary, declare, multiple-value-call, multiple-values-limit, Return Values, Symbols as Forms, Symbols in the COMMON-LISP Package, VALUES Forms as Places, values-list, values