[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: obarray
From: |
Michael Heerdegen |
Subject: |
Re: obarray |
Date: |
Tue, 17 Dec 2013 03:55:59 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
Emanuel Berg <embe8573@student.uu.se> writes:
> Yes, this much I understood, only it was hard to
> visualize in practice. So: the macro accept code *as
> arguments* (code that isn't evaluated) and transforms
> that code?
Exactly. Although, let's better say it accepts expressions (it must not
be valid code as such), and transforms them into code without evaluating
them before. For example:
(dolist (i '(1 2 3))
(message "%s" i))
The expressions (i '(1 2 3)) and (message "%s" i) are "arguments" to the
macro `dolist' in this call. These are not evaluated, but transformed
into code. You can see the transformed code with `macroexpand':
(macroexpand '(dolist (i '(1 2 3))
(message "%s" i)))
==>
(cl--block-wrapper
(catch '--cl-block-nil--
(let
((--dolist-tail--
'(1 2 3))
i)
(while --dolist-tail--
(setq i
(car --dolist-tail--))
(message "%s" i)
(setq --dolist-tail--
(cdr --dolist-tail--))))))
A macro call with the above arguments will first generate (expand) the
code to an expression like that, and will then execute it.
In the above case, the macro expanded to code that introduces another
variable, --cl-block-nil--. In our case, it's an interned (!) symbol.
You can see why this isn't good when you try to evaluate
(dolist (--dolist-tail-- '(1 2 3))
(message "%s" i))
Now you by coincidence use the symbol in the expression to be
transformed that the macro introduces as new variable. They collide,
and
(dolist (--dolist-tail-- '(1 2 3))
(message "%s" i))
doesn't work when evaluated. So, it would be more correct to use an
uninterned symbol instead of '--dolist-tail--, then such a collision
could never happen. They used a quite exotic name for the symbol so
such a collision is unlikely, but strictly speaking, the implementation
of dolist is not correct.
Defining `dolist' correctly is a good exercise for learning how to write
macros.
Regards,
Michael.
- Re: obarray, (continued)
- Re: obarray, Barry Margolin, 2013/12/14
- Re: obarray, Michael Heerdegen, 2013/12/14
- Re: obarray, Emanuel Berg, 2013/12/15
- Re: obarray, Barry Margolin, 2013/12/15
- Re: obarray, Emanuel Berg, 2013/12/15
- Re: obarray, Barry Margolin, 2013/12/16
- Re: obarray, Michael Heerdegen, 2013/12/16
- Message not available
- Re: obarray, Emanuel Berg, 2013/12/16
- Re: obarray,
Michael Heerdegen <=
- Message not available
- Re: obarray, Emanuel Berg, 2013/12/16
- Re: obarray, Barry Margolin, 2013/12/17
- Re: obarray, Emanuel Berg, 2013/12/17
- Message not available
- Re: obarray, Emanuel Berg, 2013/12/15
- Re: obarray, Emanuel Berg, 2013/12/15
- Re: obarray, Michael Heerdegen, 2013/12/15
- Message not available
- Re: obarray, Emanuel Berg, 2013/12/15
- Re: obarray, Michael Heerdegen, 2013/12/15
- Message not available
- Re: obarray, Emanuel Berg, 2013/12/15
- Message not available
- Re: obarray, Barry Margolin, 2013/12/15