newbie elisp question (nreverse or reverse)

newbie elisp question (nreverse or reverse)

[Seweryn Kokot]

Hello,

Does it really matter if I use nreverse or reverse in the following
example?

(setq bla '("a" "b"))
(setq bla (append bla '("c")))

(setq bla (reverse bla))
or
(setq bla (nreverse bla))

regards,
Seweryn

Re: newbie elisp question (nreverse or reverse)

[Pascal Bourguignon]

Seweryn Kokot <s.kokot@po.opole.pl> writes:

> Hello,
>
> Does it really matter if I use nreverse or reverse in the following
> example?
>
> (setq bla '("a" "b"))
> (setq bla (append bla '("c")))
>
> (setq bla (reverse bla))
> or
> (setq bla (nreverse bla))

Yes.

(defun f ()
  (let ((blah '(a b)))
     (setf blah (append blah '(c))) ; here no problem, blah is copied, 
                                    ; but not '(c)!  
     (setf blah (nreverse blah))    ; ERROR! '(c) is modified!
     blah))

(list (f) (f)) --> ((c b a) (a b c b a))  ; !!!!

(progn (pprint (symbol-function 'f)) (terpri) nil)
prints:
(lambda ()
  (let ((blah '(a b)))
    (setf blah (append blah '(c b a)))  ; The program has been modified!!!
    (setf blah (nreverse blah))
    blah))
--> nil

So, never use destructive functions on structures that are not
mutable: make a copy first, or build mutable structures from the
start, or just use the non-destructive functions, which makes the copy
automatically.

(defun f ()
  (let ((blah '(a b)))
     (setf blah (append blah (copy-list '(c))))
     (setf blah (nreverse blah))  ; ok, because blah is a freshly consed list.
     blah))

(defun f ()
  (let ((blah '(a b)))
     (setf blah (append blah '(c)))
     (setf blah (reverse blah))  ; always ok.
     blah))

Of course, if the tail comes from an argument, you cannot use
nreverse, since you never know whether the client will call you with
'(c) or with (list 'c), then always use reverse in this case:

(defun f (c)
  (let ((blah '(a b)))
     (setf blah (append blah c))
     (setf blah (reverse blah))  ; always ok.
     blah)


-- 
__Pascal Bourguignon__                     http://www.informatimago.com/

NOTE: The most fundamental particles in this product are held
together by a "gluing" force about which little is currently known
and whose adhesive power can therefore not be permanently
guaranteed.