#### 5.3.17 destructuring-bind [Macro]

`destructuring-bind` lambda-list expression {declaration}* {form}*
⇒ {result}*

#### Arguments and Values::

lambda-list—a destructuring lambda list.

expression—a form.

declaration—a declare expression; not evaluated.

forms—an implicit progn.

results—the values returned by the forms.

#### Description::

destructuring-bind binds the variables specified in lambda-list to the corresponding values in the tree structure resulting from the evaluation of expression; then destructuring-bind evaluates forms.

The lambda-list supports destructuring as described in Destructuring Lambda Lists.

#### Examples::

     (defun iota (n) (loop for i from 1 to n collect i))       ;helper
     (destructuring-bind ((a &optional (b 'bee)) one two three)
         `((alpha) ,@(iota 3))
       (list a b three two one)) ⇒  (ALPHA BEE 3 2 1)

#### Exceptional Situations::

If the result of evaluating the expression does not match the destructuring pattern, an error of type error should be signaled.

#### See Also::

macrolet, defmacro